Publisher
Springer International Publishing
Reference30 articles.
1. Attie, P.C.: Operational annotations: A new method for sequential program verification. CoRR abs/2102.06727 (2021). https://arxiv.org/abs/2102.06727
2. Back, R., von Wright, J.: Refinement Calculus - A Systematic Introduction. Graduate Texts in Computer Science. Springer (1998). https://doi.org/10.1007/978-1-4612-1674-2
3. Ciobâcă, Ş, Lucanu, D., Rusu, V., Roşu, G.: A language-independent proof system for full program equivalence. Formal Aspects Comput. 28(3), 469–497 (2016). https://doi.org/10.1007/s00165-016-0361-7
4. Crole, R.L., Gordon, A.D.: Relating operational and denotational semantics for input/output effects. Math. Struct. Comput. Sci. 9(2), 125–158 (1999). http://journals.cambridge.org/action/displayAbstract?aid=44797
5. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453–457 (1975)