Atnaujinkite slapukų nuostatas

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays 1st ed. 2016 [Minkštas viršelis]

5.00/5 (1 ratings by Goodreads)
Edited by , Edited by , Edited by
  • Formatas: Paperback / softback, 345 pages, aukštis x plotis: 235x155 mm, weight: 5387 g, 96 Illustrations, color; X, 345 p. 96 illus. in color., 1 Paperback / softback
  • Serija: Lecture Notes in Computer Science 9560
  • Išleidimo metai: 25-Dec-2015
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3319278096
  • ISBN-13: 9783319278094
Kitos knygos pagal šią temą:
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays 1st ed. 2016Didesnis paveikslėlis
  • Formatas: Paperback / softback, 345 pages, aukštis x plotis: 235x155 mm, weight: 5387 g, 96 Illustrations, color; X, 345 p. 96 illus. in color., 1 Paperback / softback
  • Serija: Lecture Notes in Computer Science 9560
  • Išleidimo metai: 25-Dec-2015
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3319278096
  • ISBN-13: 9783319278094
Kitos knygos pagal šią temą:
Pastovi nuoroda: https://www.kriso.lt/db/9783319278094.html
Raktažodžiai:
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016.

"The collection at hand contains a fairly varied set of contributions, quite well anchored around the themes of the Nielsons" work. ... The overall quality is excellent. The variety of topics touched is quite broad ... ." (Jacques Carette, Computing Reviews, April, 2016)

Recenzijos

The collection at hand contains a fairly varied set of contributions, quite well anchored around the themes of the Nielsons work. The overall quality is excellent. The variety of topics touched is quite broad . (Jacques Carette, Computing Reviews, April, 2016)

Effect Systems Revisited---Control-Flow Algebra and Semantics
1(32)
Alan Mycroft
Dominic Orchard
Tomas Petricek
Last Mile's Resources
33(21)
Chiara Bodei
Pierpaolo Degano
Gian-Luigi Ferrari
Letterio Galletta
Formal Modelling and Analysis of Socio-Technical Systems
54(20)
Christian W. Probst
Florian Kammuller
Rene Rydhof Hansen
Static Timing Analysis -- What is Special?
74(14)
Jan Reineke
Reinhard Wilhelm
An Automata-Based Approach to Trace Partitioned Abstract Interpretation
88(23)
Mads Christian Olesen
Rene Rydhof Hansen
Kim Guldstrand Larsen
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression
111(29)
Alessandra Di Pierro
Herbert Wiklicky
Abstract Interpretation of PEPA Models
140(19)
Stephen Gilmore
Jane Hillston
Natalia Zon
Static Analysis of Parity Games: Alternating Reachability Under Parity
159(19)
Michael Huth
Jim Huan-Pu Kuo
Nir Piterman
Game Theory and Industrial Control Systems
178(13)
Chris Hankin
Playing with Abstraction and Representation
191(23)
Bernhard Steffen
Malte Isberner
Marc Jasper
Schedulers are no Prophets
214(22)
Arnd Hartmanns
Holger Hermanns
Jan Krcal
Replicating Data for Better Performances in X10
236(16)
Marina Andric
Rocco De Nicola
Alberto Lluch Lafuente
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically
252(20)
David A. Schmidt
Enhancing Top-Down Solving with Widening and Narrowing
272(17)
Kalmer Apinis
Helmut Seidl
Vesal Vojdani
Modal Intersection Types, Two-Level Languages, and Staged Synthesis
289(24)
Fritz Henglein
Jakob Rehof
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics
313(32)
Luca Aceto
Alvaro Garcia-Perez
Anna Ingolfsdottir
Author Index 345