138 search results - page 19 / 28 » Self-stabilization Preserving Compiler |
FMCO
2006
Springer
14 years 2 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
This report defines various operations and describes algorithms for weighted multi-tape automata (WMTAs). It presents, among others, a new approach to multi-tape intersection, mea...
ENTCS
2007
13 years 10 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
100
click to vote
POPL
2008
ACM
14 years 11 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
PLDI
2003
ACM
14 years 4 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...