6829 search results - page 341 / 1366 » Quantitative Generalizations of Languages |
159
click to vote
PLDI
2006
ACM
16 years 21 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...
203
click to vote
IUI
2005
ACM
16 years 9 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
185
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
159
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
158
click to vote
OOPSLA
2004
Springer
16 years 3 days ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...