Wolfgang Schreiner,
"How to Write Postconditions with Multiple Cases"
, Serie RISC Technical Reports, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 11-2009
Original Titel:
How to Write Postconditions with Multiple Cases
Sprache des Titels:
Englisch
Original Kurzfassung:
We investigate and compare the two major styles of writing program/ function postconditions with multiple cases: as conjunctions of implications or as disjunctions of conjunctions. We show that both styles not only have different syntax but also different semantics and pragmatics and give recommendations for their use.
Forschungs-