1264 search results - page 95 / 253 » Abstract machines for programming language implementation |
216
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
121
click to vote
ENTCS
2007
15 years 2 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
135
click to vote
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
207
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
121
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...