67 search results - page 10 / 14 » Prototyping Proof Carrying Code |
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
JavaScript has been exploited to launch various browser-based attacks. Our previous work proposed a theoretical framework applying policy-based code instrumentation to JavaScript. ...
IFM
2010
Springer
13 years 5 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
ICSM
2003
IEEE
14 years 24 days ago
2003
IEEE
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
COMPSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...