2859 search results - page 219 / 572 » A Programming Environment for Bousi-Prolog |
182
click to vote
GPCE
2007
Springer
16 years 21 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...
152
click to vote
PLDI
2006
ACM
16 years 15 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
181
click to vote
HIPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
153
click to vote
TRUST
2010
Springer
15 years 11 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
184
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...