Lisp and Symbolic Computation, Volume 7

Volume 7, Number 1, 1994

Special Issue on Continuations (Part II)

Andrzej Filinski: Recursion from Iteration. 11-38
Philip Wadler: Monads and Composable Continuations. 39-56
Chris Okasaki, Peter Lee, David Tarditi: Call-by-Need and Continuation-Passing Style. 57-82
Robert Hieb, R. Kent Dybvig, Claude W. Anderson III: Subcontinuations. 83-110
John S. Conery: Continuation-Based Control in the Implementation of Parallel Logic Programs. 111-134

Special Issue on Parallel Symbolic Applications

Soumen Chakrabarti, Katherine A. Yelick: Distributed Data Structures and Algorithms for Gröbner Basis Computation. 147-172
Stephen Weeks, Suresh Jagannathan, James Philbin: A Concurrent Abstract Interpreter. 173-193
Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger: CONSAT: A Parallel Constraint Satisfaction System. 195-210
Hideo Matsuda, Yukio Kaneda: An Application of an OR-Parallel Prolog Systemto Phylogenetic Analysis. 211-229
Marc Feeley, Marcel Turcotte, Guy Lapalme: Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination. 231-247

Peter D. Karp, John D. Lowrance, Thomas M. Strat, David E. Wilkins: The Grasper-CL Graph Management System. 251-290
Suresh Jagannathan: TS/Scheme: Distributed Data Structures in Lisp. 291-314
Richard Kelsey, Jonathan Rees: A Tractable Scheme Implementation. 315-335
Andrew W. Appel: Loop Headers in Lambda-Calculus or CPS. 337-343

Last update Thu May 23 19:14:22 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page