On the verification of modules

G. Antoniou, V. Sperschneider

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

1 Citation (Scopus)

Abstract

We present a module concept with algebraic interface and imperative implementation. It is shown that under some natural conditions, module correctness may be uniformly expressed in Hoare logic as a partial correctness assertion.

Original languageEnglish
Title of host publicationCSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings
EditorsHans Kleine Buning, Michael M. Richter, Egon Borger
PublisherSpringer Verlag
Pages16-35
Number of pages20
ISBN (Print)9783540527534
DOIs
Publication statusPublished - 1 Jan 1990
Externally publishedYes
Event3rd Workshop on Computer Science Logic, CSL 1989 - Kaiserslautern, Germany
Duration: 2 Oct 19896 Oct 1989

Publication series

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

Conference

Conference3rd Workshop on Computer Science Logic, CSL 1989
CountryGermany
CityKaiserslautern
Period2/10/896/10/89

Fingerprint

Correctness
Module
Assertion
Logic
Partial
Concepts

Cite this

Antoniou, G., & Sperschneider, V. (1990). On the verification of modules. In H. Kleine Buning, M. M. Richter, & E. Borger (Eds.), CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings (pp. 16-35). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 440 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-52753-2_30
Antoniou, G. ; Sperschneider, V. / On the verification of modules. CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings. editor / Hans Kleine Buning ; Michael M. Richter ; Egon Borger. Springer Verlag, 1990. pp. 16-35 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{e5d95ea14e564249baa5fdb399a4d0e2,
title = "On the verification of modules",
abstract = "We present a module concept with algebraic interface and imperative implementation. It is shown that under some natural conditions, module correctness may be uniformly expressed in Hoare logic as a partial correctness assertion.",
author = "G. Antoniou and V. Sperschneider",
year = "1990",
month = "1",
day = "1",
doi = "10.1007/3-540-52753-2_30",
language = "English",
isbn = "9783540527534",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "16--35",
editor = "{Kleine Buning}, Hans and Richter, {Michael M.} and Egon Borger",
booktitle = "CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings",

}

Antoniou, G & Sperschneider, V 1990, On the verification of modules. in H Kleine Buning, MM Richter & E Borger (eds), CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 440 LNCS, Springer Verlag, pp. 16-35, 3rd Workshop on Computer Science Logic, CSL 1989, Kaiserslautern, Germany, 2/10/89. https://doi.org/10.1007/3-540-52753-2_30

On the verification of modules. / Antoniou, G.; Sperschneider, V.

CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings. ed. / Hans Kleine Buning; Michael M. Richter; Egon Borger. Springer Verlag, 1990. p. 16-35 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 440 LNCS).

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

TY - GEN

T1 - On the verification of modules

AU - Antoniou, G.

AU - Sperschneider, V.

PY - 1990/1/1

Y1 - 1990/1/1

N2 - We present a module concept with algebraic interface and imperative implementation. It is shown that under some natural conditions, module correctness may be uniformly expressed in Hoare logic as a partial correctness assertion.

AB - We present a module concept with algebraic interface and imperative implementation. It is shown that under some natural conditions, module correctness may be uniformly expressed in Hoare logic as a partial correctness assertion.

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

U2 - 10.1007/3-540-52753-2_30

DO - 10.1007/3-540-52753-2_30

M3 - Conference contribution

SN - 9783540527534

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

SP - 16

EP - 35

BT - CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings

A2 - Kleine Buning, Hans

A2 - Richter, Michael M.

A2 - Borger, Egon

PB - Springer Verlag

ER -

Antoniou G, Sperschneider V. On the verification of modules. In Kleine Buning H, Richter MM, Borger E, editors, CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings. Springer Verlag. 1990. p. 16-35. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-52753-2_30