147 search results - page 6 / 30 » Compiling C Programs into a Strongly Typed Assembly Language |
187
click to vote
POPL
2001
ACM
16 years 2 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
105
Voted
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
194
Voted
JUCS
2006
15 years 2 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
143
Voted
SAS
2005
Springer
15 years 8 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
135
click to vote
HIPC
2003
Springer
15 years 7 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...