It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems.
Pokazuje kako se denotacijska semantika, operacijska semantika i algebarska semantika mogu kombinirati u unificirani okvir za formalnu specifikaciju, dizajn i implementaciju programa i računalnih sustava.