537 search results - page 43 / 108 » Compiling Exceptions Correctly |
CISSE
2008
Springer
13 years 11 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
IASTEDSEA
2004
13 years 10 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
ENTCS
2007
13 years 9 months ago
2007
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
TOPLAS
2010
13 years 7 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...