Gå direkte til innholdet
Adapting Proofs-as-Programs
Spar

Adapting Proofs-as-Programs

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.
Undertittel
The Curry--Howard Protocol
Opplag
2005 ed.
ISBN
9780387237596
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
21.6.2005
Antall sider
420