Synopsis
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
PX: A Computational Logic is included in the Foundations of Computing series edited by Michael Garey and Albert Meyer.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Susumu Hayashi is Professor of Information and History in the Department of Contemporary Culture in the Graduate School of Letters at Kyoto University in Japan.
Hiroshi Nakano is Associate Professor in the Department of Applied Mathematics and Informatics at Ryukoku University in Japan.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour PX: A Computational Logic
Image d'archives
Px: A Computational Logic (Foundations of Computing Series)
Edité par
Mit Pr, 1988
ISBN 10 : 0262081741
ISBN 13 : 9780262081740
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0262081741I3N00
Acheter D'occasion
EUR 17,50
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
PX: A Computational Logic (Foundations of Computing).
Edité par
Mit Pr, 1988
ISBN 10 : 0262081741
ISBN 13 : 9780262081740
Ancien ou d'occasion
Couverture rigide
Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-Bas
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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 : , N° de réf. du vendeur 263680
Acheter D'occasion
EUR 15,95
EUR 30 shipping
Expédition depuis Pays-Bas vers Etats-Unis
Expédition depuis Pays-Bas vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Px: A Computational Logic
Edité par
MIT Press, 1988
ISBN 10 : 0262081741
ISBN 13 : 9780262081740
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur E-843-066
Acheter D'occasion
EUR 29,99
EUR 20,50 shipping
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Px: A Computational Logic (Foundations of Computing Series)
Edité par
Mit Pr, 1988
ISBN 10 : 0262081741
ISBN 13 : 9780262081740
Ancien ou d'occasion
Couverture rigide
Vendeur : Lavendier Books, Foster, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : 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. N° de réf. du vendeur SKU1043838
Acheter D'occasion
EUR 48,25
EUR 4,26 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)