Show simple item record

Searching program libraries by type and proving compiler correctness by bisimulation

dc.contributor.authorRittri, Mikaelen
dc.date.accessioned2008-08-11T09:59:07Z
dc.date.available2008-08-11T09:59:07Z
dc.date.issued1990en
dc.identifier.isbn91-7032-476-Xen
dc.identifier.urihttp://hdl.handle.net/2077/13786
dc.subjectDatabehandling Allmänten
dc.titleSearching program libraries by type and proving compiler correctness by bisimulationen
dc.typeTexten
dc.type.svepDoctoral thesisen
dc.gup.originGöteborgs universitet/University of Gothenburgeng
dc.gup.departmentDatalogien
dc.gup.dissdbid3823en
dc.gup.dissdb-impressumGöteborg: Chalmers tekniska högsk., 1990en
dc.gup.dissdb-fakultetMNF


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record