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 : ,

Bestandsnummer des Verk�ufers 263680

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: PX: A Computational Logic (Foundations of Computing).
Verlag: Mit Pr
Erscheinungsjahr: 1988
Sprache: Englisch
ISBN-10: 0262081741
ISBN-13: 9780262081740
Einband: Hardcover
Zustand: as new

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

In business since 1923 we are specialized in law, philosophy and other scholarly books from the 16th - 20th century. We also carry a general stock and we have permanently in stock ca. 60.000 titles. Visit only by appointment. Member of ILAB and the NVVA, the Dutch Antiquarian Booksellers Association.

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Kloof Booksellers & Scientia Verlag
Netherlands

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Condition of the books is VG or better, unless otherwise stated. Returns allowed within 8 days after reception of the book (after prior notification).
Books are subject to prior sale. Orders usually ship within 2-3 business days. Shipping of books outside the EU, or to commercial and institional addresses is at buyers risk. Airmail & insurance rates on request. No discounts possible on orders through Abebooks. The displayed shipping costs are based on books weighing 2.2 LB, or 1 KG. All disputes...

Mehr Information

Versandbedingungen

Orders usually ship within 2-3 business days. Shipping of books outside the EU, or to commercial and institional addresses is at buyers risk. Airmail & insurance rates on request. The displayed shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.