7529 search results - page 1 / 1506 » The Modula-3 Type System |
POPL
1989
ACM
13 years 8 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
POS
1994
Springer
13 years 8 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
POPL
1999
ACM
13 years 8 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
TOOLS
1998
IEEE
13 years 8 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...
USENIX
1996
13 years 5 months ago
1996
The current trend in operating systems research is to allow applications to dynamically extend the kernel to improve application performance or extend functionality, but the most ...