Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) - Image 1

£43.01

Springer Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Name: Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Brand: Springer
Price: 43.01 GBP
Availability: InStock

Refer to Sapnet.

Algorithms

It has never been this cheap. We have no record of a lower price.

£43 today · cheaper than every other day in the last 3 months

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 62 days · 62 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 62 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £43 (32 days, 51.6%)

Price range: £43 - £60

Price levels: 3 different prices over 62 days

Description

This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis. These applications constitute an exemplary justi?cation of the framework. Also, in and of themselves, these approaches to synthesis should be interesting forresearchers working in the target problem domains.

Product Specifications

Brand: Springer
Model: Refer to Sapnet.
Format: hardcover
ASIN: 0387237593
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 21 June 2005
Listed Since: 22 December 2006

Barcode

No barcode data available

Springer Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Programming with Higher-Order Logic

Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

First-Order Programming Theories: 24 (Monographs in Theoretical Computer Science. An EATCS Series, 24)

Systematic Program Design: From Clarity to Efficiency

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics): 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

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

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

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

Cambridge University Press - Structural Proof Theory Book

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)

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

Multiprocessor Execution of Logic Programs

Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)

Parallel Algorithm Derivation and Program Transformation: 231 (The Springer International Series in Engineering and Computer Science, 231)

Principles of Rule-Based Programming

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)

Software Architectures: Advances and Applications

Specifying Software: A Hands-On Introduction

Multiparadigm Constraint Programming Languages (Cognitive Technologies)