68Q55 Semantics [See also 03B70, 06B35, 18C50]
Refine
Year of publication
- 2008 (1)
Document Type
- Working Paper (1)
Language
- English (1)
Has Fulltext
- yes (1)
Is part of the Bibliography
- no (1)
Keywords
- Formale Semantik (1)
- Programmkalküle (1)
- Programmkorrektheit (1)
- formal semantics (1)
- program correctness (1)
- programming calculi (1)
Institute
- Informatik (1)
We show on an abstract level that contextual equivalence in non-deterministic program calculi defined by may- and must-convergence is maximal in the following sense. Using also all the test predicates generated by the Boolean, forall- and existential closure of may- and must-convergence does not change the contextual equivalence. The situation is different if may- and total must-convergence is used, where an expression totally must-converges if all reductions are finite and terminate with a value: There is an infinite sequence of test-predicates generated by the Boolean, forall- and existential closure of may- and total must-convergence, which also leads to an infinite sequence of different contextual equalities.