Festschrift for Dave Schmidt

Keyphrases

Publications

2013

Robert Glück
Simulation of Two-Way Pushdown Automata Revisited. Festschrift for Dave Schmidt (2013)
Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich
Iterable Forward Reachability Analysis of Monitor-DPNs. Festschrift for Dave Schmidt (2013)
Colin Stirling
A Proof System with Names for Modal Mu-calculus. Festschrift for Dave Schmidt (2013)
Francesco Logozzo, Matthieu Martel
Automatic Repair of Overflowing Expressions with Abstract Interpretation. Festschrift for Dave Schmidt (2013)
Dimitra Giannakopoulou, Corina S. Pasareanu
Abstraction and Learning for Infinite-State Compositional Verification. Festschrift for Dave Schmidt (2013)
Peter Sestoft
Online partial evaluation of sheet-defined functions. Festschrift for Dave Schmidt (2013)
John Launchbury, Sava Krstic, T. E. Sauerwein
Coroutining Folds with Hyperfunctions. Festschrift for Dave Schmidt (2013)
Jeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh
Formal Contexts, Formal Concept Analysis, and Galois Connections. Festschrift for Dave Schmidt (2013)
Torben Æ. Mogensen
A Comparison of Well-Quasi Orders on Trees. Festschrift for Dave Schmidt (2013)
Jooyong Yi
A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs. Festschrift for Dave Schmidt (2013)
Kedar S. Namjoshi
Model Checking in Bits and Pieces. Festschrift for Dave Schmidt (2013)
Isabella Mastroeni
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. Festschrift for Dave Schmidt (2013)
Julien Mercadal, Zoé Drey, Charles Consel
Denotational Semantics of A User-Oriented, Domain-Specific Language. Festschrift for Dave Schmidt (2013)
Johannes Neubauer, Bernhard Steffen, Tiziana Margaria
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. Festschrift for Dave Schmidt (2013)
Bor-Yuh Evan Chang, Xavier Rival
Modular Construction of Shape-Numeric Analyzers. Festschrift for Dave Schmidt (2013)
Carolyn L. Talcott
The Immune System: the ultimate fractionated cyber-physical system. Festschrift for Dave Schmidt (2013)
Martin Bodin, Thomas P. Jensen, Alan Schmitt
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). Festschrift for Dave Schmidt (2013)
Philip S. Mulry
Notions of Monad Strength. Festschrift for Dave Schmidt (2013)
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
A Survey on Product Operators in Abstract Interpretation. Festschrift for Dave Schmidt (2013)
Neil D. Jones
A Swiss Pocket Knife for Computability. Festschrift for Dave Schmidt (2013)
Mads Rosendahl
Abstract Interpretation as a Programming Language. Festschrift for Dave Schmidt (2013)
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Imperative Programs by Constraint Logic Program Transformation. Festschrift for Dave Schmidt (2013)
Anindya Banerjee, David A. Naumann
A Simple Semantics and Static Analysis for Stack Inspection. Festschrift for Dave Schmidt (2013)
Chris Hankin
A short note on Simulation and Abstraction. Festschrift for Dave Schmidt (2013)

volume 129, 2013

Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013. Festschrift for Dave Schmidt 129 (2013)