CEXL IMPLEMENTATION

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

• http://www.CeX3D.net/cexl/download/CeXLSource_0.9.2.tar.gz - Standard ML / CeXL source code (latest version)
• 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. 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.
• 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.
• The error reporting is not the best
• The performance is still bad
  
  
  

  ---

  Modified: 2004-07-27
  E-mail:
  (for spam-mail protection you cannot copy this e-mail address - you must spell it, and please don't mention this e-mail address on your own website)