495 search results - page 2 / 99 » Extensible Proof-Producing Compilation |
OSDI
2000
ACM
13 years 8 months ago
2000
ACM
ENTCS
2006
13 years 7 months ago
2006
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
COMSIS
2007
13 years 7 months ago
2007
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...