Editors:
Contains refereed papers dedicated to Frank de Boer and to his work
Collects a number of papers by Frank's collaborators over the years presenting
a broad range of topics reflecting Frank's versatility
Addresses a large diversity of topics from formal methods and theoretical computer science, such as logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service level agreements
Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9660)
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 (27 chapters)
-
Front Matter
-
Personal Notes
-
Front Matter
-
-
Scientific Contributions
-
Front Matter
-
About this book
This Festschrift volume has been published in honor of
Frank de Boer, on the occasion of his 60th birthday.
Frank S. de Boer is a prominent member of the research community in formal
methods and theoretical computer science. A brief look at his lengthy
publication list reveals a broad area of interest and a versatile modus
operandi with: logic and constraint programming; deductive proof systems,
soundness, and completeness; semantics, compositionality, and full abstraction;
process algebra and decidability; multithreading and actor-based concurrency;
agent programming, ontologies, and modal logic; real-time systems, timed
automata, and schedulability; enterprise architectures, choreography, and
coordination; testing and runtime monitoring; and cloud computing and service-level
agreements. For a while, he also liked failures, especially in semantics, and
optimistically concluded with the failure of failures. In fact, Frank has an
opportunistic approach to research. Rather than seeing obstacles, he finds
opportunities.
Keywords
- abstract interpretation
- algorithms
- axiomatic semantics
- program transformation and verification
- runtime verification
- actor model
- array abstraction
- automated verification
- completeness for total correctness
- dynamic typing
- loop invariant generation
- microservices
- multiple notions of correctness
- pure object-orientation
- quicksort
- reduction technique
- relative completeness
- service-oriented architecture
- soundness
- tagged hoare logic
Editors and Affiliations
-
Informatik 2, RWTH Aachen University Informatik 2, Aachen, Germany
Erika Ábrahám
-
Leiden University , Leiden, The Netherlands
Marcello Bonsangue
-
University of Oslo , Oslo, Norway
Einar Broch Johnsen
Bibliographic Information
Book Title: Theory and Practice of Formal Methods
Book Subtitle: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Editors: Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-30734-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-30733-6Published: 13 March 2016
eBook ISBN: 978-3-319-30734-3Published: 12 March 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 427
Number of Illustrations: 112 illustrations in colour
Topics: Logics and Meanings of Programs, Software Engineering, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Artificial Intelligence