"How to Write Postconditions with Multiple Cases"
, Serie RISC Technical Reports, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 11-2009
How to Write Postconditions with Multiple Cases
Sprache des Titels:
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.