7049 search results - page 27 / 1410 » Data Abstraction for CSP-OZ |
POPL
1992
ACM
14 years 2 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
DGO
2004
13 years 11 months ago
2004
cipal high-level goal of the research is to develop abstractions, theory and methodology and software tools that allow federal statistical agencies to disseminate useful informatio...
PTS
2007
13 years 11 months ago
2007
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs
MSCS
2010
13 years 8 months ago
2010
tations of imperative abstract data types.
POPL
1998
ACM
14 years 2 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...