Gå direkt till innehållet
Adapting Proofs-as-Programs
Spara

Adapting Proofs-as-Programs

Lägsta pris på PriceRunner
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.
Undertitel
The Curry--Howard Protocol
Upplaga
Softcover reprint of hardcover 1st ed. 2005
ISBN
9781441920140
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2010-11-19
Sidor
420