Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Adapting Proofs-as-Programs

207,80 €

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
Painos
2005
ISBN
9780387237596
Kieli
englanti
Paino
518 grammaa
Julkaisupäivä
21.6.2005
Sivumäärä
420