8132 search results - page 94 / 1627 » Dependability, Abstraction, and Programming |
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
MFPS
1993
15 years 2 months ago
1993
al abstract machine for graph reduction Alan Jeffrey Report 3/92 August 1992 Computer Science School of Cognitive and Computing Sciences University of Sussex Brighton BN1 9QH ISSN ...
POS
1989
Springer
15 years 2 months ago
1989
Springer
ro, D.S. “The Persistent Abstract Machine Version 10 / Napier88 (Release 2.0)”. Universities of St Andrews and Adelaide (1994).