default search action

combined dblp search
author search
venue search
publication search

ask others

Festschrift for Dave Schmidt 2013: Manhattan, KS, USA

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BanerjeeDDH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BanerjeeDDH13
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Jones13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Jones13
Neil D. Jones:
A Swiss Pocket Knife for Computability. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Stirling13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Stirling13
Colin Stirling:
A Proof System with Names for Modal Mu-calculus. 18-29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Mogensen13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Mogensen13
Torben Æ. Mogensen:
A Comparison of Well-Quasi Orders on Trees. 30-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Mastroeni13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Mastroeni13
Isabella Mastroeni:
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. 41-65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Mulry13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Mulry13
Philip S. Mulry:
Notions of Monad Strength. 67-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Rosendahl13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Rosendahl13
Mads Rosendahl:
Abstract Interpretation as a Programming Language. 84-104
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DennistonMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DennistonMR13
Jeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh:
Formal Contexts, Formal Concept Analysis, and Galois Connections. 105-120
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LaunchburyKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LaunchburyKS13
John Launchbury, Sava Krstic, T. E. Sauerwein:
Coroutining Folds with Hyperfunctions. 121-135
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Sestoft13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Sestoft13
Peter Sestoft:
Online partial evaluation of sheet-defined functions. 136-160
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChangR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChangR13
Bor-Yuh Evan Chang, Xavier Rival:
Modular Construction of Shape-Numeric Analyzers. 161-185
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AngelisFPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AngelisFPP13
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Constraint Logic Program Transformation. 186-210
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GiannakopoulouP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GiannakopoulouP13
Dimitra Giannakopoulou, Corina S. Pasareanu:
Abstraction and Learning for Infinite-State Compositional Verification. 211-228
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MercadalDC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MercadalDC13
Julien Mercadal, Zoé Drey, Charles Consel:
Denotational Semantics of A User-Oriented, Domain-Specific Language. 229-249
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Gluck13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Gluck13
Robert Glück:
Simulation of Two-Way Pushdown Automata Revisited. 250-258
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NeubauerSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NeubauerSM13
Johannes Neubauer, Bernhard Steffen, Tiziana Margaria:
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. 259-283
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BanerjeeN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BanerjeeN13
Anindya Banerjee, David A. Naumann:
A Simple Semantics and Static Analysis for Stack Inspection. 284-308
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Talcott13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Talcott13
Carolyn L. Talcott:
The Immune System: the ultimate fractionated cyber-physical system. 309-324
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CortesiCF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CortesiCF13
Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
A Survey on Product Operators in Abstract Interpretation. 325-336
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Hankin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Hankin13
Chris Hankin:
A short note on Simulation and Abstraction. 337-340
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LogozzoM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LogozzoM13
Francesco Logozzo, Matthieu Martel:
Automatic Repair of Overflowing Expressions with Abstract Interpretation. 341-357
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BodinJS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BodinJS13
Martin Bodin, Thomas P. Jensen, Alan Schmitt:
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). 360-383
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NordhoffML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NordhoffML13
Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich:
Iterable Forward Reachability Analysis of Monitor-DPNs. 384-403
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Namjoshi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Namjoshi13
Kedar S. Namjoshi:
Model Checking in Bits and Pieces. 404-416
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Yi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Yi13
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.