CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Using Domain Algebras To Prove The Correctness Of A Compiler

Peter Dybjer (Institutionen för informationsbehandling)
Lecture Notes in Computer Science (STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings; Kurt Mehlhorn (Ed.)) (0302-9743). Vol. 182 (1985), p. 98-108.
[Konferensbidrag, refereegranskat]


Denna post skapades 2015-02-12.
CPL Pubid: 212459

 

Institutioner (Chalmers)

Institutionen för informationsbehandling (1900-1987)

Ämnesområden

Datavetenskap (datalogi)

Chalmers infrastruktur