Spar
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.
- Undertittel
- 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
- Redaktør
- Maurizio Proietti
- Opplag
- 1996 ed.
- ISBN
- 9783540609391
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 6.3.1996
- Antall sider
- 274
