Opening book details…
Can I read Semantics And Algebraic Specification: Essays Dedicated To Peter D. Mosses On The Occasion Of His 60th Birthday (lecture Notes In Computer Science on EtoBox?
Semantics And Algebraic Specification: Essays Dedicated To Peter D. Mosses On The Occasion Of His 60th Birthday (lecture Notes In Computer Science by Jens Palsberg (auth.), Jens Palsberg (eds.) is a nonfiction available to read on EtoBox.
What is Semantics And Algebraic Specification: Essays Dedicated To Peter D. Mosses On The Occasion Of His 60th Birthday (lecture Notes In Computer Science about?
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September 10, 2009 - were on subjects related to Peter's many technical contributions and they were a tribute to his lasting impact on the field. 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. Erscheinungsdatum: 28.08.2009
Who reads Semantics And Algebraic Specification: Essays Dedicated To Peter D. Mosses On The Occasion Of His 60th Birthday (lecture Notes In Computer Science?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jens Palsberg (auth.), Jens Palsberg (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2009
- Language
- EN
- ISBN
- 9783642041648
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Language Learning
More by Jens Palsberg (auth.), Jens Palsberg (eds.)
Browse all works by Jens Palsberg (auth.), Jens Palsberg (eds.)
Similar books
- Modeled, Tested, Trusted: Essays Dedicated To Ed Brinksma On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) — Joost-Pieter Katoen,Rom Langerak,Arend Rensink (2017)
- Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 7230) — Hajnal Andréka, Szabolcs Mikulás, István Németi (auth.), Robert L. Constable, Alexandra Silva (2012)
- Conceptual Modelling and Its Theoretical Foundations [recurso electrónico] Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday — Antje Düsterhöft, Meike Klettke (auth.), Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (2012)
- Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 5760) — Robert L. Constable (auth.), Susanne Albers, Helmut Alt, Stefan Näher (2009)
- Adventures Between Lower Bounds And Higher Altitudes: Essays Dedicated To Juraj Hromkovič On The Occasion Of His 60th Birthday (lecture Notes In Computer Science (11011)) — Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger (2018)
- Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday — Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić (2017)
