×

Semantics, abstract interpretation, and reasoning about programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, September 19–20, 2013. (English) Zbl 1415.68014

Electronic Proceedings in Theoretical Computer Science (EPTCS) 129. Waterloo: Open Publishing Association (OPA). 428 p., electronic only, open access (2013).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually.
Indexed articles:
Jones, Neil D., A Swiss pocket knife for computability, 1-17 [Zbl 1464.68081]
Stirling, Colin, A proof system with names for modal \(\mu\)-calculus, 18-29 [Zbl 1464.03035]
Mogensen, Torben Æ., A comparison of well-quasi orders on trees, 30-40 [Zbl 1464.68085]
Mastroeni, Isabella, Abstract interpretation-based approaches to security – a survey on abstract non-interference and its challenging applications, 41-65 [Zbl 1464.68084]
Mulry, Philip, Notions of monad strength, 67-83 [Zbl 1464.68086]
Rosendahl, Mads, Abstract interpretation as a programming language, 84-104 [Zbl 1464.68048]
Denniston, Jeffrey T.; Melton, Austin; Rodabaugh, Stephen E., Formal contexts, formal concept analysis, and Galois connections, 105-120 [Zbl 1464.68383]
Launchbury, J.; Krstic, S.; Sauerwein, T. E., Coroutining folds with hyperfunctions, 121-135 [Zbl 1464.68082]
Chang, Bor-Yuh Evan; Rival, Xavier, Modular construction of shape-numeric analyzers, 161-185 [Zbl 1464.68072]
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio, Verification of imperative programs by constraint logic program transformation, 186-210 [Zbl 1464.68074]
Giannakopoulou, Dimitra; Păsăreanu, Corina S., Abstraction and learning for infinite-state compositional verification, 211-228 [Zbl 1464.68202]
Mercadal, Julien; Drey, Zoé; Consel, Charles, Denotational semantics of a user-oriented, domain-specific language, 229-249 [Zbl 1464.68046]
Glück, Robert, Simulation of two-way pushdown automata revisited, 250-258 [Zbl 1464.68167]
Banerjee, Anindya; Naumann, David A., A simple semantics and static analysis for stack inspection, 284-308 [Zbl 1464.68069]
Cortesi, Agostino; Costantini, Giulia; Ferrara, Pietro, A survey on product operators in abstract interpretation, 325-336 [Zbl 1464.68073]
Hankin, Chris, A short note on simulation and abstraction, 337-340 [Zbl 1464.68080]
Logozzo, Francesco; Martel, Matthieu, Automatic repair of overflowing expressions with abstract interpretation, 341-357 [Zbl 1464.68083]
Bodin, Martin; Jensen, Thomas; Schmitt, Alan, Pretty-big-step-semantics-based certified abstract interpretation (preliminary version), 360-383 [Zbl 1464.68071]
Nordhoff, Benedikt; Müller-Olm, Markus; Lammich, Peter, Iterable forward reachability analysis of monitor-DPNs, 384-403 [Zbl 1464.68088]
Namjoshi, Kedar S., Model checking in bits and pieces, 404-416 [Zbl 1464.68211]
Yi, Jooyong, A case for dynamic reverse-code generation to debug non-deterministic programs, 419-428 [Zbl 1464.68090]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Q55 Semantics in the theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
00B30 Festschriften

Biographic References:

Schmidt, David A.
PDFBibTeX XMLCite
Full Text: DOI arXiv Link