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: 25.0 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 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £32 (66 days, 73.3%)

Price range: £25 - £32

Price levels: 2 different prices over 90 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

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

Computational Semantics with Functional Programming

Multiprocessor Execution of Logic Programs

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

BCPL: The Language and its Compiler

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

Formulaic Language and the Lexicon

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

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

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)

Algorithms on Strings

Revised [6] Report on the Algorithmic Language Scheme

Logic of Domains (Progress in Theoretical Computer Science)

Algorithms for Functional Programming

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Elements of Logical Reasoning

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

Discrete Maths Software Engineers: An Introduction for Software Engineers

Abductive Inference: Computation, Philosophy, Technology

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)