Theories of Programming and Formal Methods | Accra Metropolitan University

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of Theories of Programming and Formal Methods

Information Technology

Theories of Programming and Formal Methods

Zhiming Liu and Jim Woodcock and HuibiaoZhu(Eds.) - Personal Name;

This study is clearly not immediately related to any application. Instead we deﬁnitely and only consider the fundamental mathematical structure modeling mechanical computations. As pointed out in [12] and in other scientiﬁc disciplines as well, it appears to be very important to develop some mathematical models for our main concept, that is in our case that of computation. In doing so, we intend to be able to understand not only the well known existing mechanisms at work in computations today but also those we might encounter in the future. This topic is by no means new. In fact, a variety of computational models have been proposed in the literature. This is carefully reviewed by Nelson in [19]. He made a clear distinction between models dealing with relations on predicate [13], relations on states [14], predicate transformers [5], or simply predicates [12]. The approach presented here deals with relations on states and with set transformers (the set-theoretic equivalent to predicate transformers). For this, I use set theory rather than predicate calculus. To the best of my knowledge, it has not been done so far systematically in this way. The reason why I favor set the- ory over predicate calculus as a medium for such a theoretical development is certainly one of personal taste: I prefer to quantify over sets (or better, over all subsets of a certain set) than over predicates, and I think that set complementation is more convenient than predicate negation for theoretical developments and in mechanized proofs as well.

Availability

No copy data

Detail Information

Series Title: -
Call Number: -
Publisher: : ., 1998
Collation: 1-422
Language: English
ISBN/ISSN: 978-3-642-39697-7
Classification: NONE
Content Type: -
Media Type: -
Carrier Type: -
Edition: -
Subject(s): Theories of Programming and Formal Methods
Specific Detail Info: -
Statement of Responsibility: -

Other version/related

No other version available

File Attachment

Theories of Programming and Formal Methods

Comments

You must be logged in to post a comment