Programming with Higher-Order Logic - Image 1

£32.17

Cambridge University Press Programming with Higher-Order Logic

Name: Programming with Higher-Order Logic
Brand: Cambridge University Press
Price: 32.17 GBP
Availability: InStock

Introduction to Programming

This is the most expensive it has ever been. Walk away.

£32 today · previous high £32 · all-time low £25

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 52 days • 52 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 52 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £32 (45 days, 86.5%)

Price range: £25 - £32

Price levels: 2 different prices over 52 days

Description

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 052187940X
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 11 June 2012
Listed Since: 08 November 2011

Barcode

No barcode data available

Cambridge University Press Programming with Higher-Order Logic

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Lambda Calculus with Types (Perspectives in Logic)

Prolog by Example: How to Learn, Teach and Use It (Symbolic Computation)

Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)

Computational Semantics with Functional Programming

Multiprocessor Execution of Logic Programs

Systematic Program Design: From Clarity to Efficiency

LOGIC PROGRAMMING THEORY PRACTICES A: Theory, Practices and Challenges (Computer Science, Technology and Applications)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Structural Proof Theory

Specifying Software: A Hands-On Introduction

Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

BCPL: The Language and its Compiler

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981: 95 (Nato Science Series C:, 95)

The Logic Programming Tutor

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Formulaic Language and the Lexicon

An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German (Cognitive Technologies)

Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Logics for Computer Science: Classical and Non-Classical

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

Formal Languages in Logic: A Philosophical and Cognitive Analysis

Algebraic Approaches to Program Semantics (Monographs in Computer Science)