1312 search results - page 151 / 263 » Embedded contract languages |
119
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
140
Voted
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
144
Voted
ASPLOS
1987
ACM
15 years 7 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
143
click to vote
OSDI
1996
ACM
15 years 4 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
136
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...