619 search results - page 22 / 124 » The Design and Implementation of a Certifying Compiler |
126
Voted
WIESS
2000
15 years 5 months ago
2000
This paper describes the crucial design and implementation issues that arise in building a fully automatic precompiled header mechanism for compiling industrial-strength C and C++...
176
click to vote
ESOP
1992
Springer
15 years 8 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
130
click to vote
IJHPCA
2007
15 years 3 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
263
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
117
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...