Program correctness and matricial iteration theories

Stephen L. Bloom, Z. Ésik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

The analysis of partial correctness assertions given in [Béa] is specialized to matricial iteration theories. A system of rules for partial correctness is given and a completeness theorem is stated. It is shown how to formulate total correctness in all iteration theories as an equation, and some total correctness rules are considered.

Original languageEnglish
Title of host publicationMathematical Foundations of Programming Semantics - 7th International Conference, Proceedings
PublisherSpringer Verlag
Pages457-476
Number of pages20
ISBN (Print)9783540555117
DOIs
Publication statusPublished - Jan 1 1992
Event7th International Conference on the Mathematical Foundations of Programming Semantics, 1991 - Pittsburgh, United States
Duration: Mar 25 1991Mar 28 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume598 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th International Conference on the Mathematical Foundations of Programming Semantics, 1991
CountryUnited States
CityPittsburgh
Period3/25/913/28/91

Fingerprint

Program Correctness
Correctness
Iteration
Partial
Assertion
Completeness
Theorem

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Bloom, S. L., & Ésik, Z. (1992). Program correctness and matricial iteration theories. In Mathematical Foundations of Programming Semantics - 7th International Conference, Proceedings (pp. 457-476). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 598 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-55511-0_24

Program correctness and matricial iteration theories. / Bloom, Stephen L.; Ésik, Z.

Mathematical Foundations of Programming Semantics - 7th International Conference, Proceedings. Springer Verlag, 1992. p. 457-476 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 598 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bloom, SL & Ésik, Z 1992, Program correctness and matricial iteration theories. in Mathematical Foundations of Programming Semantics - 7th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 598 LNCS, Springer Verlag, pp. 457-476, 7th International Conference on the Mathematical Foundations of Programming Semantics, 1991, Pittsburgh, United States, 3/25/91. https://doi.org/10.1007/3-540-55511-0_24
Bloom SL, Ésik Z. Program correctness and matricial iteration theories. In Mathematical Foundations of Programming Semantics - 7th International Conference, Proceedings. Springer Verlag. 1992. p. 457-476. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-55511-0_24
Bloom, Stephen L. ; Ésik, Z. / Program correctness and matricial iteration theories. Mathematical Foundations of Programming Semantics - 7th International Conference, Proceedings. Springer Verlag, 1992. pp. 457-476 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{bf8e8376960c45beb2d4a10b2da90830,
title = "Program correctness and matricial iteration theories",
abstract = "The analysis of partial correctness assertions given in [B{\'e}a] is specialized to matricial iteration theories. A system of rules for partial correctness is given and a completeness theorem is stated. It is shown how to formulate total correctness in all iteration theories as an equation, and some total correctness rules are considered.",
author = "Bloom, {Stephen L.} and Z. {\'E}sik",
year = "1992",
month = "1",
day = "1",
doi = "10.1007/3-540-55511-0_24",
language = "English",
isbn = "9783540555117",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "457--476",
booktitle = "Mathematical Foundations of Programming Semantics - 7th International Conference, Proceedings",

}

TY - GEN

T1 - Program correctness and matricial iteration theories

AU - Bloom, Stephen L.

AU - Ésik, Z.

PY - 1992/1/1

Y1 - 1992/1/1

N2 - The analysis of partial correctness assertions given in [Béa] is specialized to matricial iteration theories. A system of rules for partial correctness is given and a completeness theorem is stated. It is shown how to formulate total correctness in all iteration theories as an equation, and some total correctness rules are considered.

AB - The analysis of partial correctness assertions given in [Béa] is specialized to matricial iteration theories. A system of rules for partial correctness is given and a completeness theorem is stated. It is shown how to formulate total correctness in all iteration theories as an equation, and some total correctness rules are considered.

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

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

U2 - 10.1007/3-540-55511-0_24

DO - 10.1007/3-540-55511-0_24

M3 - Conference contribution

AN - SCOPUS:0001278395

SN - 9783540555117

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 457

EP - 476

BT - Mathematical Foundations of Programming Semantics - 7th International Conference, Proceedings

PB - Springer Verlag

ER -