caa a22 4500 467989761 CHVBK 20180323112541.0 cr unu---uuuuu 170328e19900701xx s 000 0 eng 10.1007/BF00259469 doi (NATIONALLICENCE)springer-10.1007/BF00259469 Duality in specification languages: a lattice-theoretical approach [Elektronische Daten] [R. Back, J. von Wright] Summary: A very general lattice-based language of commands, based on the primitive operations of substitution and test for equality, is constructed. This base language permits unbounded nondeterminism, demonic and angelic nondeterminism. A dual language permitting miracles is constructed. Combining these two languages yields an extended base language which is complete, in the sense that all monotonic predicate tranformers can be constructed in it. The extended base language provides a unifying framework for various specification languages; we show how two Dijkstra-style specification languages can be embedded in it. Springer-Verlag, 1990 Back R. Department of Computer Science, Åbo Akademi, Lemminkäisenkatu 14, SF-20520, Turku, Finland aut von Wright J. Swedish School of Economics and Business Education, Biblioteksgatan 16, SF-65100, Vasa, Finland aut Acta Informatica Springer-Verlag 27/7(1990-07-01), 583-625 0001-5903 27:7<583 1990 27 236 https://doi.org/10.1007/BF00259469 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00259469 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Back R. Department of Computer Science, Åbo Akademi, Lemminkäisenkatu 14, SF-20520, Turku, Finland aut NATIONALLICENCE 700 1- von Wright J. Swedish School of Economics and Business Education, Biblioteksgatan 16, SF-65100, Vasa, Finland aut NATIONALLICENCE 773 0- Acta Informatica Springer-Verlag 27/7(1990-07-01), 583-625 0001-5903 27:7<583 1990 27 236 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer