The Compilation of SL, a Set-Based Logic Language for Generic Parallel Architectures (1997)

Cached

Download Links

by Giancarlo Succi , Carl Uhrik , Università Di Trento , Via Inama , I- Trento
Venue:Journal of Programming Languages
Citations:2 - 0 self

Active Bibliography

SSQL, A Set Based Logic Query Language for A Distributed Software Repository – Giancarlo Succi, Andrea Valerio, George Kovacs, Tullio Vernazza
29 Tail Recursion Without Space Leaks – Richard Jones - 1991
4 A Fresh Look at Combinator Graph Reduction (Or, Having a TIGRE by the Tail) – Philip J. Koopman, Jr., Peter Lee - 1989
17 Programming with Equations, Subsets, and Relations – Bharat Jayaraman, David A. Plaisted - 1989
Décrire Et Comparer Les Implantations De Langages Fonctionnels – Rémi Douence, Pascal Fradet - 1996
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
10 A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction – Rémi Douence , Pascal Fradet - 1996
12 Call-by-need and Continuation-passing Style – Chris Okasaki, Peter Lee, David Tarditi - 1993
Elsevier, New York. – Van Der Hoeven, G. Combinatorgraphs As, Wesley Wokingham England
7 Implementing the Evaluation Transformer Model of Reduction on Parallel Machines – G. L. Burn - 1991
6 A WAM-Based Implementation of a Logic Language with Sets – Agostino Dovier, Enrico Pontelli - 1993
3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters - 1997
8 Models for Persistence in Lazy Functional Programming Systems – David John McNally, Ky Ss, Tony Davie, Al Dearle, Simon Peyton Jones, Stef Joosten, Graham Kirby - 1993
24 Sets and Constraint Logic Programming – Agostino Dovier, Carla Piazza, Enrico Pontelli , Gianfranco Rossi - 2000
28 Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories – Hélène Kirchner, Pierre-Etienne Moreau - 2001
11 Prolog with Arrays and Bounded Quantifications – Jonas Barklund, Johan Bevemyr - 1993
The Reduceron Reconfigured – Matthew Naylor, Colin Runciman
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990