zbMATH — the first resource for mathematics

Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. (English) Zbl 1333.68020
Lecture Notes in Computer Science 9032. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). xiv, 838 p. (2015).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding symposium see [Zbl 1284.68032].
Indexed articles:
Toronto, Neil; McCarthy, Jay; Van Horn, David, Running probabilistic programs backwards, 53-79 [Zbl 1335.68029]
Eberl, Manuel; Hölzl, Johannes; Nipkow, Tobias, A verified compiler for probability density functions, 80-104 [Zbl 1335.68037]
Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob, Segment abstraction for worst-case execution time analysis, 105-131 [Zbl 1335.68049]
Hoffmann, Jan; Shao, Zhong, Automatic static cost analysis for parallel programs, 132-157 [Zbl 1335.68056]
Penninckx, Willem; Jacobs, Bart; Piessens, Frank, Sound, modular and compositional verification of the input/output behavior of programs, 158-182 [Zbl 1335.68063]
David, Cristina; Kroening, Daniel; Lewis, Matt, Unrestricted termination and non-termination arguments for bit-vector programs, 183-204 [Zbl 1335.68050]
Neron, Pierre; Tolmach, Andrew; Visser, Eelco; Wachsmuth, Guido, A theory of name resolution, 205-231 [Zbl 1335.68062]
Castagna, Giuseppe; Im, Hyeonseung; Nguyen, Kim; Benzaken, Véronique, A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches, 232-256 [Zbl 1335.68026]
Sergey, Ilya; Nanevski, Aleksandar; Banerjee, Anindya, Specifying and verifying concurrent algorithms with histories and subjectivity, 333-358 [Zbl 1335.68067]
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy, Witnessing (co)datatypes, 359-382 [Zbl 1335.68224]
Çiçek, Ezgi; Garg, Deepak; Acar, Umut, Refinement types for incremental computational complexity, 406-431 [Zbl 1335.68030]
Siek, Jeremy G.; Vitousek, Michael M.; Cimini, Matteo; Tobin-Hochstadt, Sam; Garcia, Ronald, Monotonic references for efficient gradual typing, 432-456 [Zbl 1335.68069]
Schulze Frielinghaus, Stefan; Petter, Michael; Seidl, Helmut, Inter-procedural two-variable Herbrand equalities, 457-482 [Zbl 1335.68066]
Calzavara, Stefano; Bugliesi, Michele; Crafa, Silvia; Steffinlongo, Enrico, Fine-grained detection of privilege escalation attacks on browser extensions, 510-534 [Zbl 1335.68047]
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando, Analysis of asynchronous programs with event-based synchronization, 535-559 [Zbl 1335.68053]
Lindley, Sam; Morris, J. Garrett, A semantics for propositions as sessions, 560-584 [Zbl 1335.68060]
Gotsman, Alexey; Yang, Hongseok, Composite replicated data types, 585-609 [Zbl 1335.68054]
Terauchi, Tachio; Unno, Hiroshi, Relaxed stratification: a new approach to practical complete predicate refinement, 610-633 [Zbl 1335.68072]
Albargouthi, Aws; Berdine, Josh; Cook, Byron; Kincaid, Zachary, Spatial interpolants, 634-660 [Zbl 1335.68040]
David, Cristina; Kroening, Daniel; Lewis, Matt, Propositional reasoning about safety and termination of heap-manipulating programs, 661-684 [Zbl 1335.68051]
Scherer, Gabriel; Rémy, Didier, Full reduction in the face of absurdity, 685-709 [Zbl 1335.68065]
Raad, Azalea; Villard, Jules; Gardner, Philippa, ColoSL: concurrent local subjective logic, 710-735 [Zbl 1335.68064]
Sieczkowski, Filip; Svendsen, Kasper; Birkedal, Lars; Pichon-Pharabod, Jean, A separation logic for fictional sequential consistency, 736-761 [Zbl 1335.68068]
Ricciotti, Wilmer, Binding structures as an abstract data type, 762-786 [Zbl 1335.68153]
Vasconcelos, Pedro; Jost, Steffen; Florido, Mário; Hammond, Kevin, Type-based allocation analysis for co-recursion in lazy functional languages, 787-811 [Zbl 1335.68035]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI