1154 search results - page 153 / 231 » Implementing Typed Intermediate Languages |
106
Voted
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
228
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
129
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
131
click to vote
GPCE
2003
Springer
15 years 8 months ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
106
click to vote
HPDC
1993
IEEE
15 years 7 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...