Gå direkte til innholdet
Semantics and Algebraic Specification
Spar

Semantics and Algebraic Specification

Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.
Undertittel
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Redaktør
Jens Palsberg
Opplag
2009 ed.
ISBN
9783642041631
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
28.8.2009
Antall sider
409