On the verification of modules

G. Antoniou, V. Sperschneider

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)


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
Number of pages20
ISBN (Print)9783540527534
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


Conference3rd Workshop on Computer Science Logic
Abbreviated titleCSL 1989


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

Cite this