Searching program libraries by type and proving compiler correctness by bisimulation

Universitet
Göteborgs universitet/University of Gothenburg
Institution
Datalogi
URL:
http://hdl.handle.net/2077/13786
Samlingar
Datum
1990
Författare
Rittri, Mikael
Nyckelord
Databehandling Allmänt
Publikationstyp
Doctoral thesis
ISBN
91-7032-476-X
Metadata
Visa fullständig post