1100 search results - page 80 / 220 » Instrumenting annotated programs |
111
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
121
click to vote
FOAL
2007
ACM
15 years 6 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
121
click to vote
USS
2004
15 years 3 months ago
2004
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
104
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...