Editors:
- Contains refereed papers dedicated to Hanne Riis Nielson and Flemming Nielson and to their work
- Features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life
- Covers a large variety of topics including calculi with functional, imperative, object-oriented, concurrent, distributed, and mobile features; semantics, and logics
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9560)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (16 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Keywords
- Formal modeling
- Game theory
- Probabilistic abstract interpretation
- Structural operational semantics
- Trace semantics
- Calculi
- Industrial control systems
- Labeled transition systems
- Linear regression
- Logics
- Modal intersection types
- Representation
- Scheduling
- Semantics
- Socio-technical systems
- Staged synthesis
- Static program analysis
- Static timing analysis
- Top-down solving
- Two-level languages
Reviews
“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)
Editors and Affiliations
-
Technical University of Denmark, Kongens Lyngby, Denmark
Christian W. Probst
-
Imperial College London, London, United Kingdom
Chris Hankin
-
Aalborg University, Aalborg, Denmark
René Rydhof Hansen
Bibliographic Information
Book Title: Semantics, Logics, and Calculi
Book Subtitle: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Editors: Christian W. Probst, Chris Hankin, René Rydhof Hansen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-27810-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-27809-4Published: 25 December 2015
eBook ISBN: 978-3-319-27810-0Published: 07 January 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 345
Number of Illustrations: 96 illustrations in colour
Topics: Logics and Meanings of Programs, Software Engineering, Information Systems Applications (incl. Internet), Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters