Mohlo by sa vám tiež páčiť

Viac informácií o knihe Semantics and Algebraic Specification

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia knihy

PeterMosses,renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter s coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter s many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: Opening: Jens Palsberg Session 1: (Chair: Jos e Luiz Fiadeiro) David Watt, Action Semantics in Retrospect H el` eneKirchner,Component-BasedSecurityPolicyDesignwithColored Petri Nets Jos e Meseguer, Order-Sorted Parameterization and Induction Session 2: (Chair: Andrzej Tarlecki) Martin Musicante, An implementation of Object-Oriented Action Semantics in Maude ChristianoBraga,AConstructiveSemanticsforBasicAspectConstructs Bartek Klin, Structural Operational Semantics for Weighted Transition Systems Session 3: Fernando Orejas, On the Speci?cation and Veri?cation of Model Tra- formations Olivier Danvy, Towards Compatible and Interderivable Semantic Spe- ?cations for the Scheme Programming Language Mark van den Brand, Type Checking Evolving Languages with MSOS Edward Hermann Haeusler, Action Algebras and Model Algebrasin - notational Semantics Closing: Peter Mosses ManythankstoMarinaLenisafromthe UniversityofUdine whocoordinated the local arrangements. We also thank the Amga spa and the Net spa of Udine, the Municipality of Udine, the International Centre for Mechanical Sciences of Udine, and the Fondazione Crup for their ?nancial support. The 17 invited chapters of this Festschrift represent the proceedings of the symposium. Somecontributorswereunabletoattendthe event.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general

• Celý názov: Semantics and Algebraic Specification
• Podnázov: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
• Autor: Jens Palsberg
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 409
• EAN: 9783642041631
• ISBN: 3642041639
• ID: 02710919
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 640 g
• Rozmery: 235 × 155 × 23 mm
• Dátum vydania: 26. August 2009

Obľúbené z iného súdka

---

---

---