H ? « ‹ ← → › »

Language peer sets for Cint:
Germany↑
Germany/2001↑
Designed 2001 ↑
2000s languages ↑
Internet↑
New internationlism↑
Multi-purpose ↑
Multi-purpose/2001↑
Multi-purpose/de ↑

Cint(ID:3518/cin002)

Cint - c-like machine-independant code 

alternate simple view
Country: Germany
Designed 2001
Sammet category: Multi-purpose

Cint is a machine-independant c-like language. Takes the S-Expressions from ComLisp via SIL as integers only, and translates them to TASM (transputer assembly)
Related languages
C → Cint   Influence
SIL → Cint   Target language for
TASM → Cint   Target language for
References:
  • 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