Articoli correlati a Px: A Computational Logic

Px: A Computational Logic - Rilegato

 
9780262081740: Px: A Computational Logic

Sinossi

The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extracted from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the formal theory of PX, its semantics, the mathematical foundation of program extraction using PX, and several methodologies and their theories of program extraction. They also describe an experimental implementation of PX.

Contents: Introduction. Formal System. Realizability. Writing Programs via proofs. PX as a foundation of type theories. Semantics. Implementing PX.

Susumu Hayashi is a research associate and Hiroshi Nakano a graduate student, both at the Research Institute of Mathematical Sciences at Kyoto University. PX: A Computational Logic is included in the Foundations of Computing series edited by Michael Garey and Albert Meyer.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: buono
Pages can have notes/highlighting...
Visualizza questo articolo

EUR 7,99 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Risultati della ricerca per Px: A Computational Logic

Foto dell'editore

Susumu Hayashi; Hiroshi Nakano
Editore: Mit Pr, 1988
ISBN 10: 0262081741 ISBN 13: 9780262081740
Antico o usato Rilegato

Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.25. Codice articolo G0262081741I3N00

Contatta il venditore

Compra usato

EUR 12,80
Convertire valuta
Spese di spedizione: EUR 7,99
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Hayashi, Susumu
Editore: Mit Pr, 1988
ISBN 10: 0262081741 ISBN 13: 9780262081740
Antico o usato Rilegato

Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi Bassi

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: as new. Cambridge, MA: The MIT Press, 1988. Hardcover. 216 pp.- The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extracted from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the formal theory of PX, its semantics, the mathematical foundation of program extraction using PX, and several methodologies and their theories of program extraction. They also describe an experimental implementation of PX. English text. Condition : as new. Condition : as new copy. ISBN 9780262081740. Keywords : , Codice articolo 263680

Contatta il venditore

Compra usato

EUR 15,95
Convertire valuta
Spese di spedizione: EUR 12,00
Da: Paesi Bassi a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Susumu Hayashi et Hiroshi Nakano
Editore: MIT Press, 1988
ISBN 10: 0262081741 ISBN 13: 9780262081740
Antico o usato Rilegato

Da: Ammareal, Morangis, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-843-066

Contatta il venditore

Compra usato

EUR 49,49
Convertire valuta
Spese di spedizione: EUR 8,00
Da: Francia a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Hayashi, Susumu; Nakano, Hiroshi
Editore: Mit Pr, 1988
ISBN 10: 0262081741 ISBN 13: 9780262081740
Antico o usato Rilegato

Da: Lavendier Books, Foster, RI, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

hardcover. Condizione: Very Good. The MIT Press; Cambridge, 1988. Hardcover. Review Copy with review slip laid in. A Very Good, binding sturdy and intact, some handling/scuffing to boards, bit of age toning to pages, small tear bottom front joint binding, some rubbing along board edges, without Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches]. 200pp., references, indexed. We pack securely and ship daily with delivery confirmation on every book. Please Note: Depending on site, actual book for sale may differ physically from picture listed. Additional scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Codice articolo SKU1043838

Contatta il venditore

Compra usato

EUR 48,23
Convertire valuta
Spese di spedizione: EUR 32,35
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello