Verifix at Kiel
Christian-Albrechts-Universität 
zu Kiel
 
           
  Home  
    Project Partners  
The following table contains links to a complete set of code inspection documents proving the implementation correctness of a four phase compiler program which transforms ComLisp source programs to binary target machine executables. These documents are Postscript versions of corresponding LaTeX sources which are entirely generated by machine. 
Transition from 
ComLisp to SIL
Transition from 
SIL to Cint
Transition from 
Cint to TASM
Transition from 
TASM to TC
TASM to TC TASM to TC TASM to TC TASM to TC
Cint to TASM Cint to TASM Cint to TASM  
SIL to Cint SIL to Cint    
ComLisp to SIL      

 
 
 
 
Staff  
   Publications  
   Technical Reports  
   Verifix-Reports  
   Workshops  
   Technicalities  
   Code Reviews  
   Contact