2652 search results - page 220 / 531 » Privacy-preserving linear programming |
144
Voted
GPCE
2007
Springer
15 years 9 months 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...
130
Voted
APLAS
2004
ACM
15 years 9 months 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ï...
119
Voted
TLDI
2003
ACM
15 years 9 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 ...
142
Voted
ECOOP
2010
Springer
15 years 8 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...
107
Voted
PLDI
2000
ACM
15 years 8 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...