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