3221 search results - page 328 / 645 » Termination of Linear Programs |
186
click to vote
GPCE
2007
Springer
16 years 24 days ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
185
click to vote
APLAS
2004
ACM
16 years 2 days ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
170
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
194
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
155
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...