Verifix at Kiel
Christian-Albrechts-Universität 
zu Kiel
 
           
  Home  
    Project Partners  
W. Goerigk, U. Hoffmann
The Compiling Specification from ComLisp to Executable Machine Code
[Bericht Nr. 9713, Inst. f. Informatik u. Prakt. Math., CAU Kiel]
September 1998

W. Goerigk, U. Hoffmann
Compiling ComLisp to Executable Machine Code: Compiler Construction
[Bericht Nr. 9812, Inst. f. Informatik u. Prakt. Math., CAU Kiel]
Oktober 1998
 

 
 

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