prindi

Program proofs and compilation

autor
Saabas, Ando
vastutusandmed
Ando Saabas ; joint work with T.Rezk and T.Uustalu
allikas
Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005
ilmumiskoht
[S. l.]
ilmumisaasta
2005
leheküljed
[1 p.]. (Student talks and posters 2005 (abstracts))
märksõna
programmeerimine
tõestused
kompilaatorid
keel
inglise
Saabas, A. Program proofs and compilation // Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005. [S. l.], 2005. [1 p.]. (Student talks and posters 2005 (abstracts)).