Filter promotion transformation strategies for deriving efficient programs from Z specifications

A. E. Abdallah

doi:10.1109/ICFEM.2000.873816

Filter promotion transformation strategies for deriving efficient programs from Z specifications

A. E. Abdallah^*

^*Corresponding author for this work

London South Bank University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods
Editors	John A. McDermid, Shaoying Liu, Michael G. Hinchey
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	157-167
Number of pages	11
ISBN (Electronic)	0769508227, 9780769508221
DOIs	https://doi.org/10.1109/ICFEM.2000.873816
Publication status	Published (VoR) - 2000
Event	3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000 - York, United Kingdom Duration: 4 Sept 2000 → 6 Sept 2000

Publication series

Name	ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

Conference

Conference	3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000
Country/Territory	United Kingdom
City	York
Period	4/09/00 → 6/09/00

Keywords

Communication industry
Computer industry
Filters
Information science
Mathematics
Parallel algorithms
Parallel programming
Refining
Sorting
Testing

Access to Document

10.1109/ICFEM.2000.873816

Cite this

Abdallah, A. E. (2000). Filter promotion transformation strategies for deriving efficient programs from Z specifications. In J. A. McDermid, S. Liu, & M. G. Hinchey (Eds.), ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods (pp. 157-167). Article 873816 (ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICFEM.2000.873816

Abdallah, A. E. / Filter promotion transformation strategies for deriving efficient programs from Z specifications. ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods. editor / John A. McDermid ; Shaoying Liu ; Michael G. Hinchey. Institute of Electrical and Electronics Engineers Inc., 2000. pp. 157-167 (ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods).

@inproceedings{dbcfbf5e03754c5d98bf0afd6801ac55,

title = "Filter promotion transformation strategies for deriving efficient programs from Z specifications",

keywords = "Communication industry, Computer industry, Filters, Information science, Mathematics, Parallel algorithms, Parallel programming, Refining, Sorting, Testing",

author = "Abdallah, {A. E.}",

note = "Publisher Copyright: {\textcopyright} 2000 IEEE.; 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000 ; Conference date: 04-09-2000 Through 06-09-2000",

year = "2000",

doi = "10.1109/ICFEM.2000.873816",

language = "English",

series = "ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "157--167",

editor = "McDermid, {John A.} and Shaoying Liu and Hinchey, {Michael G.}",

booktitle = "ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods",

}

Abdallah, AE 2000, Filter promotion transformation strategies for deriving efficient programs from Z specifications. in JA McDermid, S Liu & MG Hinchey (eds), ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods., 873816, ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods, Institute of Electrical and Electronics Engineers Inc., pp. 157-167, 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, United Kingdom, 4/09/00. https://doi.org/10.1109/ICFEM.2000.873816

Filter promotion transformation strategies for deriving efficient programs from Z specifications. / Abdallah, A. E.
ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods. ed. / John A. McDermid; Shaoying Liu; Michael G. Hinchey. Institute of Electrical and Electronics Engineers Inc., 2000. p. 157-167 873816 (ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Filter promotion transformation strategies for deriving efficient programs from Z specifications

AU - Abdallah, A. E.

PY - 2000

Y1 - 2000

KW - Communication industry

KW - Computer industry

KW - Filters

KW - Information science

KW - Mathematics

KW - Parallel algorithms

KW - Parallel programming

KW - Refining

KW - Sorting

KW - Testing

UR - http://www.scopus.com/inward/record.url?scp=84951983323&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84951983323&partnerID=8YFLogxK

U2 - 10.1109/ICFEM.2000.873816

DO - 10.1109/ICFEM.2000.873816

M3 - Conference contribution

AN - SCOPUS:84951983323

T3 - ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

SP - 157

EP - 167

BT - ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

A2 - McDermid, John A.

A2 - Liu, Shaoying

A2 - Hinchey, Michael G.

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000

Y2 - 4 September 2000 through 6 September 2000

ER -

Abdallah AE. Filter promotion transformation strategies for deriving efficient programs from Z specifications. In McDermid JA, Liu S, Hinchey MG, editors, ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods. Institute of Electrical and Electronics Engineers Inc. 2000. p. 157-167. 873816. (ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods). doi: 10.1109/ICFEM.2000.873816

Filter promotion transformation strategies for deriving efficient programs from Z specifications

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this