|
Showing 1 - 2 of
2 matches in All Departments
|
Mathematics of Program Construction - 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Paperback, 2004 ed.)
Dexter Kozen, Carron Shankland
|
R1,732
Discovery Miles 17 320
|
Ships in 10 - 15 working days
|
This volume contains the proceedings of MPC 2004, the Seventh
International Conference on the Mathematics of Program
Construction. This series of c- ferences aims to promote the
development of mathematical principles and te-
niquesthataredemonstrablyusefulinthe
processofconstructingcomputerp- grams, whether
implementedinhardwareorsoftware.Thefocus isontechniques that
combine precision with conciseness, enabling programs to be
constructed by formal calculation. Within this theme, the scope of
the series is very diverse, including programmingmethodology,
programspeci?cation and transformation, programming paradigms,
programming calculi, and programming language - mantics. The
quality of the papers submitted to the conference was in general
very high, and the number of submissions was comparable to that for
the previous conference. Each paper was refereed by at least four,
and often more, committee members. This volume contains 19 papers
selected for presentation by the program committee from 37
submissions, as well as the abstract of one invited talk: - tended
Static Checking for Java by Greg Nelson, Imaging Systems
Department, HP Labs, Palo Alto, California. The conference took
place in Stirling, Scotland. The previous six conferences wereheld
in1989inTwente, TheNetherlands;in1992inOxford, UK;in 1995in
KlosterIrsee, Germany;in 1998in Marstrandnear Got ] eborg,
Sweden;in2000in Pontede Lima, Portugal;and in 2002in Dagstuhl,
Germany.The proceedingsof these conferences were published as LNCS
375, 669, 947, 1422, 1837, and 2386, respecti
|
Dynamic Logic (Paperback)
David Harel, Dexter Kozen, Jerzy Tiuryn
|
R1,927
Discovery Miles 19 270
|
Ships in 10 - 15 working days
|
This book provides the first comprehensive introduction to Dynamic
Logic. Among the many approaches to formal reasoning about
programs, Dynamic Logic enjoys the singular advantage of being
strongly related to classical logic. Its variants constitute
natural generalizations and extensions of classical formalisms. For
example, Propositional Dynamic Logic (PDL) can be described as a
blend of three complementary classical ingredients: propositional
calculus, modal logic, and the algebra of regular events. In
First-Order Dynamic Logic (DL), the propositional calculus is
replaced by classical first-order predicate calculus. Dynamic Logic
is a system of remarkable unity that is theoretically rich as well
as of practical value. It can be used for formalizing correctness
specifications and proving rigorously that those specifications are
met by a particular program. Other uses include determining the
equivalence of programs, comparing the expressive power of various
programming constructs, and synthesizing programs from
specifications. This book provides the first comprehensive
introduction to Dynamic Logic. It is divided into three parts. The
first part reviews the appropriate fundamental concepts of logic
and computability theory and can stand alone as an introduction to
these topics. The second part discusses PDL and its variants, and
the third part discusses DL and its variants. Examples are provided
throughout, and exercises and a short historical section are
included at the end of each chapter.
|
|