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 - Kaiserslautern, Germany
Duration: 2 Oct 19896 Oct 1989
Conference number: 3

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
Abbreviated titleCSL 1989
CountryGermany
CityKaiserslautern
Period2/10/896/10/89

Fingerprint Dive into the research topics of 'On the verification of modules'. Together they form a unique fingerprint.

  • 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