izvor podataka: crosbi
!
Evolving Algebra Model of Programming Language Semantics (CROSBI ID 495325)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Glavan, Paola ; Rosenzweig, Dean
Evolving Algebra Model of Programming Language Semantics // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, I. Simon (ur.). Amsterdam: Elsevier, 1994. str. 416-422-x
Podaci o odgovornosti
Glavan, Paola ; Rosenzweig, Dean
engleski
Evolving Algebra Model of Programming Language Semantics
We provide an evovling algebra interpretation of many-step SOS, denotational semantics and Hoare logic for the language of while-programs, with correctness and completeness theorems, based on a simple flowchart model of the language.
evolving algebras; SOS; denotational semantics; Hoare logic
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
416-422-x.
1994.
objavljeno
Podaci o matičnoj publikaciji
B. Pehrson, I. Simon
Amsterdam: Elsevier
Podaci o skupu
IFIP 14th World Computer Congress
predavanje
01.01.1994-01.01.1994
Hamburg, Njemačka