Gå direkt till innehållet
Logic Program Synthesis and Transformation
Spara

Logic Program Synthesis and Transformation

Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.
Undertitel
5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
Upplaga
1996 ed.
ISBN
9783540609391
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1996-03-06
Sidor
274