prindi

Structural synthesis of programs with preconditions

autor
Kotkas, Vahur
vastutusandmed
Vahur Kotkas
allikas
Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005
ilmumiskoht
Tartu
kirjastus/väljaandja
Tartu University Press
ilmumisaasta
2005
leheküljed
p. 70-81 : ill
märksõna
süntees
programmeerimiskeeled
loogiline programmeerimine
ISBN
9949-11-113-7
märkused
Bibliogr.: 14 ref
keel
inglise
Kotkas, V. Structural synthesis of programs with preconditions // Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005. Tartu : Tartu University Press, 2005. p. 70-81 : ill.