default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFestschrift for Dave Schmidt 2013: Manhattan, KS, USA
- Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff:
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. EPTCS 129, 2013 - Neil D. Jones:
A Swiss Pocket Knife for Computability. 1-17 - Colin Stirling:
A Proof System with Names for Modal Mu-calculus. 18-29 - Torben Æ. Mogensen:
A Comparison of Well-Quasi Orders on Trees. 30-40 - Isabella Mastroeni
:
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. 41-65 - Philip S. Mulry:
Notions of Monad Strength. 67-83 - Mads Rosendahl:
Abstract Interpretation as a Programming Language. 84-104 - Jeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh:
Formal Contexts, Formal Concept Analysis, and Galois Connections. 105-120 - John Launchbury, Sava Krstic, T. E. Sauerwein:
Coroutining Folds with Hyperfunctions. 121-135 - Peter Sestoft:
Online partial evaluation of sheet-defined functions. 136-160 - Bor-Yuh Evan Chang, Xavier Rival:
Modular Construction of Shape-Numeric Analyzers. 161-185 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Constraint Logic Program Transformation. 186-210 - Dimitra Giannakopoulou, Corina S. Pasareanu:
Abstraction and Learning for Infinite-State Compositional Verification. 211-228 - Julien Mercadal, Zoé Drey, Charles Consel:
Denotational Semantics of A User-Oriented, Domain-Specific Language. 229-249 - Robert Glück:
Simulation of Two-Way Pushdown Automata Revisited. 250-258 - Johannes Neubauer, Bernhard Steffen, Tiziana Margaria:
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. 259-283 - Anindya Banerjee, David A. Naumann:
A Simple Semantics and Static Analysis for Stack Inspection. 284-308 - Carolyn L. Talcott:
The Immune System: the ultimate fractionated cyber-physical system. 309-324 - Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
A Survey on Product Operators in Abstract Interpretation. 325-336 - Chris Hankin:
A short note on Simulation and Abstraction. 337-340 - Francesco Logozzo, Matthieu Martel:
Automatic Repair of Overflowing Expressions with Abstract Interpretation. 341-357 - Martin Bodin, Thomas P. Jensen, Alan Schmitt:
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). 360-383 - Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich:
Iterable Forward Reachability Analysis of Monitor-DPNs. 384-403 - Kedar S. Namjoshi:
Model Checking in Bits and Pieces. 404-416 - Jooyong Yi:
A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs. 419-428
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-04 20:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
