Jeffrey Mark Siskind  Home/Search
Context Related
| mit.edu/pub/screamer/screamer.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Nondeterministic Lisp is a variant of Lisp with a nondeterministic choice operator. This manual describes an efficient implementation of nondeterministic Lisp called Screamer. Screamer is implemented as a fully portable macro package built on top of Common Lisp. Screamer functions inter-operate in the same environment as ordinary Lisp functions and a large subset of Common Lisp is available when writing Screamer functions. In addition to the nondeterministic choice operator, Screamer... (Update)
Context of citations to this paper: More
...by SCREAMER, and table 2 summarises the additional primitives provided by SCREAMER . The primitives of SCREAMER are documented in (Siskind, 1991); those of SCREAMER are described in the following section of this document. We believe that SCREAMER is difficult for seasoned LISP...
Cited by: More
Constraint Handling in Common LISP - White, Sleeman (1998) (Correct)
Active bibliography (related documents): More All
3.6: Screaming Yellow Zonkers - Siskind (1991) (Correct)
1.7: Screamer: A Portable Efficient Implementation of.. - Siskind, McAllester (1993) (Correct)
0.5: Language Extensibility via First-class Interpreters and.. - Espinosa (1993) (Correct)
Similar documents based on text: More All
0.6: Nondeterministic Lisp as a Substrate for Constraint Logic.. - Siskind, McAllester (1993) (Correct)
0.6: Logistica-Cfp: An Implementation Of Constraint Functional.. - Leasure (1995) (Correct)
0.3: Methods for Parallelizing Search Paths in Parsing - de Marcken (1994) (Correct)
BibTeX entry: (Update)
SISKIND, J. M., (1991), "Screaming Yellow Zonkers", Draft Technical Report of 29th September 1991, supplied with the SCREAMER code distribution 3.20 at http:// linc.cis.upenn.edu/~screamer-tools/home.html. http://citeseer.ist.psu.edu/siskind91screaming.html More
@misc{ siskind91screaming,
author = "J. SISKIND",
title = "Screaming Yellow Zonkers",
text = "SISKIND, J. M., (1991), Screaming Yellow Zonkers, Draft Technical Report
of 29th September 1991, supplied with the SCREAMER code distribution 3.20
at http:// linc.cis.upenn.edu/~screamer-tools/home.html.",
year = "1991",
url = "citeseer.ist.psu.edu/siskind91screaming.html" }
Citations (may not include all citations):214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
95 A basis for a mathematical theory of computation - McCarthy - 1963
66 Methodology and implementation of a clp system (context) - Jaffar, Michaylov - 1987
64 Sketchpad: A Man-Machine Graphical Communication System (context) - Southerland - 1963
50 Artificial Intelligence Laboratory (context) - Steele, Gerald et al. - 1976
38 and some electrical engineering problems (context) - Heintze, Michaylov et al. - 1987
21 Journal of Logic Programming (context) - Haynes - 1987
20 Nondeterministic call by need is neither lazy nor by name (context) - Clinger - 1982
14 The Definition and Implementation of a Computer Programming .. (context) - Steele - 1980
12 Carnegie-Mellon University (context) - Gosling, PhD - 1983
11 How to implement Prolog on a Lisp machine (context) - Kahn, Carlsson - 1984
8 expensive procedure call (context) - Steele, the - 1977
7 Constraints---a language for expressing almosthierarchical d.. (context) - Sussman, Steele - 1980
6 Dependency-directed backtracking in non-deterministic Lisp (context) - Zabih, McAllester et al. - 1988
6 Dependency-directed backtracking in non-deterministic Scheme (context) - Zabih - 1987
6 represented as Jackendoff-style conceptual structures (context) - Siskind, meanings et al. - 1990
5 Using a logic grammar to learn a lexicon (context) - Rayner, Hugosson et al. - 1988
5 Unpublished manuscript received directly from author (context) - McAllester
5 Unpublished manuscript received directly from author (context) - Chapman
5 Non-deterministic Lisp with dependency-directed backtracking (context) - Zabih, McAllester et al. - 1987
5 Dispelling myths about language bootstrapping (context) - Siskind - 1991
4 A partial evaluator of Lisp written in Prolog (context) - Kahn - 1982
4 The culprit pointer method for selective backtracking (context) - Siskind - 1989
4 Also available as Stanford Computer Science Department repor.. (context) - Borning, Simulation et al. - 1979
3 Artificial Inteligence Laboratory Technical Report (context) - Chapman, conjunctive et al. - 1985
2 Unique features of Lisp machine Prolog (context) - Kahn - 1983
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.ai.mit.edu.html): More
Natural Language Syntax and Semantics - McAllester (1994) (Correct)
Primitive Parallax and Parallax Primitives - Bryson (1995) (Correct)
Statistical Models of Conditioning - Dayan, Long (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC