عنوان

Deduction and declarative programming /

(Number (ISBN

9780511569876 (ebook)

Erroneous ISBN

9780521032513 (paperback)

Erroneous ISBN

9780521417235 (hardback)

Number

b504566

Title Proper

Deduction and declarative programming /

General Material Designation

[Book]

First Statement of Responsibility

Peter Padawitz.

Place of Publication, Distribution, etc.

Cambridge :

Name of Publisher, Distributor, etc.

Cambridge University Press,

Date of Publication, Distribution, etc.

1992.

Specific Material Designation and Extent of Item

1 online resource (vi, 279 pages) :

Other Physical Details

digital, PDF file(s)

Series Title

Cambridge tracts in theoretical computer science ;

Volume Designation

28.

Text of Note

Title from publisher's bibliographic system (viewed on 05 Oct 2015)

Text of Note

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.

Parallel Title

Deductive & Declarative Programming.

Declarative programming.

Class number

Book number

Padawitz, Peter,1953-

Date of Transaction

20151005020622.0

Cataloguing Rules (Descriptive Conventions))

rda

Electronic name

[Book]

Y