عنوان

Deduction and declarative programming /

شابک

9780511569876 (ebook)

شابک اشتباه

9780521032513 (paperback)

شابک اشتباه

9780521417235 (hardback)

شماره

b504566

عنوان اصلي

Deduction and declarative programming /

نام عام مواد

[Book]

نام نخستين پديدآور

Peter Padawitz.

محل نشرو پخش و غیره

Cambridge :

نام ناشر، پخش کننده و غيره

Cambridge University Press,

تاریخ نشرو بخش و غیره

1992.

نام خاص و کميت اثر

1 online resource (vi, 279 pages) :

ساير جزييات

digital, PDF file(s)

عنوان فروست

Cambridge tracts in theoretical computer science ;

مشخصه جلد

28.

متن يادداشت

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

متن يادداشت

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.

عنوان اصلي به زبان ديگر

Deductive & Declarative Programming.

موضوع مستند نشده

Declarative programming.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Padawitz, Peter,1953-

تاريخ عمليات

20151005020622.0

قواعد فهرست نويسي ( بخش توصيفي )

rda

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y