Christian Queinnec  Home/Search
Context
Related
| inria.fr/INRIA/Projects/ic...nano.ps.gz spi.lip6.fr/~queinnec/WWW/...nano.ps.gz youpou.lip6.fr/queinnec/WW...nano.ps.gz 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 Problem Downloading? From: ar.com/ger/comp...doc.techreports (more) From: spi.lip6.fr/~queinn...allQueinnec (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Lisp is well known for its metacircular definitions. They differ by their intent (what they want to prove), their means (what linguistic features are allowed for the definition) and by their scope (what linguistic features are described). This paper provides a new metacircular definition for a complete Lisp system including traditionally neglected features such as cons, read, print and error. The programming style adopted for this interpreter is inspired both by denotational semantics and its... (Update)
Active bibliography (related documents): More All
0.6: Validation Suite Generation - This Work (Correct)
0.6: Specification Framework for Data Aggregates Langages - Queinnec (1990) (Correct)
0.5: A Simple Reflective Interpreter - Jefferson, Friedman (1992) (Correct)
Similar documents based on text: More All
0.1: Metacircular Semantics for Common Lisp Special Forms - Baker (1992) (Correct)
0.1: Design of a Concurrent and Distributed Language - Queinnec, De Roure (1992) (Correct)
0.1: A Dynamic Extent Control Operator for Partial Continuations - Queinnec, Serpette (1991) (Correct)
BibTeX entry: (Update)
@techreport{ queinnec89lisp,
author = "Christian Queinnec",
title = "{L}isp -- {A}lmost a whole {T}ruth",
number = "LIX/RR/89/03, 79--106",
year = "1989",
url = "citeseer.ist.psu.edu/queinnec89lisp.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985 ACM
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
197 Revised 3 Report on the Algorithmic Language Scheme - Rees, Clinger
184 Definitional Interpreters for Higher-Order Programming Langu.. (context) - Reynolds - 1972 ACM DBLP
111 Common Lisp Object System Specification (context) - Bobrow, DeMichiel et al. - 1988 ACM
80 The Scheme Programming Language (context) - Dybvig - 1987 ACM
73 A Lisp Garbage Collector for Virtual-Memory Computer Systems (context) - Fenichel, Yochelson - 1969
72 A semantic Model of Reference Counting and its Abstraction - Hudak - 1986
62 Programmer's Manual (context) - McCarthy, Abrahams et al. - 1962
54 The Mystery of the Tower revealed: A non reflective Descript.. (context) - Wand, Friedman - 1986
44 A Methodology for Language Development (context) - Schmidt, Semantics - 1986
38 The Implementation of Procedurally Reflective Languages (context) - Rivieres, Smith - 1984 ACM DBLP
24 Scheme: an Interpreter for extended lambda Calculus (context) - Sussman, Steele - 1975
15 A model and Stack Implementation of Multiple Environments (context) - Bobrow, Wegbreit - 1973 ACM DBLP
14 Prentice-Hall International Editions (context) - Comer, Design et al. - 1984
11 A Semantic comparison of Lisp and Scheme (context) - Muchnick, Pleban - 1980 ACM DBLP
10 A Mechanical Proof of the unsolvability of the Halting Probl.. - Boyer, Moore - 1982 ACM DBLP
8 Burlington MA (context) - Jr, Lisp et al. - 1984
5 Brown College Division (context) - Kessler, Objects et al. - 1988
5 ACM Conference on Lisp and Functional Programming (context) - Danvy, Malmkjaeer et al. - 1988
4 Reversible Object-Oriented Interpreters (context) - Lieberman ACM DBLP
3 ese d"etat, Universit (context) - Saint-James, comme et al. - 1987
2 A Micro-Manual for Lisp - Not the whole Truth (context) - McCarthy - 1978 ACM
2 or the modularity complex (context) - Jr, Sussman et al. - 1978
2 ACM Conference on Lisp and Functional Programming (context) - Reification, Evaluations - 1988
2 ACM Symposium on Lisp and Functional Programming (context) - Friedman, Wand et al. - 1984
2 Computing with Text-Graphic Forms (context) - Lakin - 1980 ACM
2 ACM Symposium on Lisp and Functional Programming (context) - Clinger, Scheme et al. - 1984
2 ACM Conference on Lisp and Functional Programming (context) - Queinnec, Cointe et al. - 1988
1 Actes du colloque IRIA Construction et Justification de Prog.. (context) - Gordon, Reasoning et al. - 1975
1 July-August-September (context) - Lieberman, Fry et al. - 1988
1 An Optimizing Compiler for LexicallyD Scoped Lisp (context) - Brooks, Gabriel et al. - 1982
Documents on the same site (http://www.ar.com/ger/comp.doc.techreports.html): More
Symplectic Numerical Integrators in Constrained Hamiltonian.. - Leimkuhler, Skeel (1994) (Correct)
Performance, Portability and Implicit Parallelism - Irigoin (Correct)
An Open Ended Data Representation Model for EuLisp - Queinnec, Cointe (1988) (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