Tallenna
Adapting Proofs-as-Programs
Kirjailija:
nidottu, 2010
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
- Softcover reprint of hardcover 1st ed. 2005
- ISBN
- 9781441920140
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.11.2010
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 420
