Pregled bibliografske jedinice broj: 141574
Evolving Algebra Model of Programming Language Semantics
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 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 141574 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Evolving Algebra Model of Programming Language Semantics
Autori
Glavan, Paola ; Rosenzweig, Dean
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
IFIP 13th World Computer Congress, volume I: Technology/Foundations
/ B. Pehrson, I. Simon - Amsterdam : Elsevier, 1994, 416-422
Skup
IFIP 14th World Computer Congress
Mjesto i datum
Hamburg, Njemačka, 28.08.94-02.09.94
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
evolving algebras; SOS; denotational semantics; Hoare logic
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
