Tallenna
Adapting Proofs-as-Programs
Kirjailija:
sidottu, 2005
englanti
We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
- Alaotsikko
- The Curry--Howard Protocol
- Kirjailija
- Iman Poernomo, John N. Crossley, Martin Wirsing
- Painos
- 2005 ed.
- ISBN
- 9780387237596
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 21.6.2005
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 420
