Filter promotion transformation strategies for deriving efficient programs from Z specifications

Abdallah, A. E. (2000) Filter promotion transformation strategies for deriving efficient programs from Z specifications. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference. IEEE Conference Publications, pp. 157-167. ISBN 0-7695-0822-7

Full text not available from this repository. (Request a copy)

Abstract

In recent years there has been growing interest in systematic methods for refining Z specifications into programs. We consider a transformational programming strategy known as filter promotion and examine its use for refining a class of Z specifications into sequential as well as parallel programs. This strategy is particularly useful for transforming specification of generate and test problems into efficient algorithms. We find it convenient to use different notations at different level of abstractions: Z to capture the starting specification, Bird-Meertens functional notation to express algorithms and Hoare's CSP to describe parallelism and communications. The basic ideas are illustrated by systematic transformational developments of sequential and parallel algorithms for sorting and searching problems.

Item Type: Book Section
Uncontrolled Keywords: searching, filter promotion transformation strategies, Z specifications, transformational programming strategy, sequential programs, parallel programs, Bird-Meertens functional notation, CSP, communicating sequential processes, sequential algorithms, parallel algorithms, sorting, Filters, Parallel algorithms, Parallel programming, Testing, Sorting, Information science, Mathematics, Refining, Communication industry, Computer industry
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 07 Apr 2017 10:40
Last Modified: 07 Apr 2017 10:40
URI: http://www.open-access.bcu.ac.uk/id/eprint/4228

Actions (login required)

View Item View Item

Research

In this section...