Compilation of non-linear, second order patterns on s-expressions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 456 LNCS, Issue , 1990, Pages 340-357

  Queinnec, Christian ^a  

^a ÉCOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; EXPERT SYSTEMS; LOGIC PROGRAMMING; PATTERN MATCHING; SEMANTICS;

CASE ANALYSIS; DENOTATIONAL SEMANTICS; FUNCTIONAL CODES; FUNCTIONAL LANGUAGES; INTERMEDIATE LANGUAGES; NON LINEAR; RULE BASED EXPERT SYSTEMS; SECOND ORDERS;

LISP (PROGRAMMING LANGUAGE);

EID: 84876643018     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0024194     Document Type: Conference Paper

References (22)

1. Harold Abelson, Gerald Sussman, with Julie Sussman, Structure and Interpretation of Computer Programs, MIT Press, Cambridge MA, 1985.
2. Jean-Paul Arcangeli, Christian Pomian, Principles of Plasma pattern and alternative structure compilation, Theoretical Computer Science, Vol 71, 1970, pp 177–191.
3. Lennart Augustsson, Compiling Pattern Matching, Conference on Functional Programming and Machine Architecture, Nancy 1985, Lecture Note in Computer Science 201, Springer Verlag 1985.
4. R. M. Burstall, Proving Properties of Programs by structural Induction, The Computer Journal, Vol 12, No 1.
5. R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes, Expansion-Passing-Style: A General Macro Mechanism, Lisp and Symbolic Computation, Vol 1, n 1, June 1988, pp 53–76.
6. Reinhold Heckmann, A Functional Language for the Specification of Complex Tree Transformations, ESOP 88, Lecture Notes on Computer Science, Springer 1988.
7. C. Hewitt, B. Smith, Towards a programming Apprentice, IEEE Transactions on Software Engineering, SE-1, No 1, March 1975, pp 26–45.
8. Paul Hudak & Philip Wadler (eds), Report on the Programming Language Haskell, YALEU/DCS/RR-777, 1 April 1990.
9. Robert R. Kessler, Lisp, Objects, and Symbolic Programming, Scott, Foreman/Little, Brown College Division, Glenview, Illinois, 1988.
10. Alain Laville, Évaluation paresseuse des filtrages avec priorité, Application au langage ML, Thèse de Doctorat, Université Paris VII, Février 1988.
11. Eugen Neidl, Étude des relations avec l'interprète dans la compilation de Lisp, Thèse de troisième cycle, Université Paris VI, 1984.
12. Simon L. Peyton Jones, The Implementation of Functional Programming Languages, Prentice-Hall, May 1986.
13. Christian Queinnec, Lisp, Macmillan, 1984.
14. Jonathan A. Rees, William Clinger, Revised 3 Report on the Algorithmic Language Scheme, ACM SIGPLAN Notices, 21, 12, Dec 1986, pp 37–79.
15. David A. Schmidt, Denotational Semantics, A Methodology for Language Development, Allyn and Bacon, Inc., Newton, Mass., 1986.
16. Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977.
17. M. Takeichi, Lambda-Hoisting: a Transformation technique for fully lazy evaluation of functional program, New Generation Computing, Vol 5, 1988, pp 377–391.
18. Warren Teitelman, InterLisp Reference Manual, 1978.
19. D. A. Turner, The SASL Language Manual, Technical Report CS/75/1, Department of Computational Science, University of Saint Andrews.
20. Philip Wadler, Efficient Compilation of Pattern-Matching, in PeytonJones86.
21. Pierre Weis, The CAML Reference Manual, INRIA 1989.
22. Patrick H. Winston, Berthold K. Horn, Lisp, 3rd Edition, Addison Wesley, 1988