Free Shipping Over $89* | 10% off gift cards to celebrate Mother's Day (*T&Cs apply)
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $89
Deductive and Declarative Programming : Cambridge Tracts in Theoretical Computer Science - No Information Available

Deductive and Declarative Programming

By: No Information Available

Paperback | 23 November 2006

At a Glance

Paperback

RRP $89.95

$81.99

or 4 interest-free payments of $20.50 with

 or 

Ships in 5 to 7 business days

Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, i.e. deduction (in contrast with model-theoretic approaches, deductive methods can be automated to some extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic, nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods, whose use is supported by a documented prototyping system. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Industry Reviews
"...promotes specification and programming on the basis of Horn logic with equality...His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming, neither too general with respect to the underlying logic, nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods, whose use is supported by a documented prototyping system." Xiang Li, Mathematical Reviews

You Can Find This Book In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting LanguagesComputer ScienceMathematical Theory of ComputationSoftware Engineering

More in Mathematical Theory of Computation

AI Engineering : Building Applications with Foundation Models - Chip Huyen

AI Engineering

Building Applications with Foundation Models

Paperback

RRP $152.00

$121.60

20%
OFF
Discrete Mathematics for Computing : Grassroots - Peter Grossman

Discrete Mathematics for Computing

Grassroots

Paperback

RRP $150.00

$117.75

21%
OFF
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye

Mathematical Foundations of Deep Learning

Theory and Algorithms

Hardcover

RRP $179.00

$158.99

11%
OFF
Theory of Computation for Software Developers - Maxim Mozgovoy

Theory of Computation for Software Developers

Hardcover

RRP $189.00

$167.75

11%
OFF
Nonlinear Analysis for Human Movement Variability - Nicholas Stergiou

Nonlinear Analysis for Human Movement Variability

Hardcover

RRP $194.00

$171.75

11%
OFF
Mining Complex Networks : Advances in Applied Mathematics - Bogumi? Kami?ski

Mining Complex Networks

Advances in Applied Mathematics

Paperback

RRP $133.00

$120.75

Mining Complex Networks : Advances in Applied Mathematics - Bogumi? Kami?ski

Mining Complex Networks

Advances in Applied Mathematics

Hardcover

RRP $399.00

$341.75

14%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

Introduction to Modern Cryptography

Revised Third Edition

Hardcover

RRP $252.00

$148.99

41%
OFF

This product is categorised by