H ? « »

Language peer sets for ComLisp:
Designed 1996
1990s languages
Fifth generation
Post-Cold War
Genus Lazy Evaluation LISPs
String and List Processing
Lazy Evaluation LISPs
Lambda caculus
Lazy Evaluation LISPs/1996
Lambda caculus/1996
Lazy Evaluation LISPs/Germany
Lambda caculus/Germany
String and List Processing
String and List Processing/1996
String and List Processing/de


Common Lisp subset for dynamic compilation 

alternate simple view
Country: Germany
Designed 1996
Published: 1996
Genus: Lazy Evaluation LISPs
Sammet category: String and List Processing

Subset of ANSI-­CommonLisp. Programs are systems of first order mutually recursive function and procedure definitions on dynamic Lisp data. ComLisp is both compiler source and im­plementation language.

Compiling in ComLisp is a 4-stage process via SIL, Cint to TASM.

Related languages
Common LISP ComLisp   Subset
CommonLisp0 ComLisp   Evolution of
ComLisp SIL   Target language for

  • Wolfgang Goerigk und Ulrich Hoffmann. (1996) Wolfgang Goerigk und Ulrich Hoffmann. "The Compiler Implementation Language ComLisp." Verifix-Arbeitsbericht Verifix/CAU/1.7, CAU Kiel, June 1996
  • Goerigk, Wolfgang (1997) Goerigk, Wolfgang "Denotational Semantics for ComLisp and SIL" CAU Kiel Dec 1997 Verifix/CAU/2.8 ps
  • Axel Dold, Vincent Vialard (2001) Axel Dold, Vincent Vialard "A Mechanically Verified Compiling Specification for a Lisp Compiler" online Abstract ps
          in (2001) Proceedings of the 21st LAFL Conference
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder