Programming with Higher-Order Logic | Buch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9780521879408 | Programming with Higher-Order Logic | Gopalan Nadathur | Buch | 2012

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

58,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.

Über den Autor

Dale Miller is currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team. He has been a professor at the University of Pennsylvania, Pennsylvania State University and the École Polytechnique, France. Miller is the Editor-in-Chief of the ACM Transactions on Computational Logic and has editorial duties on several other journals. He was awarded an ERC Advanced Investigators Grant in 2011 and is the recipient of the 2011 Test-of-Time award of the IEEE Symposium on Logic in Computer Science. He works on many topics in the general area of computational logic, including automated reasoning, logic programming, proof theory, unification theory, operational semantics and, most recently, proof certificates.

Inhaltsverzeichnis

1. First-order terms and representations of data; 2. First-order horn clauses; 3. First-order hereditary Harrop formulas; 4. Typed lambda terms and formulas; 5. Using quantification at higher-order types; 6. Mechanisms for structuring large programs; 7. Computations over ¿-terms; 8. Unification of ¿-terms; 9. Implementing proof systems; 10. Computations over functional programs; 11. Encoding a process calculus language; Appendix: the Teyjus system.

Details

Erscheinungsjahr:	2012
Fachbereich:	Programmiersprachen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	322
ISBN-13:	9780521879408
ISBN-10:	052187940X
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Nadathur, Gopalan
Hersteller:	Cambridge University Press
Maße:	235 x 157 x 22 mm
Von/Mit:	Gopalan Nadathur
Erscheinungsdatum:	06.09.2012
Gewicht:	0,621 kg

preigu-id: 106615553

Über den Autor

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2012
Fachbereich:	Programmiersprachen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	322
ISBN-13:	9780521879408
ISBN-10:	052187940X
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Nadathur, Gopalan
Hersteller:	Cambridge University Press
Maße:	235 x 157 x 22 mm
Von/Mit:	Gopalan Nadathur
Erscheinungsdatum:	06.09.2012
Gewicht:	0,621 kg