On the verification of modules

G. Antoniou; V. Sperschneider

doi:10.1007/3-540-52753-2_30

On the verification of modules

G. Antoniou, V. Sperschneider

University of Osnabrück

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

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 language	English
Title of host publication	CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings
Editors	Hans Kleine Buning, Michael M. Richter, Egon Borger
Publisher	Springer Verlag
Pages	16-35
Number of pages	20
ISBN (Print)	9783540527534
DOIs	https://doi.org/10.1007/3-540-52753-2_30
Publication status	Published - 1 Jan 1990
Externally published	Yes
Event	3rd Workshop on Computer Science Logic - Kaiserslautern, Germany Duration: 2 Oct 1989 → 6 Oct 1989 Conference number: 3

Publication series

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

Conference

Conference	3rd Workshop on Computer Science Logic
Abbreviated title	CSL 1989
Country/Territory	Germany
City	Kaiserslautern
Period	2/10/89 → 6/10/89

Access to Document

10.1007/3-540-52753-2_30Licence: Unspecified

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

@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 = jan,

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",

address = "Germany",

note = "3rd Workshop on Computer Science Logic, CSL 1989 ; Conference date: 02-10-1989 Through 06-10-1989",

}

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, Kaiserslautern, Rhineland-Palatinate, 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 proceeding › Conference contribution › peer-review

TY - GEN

T1 - On the verification of modules

AU - Antoniou, G.

AU - Sperschneider, V.

N1 - Conference code: 3

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 - https://www.scopus.com/pages/publications/85030631169

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

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

M3 - Conference contribution

AN - SCOPUS:85030631169

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

T2 - 3rd Workshop on Computer Science Logic

Y2 - 2 October 1989 through 6 October 1989

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)). doi: 10.1007/3-540-52753-2_30

On the verification of modules

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this