CEXL IMPLEMENTATION

CeXL Main Page | Definition of CeXL | CeXL Implementation | Hardcore Processing homepage

• 2010-03-28: http://www.CeX3D.net/cexl/download/CeXLSource_0.9.3.tar.gz - Standard ML / CeXL source code (latest version)
• 2004-07-27: http://www.CeX3D.net/cexl/download/CeXLSource_0.9.2.tar.gz - Standard ML / CeXL source code
• 2003-12-20: http://www.CeX3D.net/cexl/download/CeXLSource_0.9.0.tar.gz - Standard ML / CeXL source code (bachelor thesis version)

• Abstract syntax for xi-Calculus
• Runtime values for xi-Calculus interpreter
• Interpreter for xi-Calculus
• Pretty printer for showing xi-Calculus types and restrictions as CeXL types
• Type inference for xi-Calculus
• Naked CeXL to xi-Calculus translation
• A large collection of regression test programs for the binaries

• Binary for x86/Linux with a complete implementation for parsing, type checking and executing CeXL programs, as well as a few improvements over the supplied source code. Programs are executed by:

  HardcoreProcessing/CeXL1/bin/x86-linux/CeXLInterp myfile.cxl
  

• All regression tests work can be executed by:

  cd HardcoreProcessing/CeXL1/testAll/
  make
  

• Pattern-matching redundancy and exhaustiveness is not checked. This is important, since CeXL requires patterns in let-bindings to be exhaustive - a difference from Standard ML.
• Absent record fields should only be removed at val-bindings for types of non-function and non-reference types, which is currently not checked. This is a change in the language specification, as of version 0.9.3.
• The syntactical constraints for the BNF-grammar in the language specification are not implemented, which means things like checking that the types list, bool etc. and the constructors true, false, nil etc. are not redeclared.
  
  
  

  ---

  Modified: 2010-03-28
  E-mail: Contact