498 search results - page 53 / 100 » Generalized algebraic data types and object-oriented program... |
103
click to vote
SPAA
1990
ACM
15 years 6 months ago
1990
ACM
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...
124
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
The En Route Automation Modernization (ERAM) program is a real-time Air Traffic Control (ATC) program being developed by Lockheed Martin Corporation. The ERAM program has high ava...
107
click to vote
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
131
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...