H ? « ‹ ← → › »

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

ComLisp(ID:3517/com009)

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
References:
  • 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