Description |
1 online resource (xv, 816 pages) : illustrations (some color). |
Series |
Lecture notes in computer science ; 11423 |
|
Advanced research in computing and software science |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 11423.
|
|
Lecture notes in computer science. Advanced research in computing and software science.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Access |
Open access. GW5XE |
Bibliography |
Includes bibliographical references and author index. |
Note |
Online resource; title from PDF title page (SpringerLink, viewed April 10, 2019). |
Contents |
[I]. Program verification: 1. Time credits and time receipts in Iris / Glen Mével, Jacques-Henri Jourdan, and François Pottier -- 2. Meta-F* : proof automation with SMT, tactics, and metaprograms / Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, and Nikhil Swamy -- 3. Semi-automated reasoning about non-determinism in C expressions / Dan Frumin, Léon Gondelman, and Robbert Krebbers -- 4. Safe deferred memory reclamation with types / Ismail Kuru and Colin S. Gordon. |
|
[II]. Language design: 5. Codata in action / Paul Downen, Zachary Sullivan, Zena M. Ariola, and Simon Peyton Jones -- 6. Composing bidirectional programs monadically / Li-yao Xia, Dominic Orchard, and Meng Wang -- 7. Counters in Kappa : semantics, simulation, and static analysis / Pierre Boutillier, Ioana Cristescu, and Jérôme Feret -- 8. One step at a time : a functional derivation of small-step evaluators from big-step counterparts / Ferdinand Vesely and Kathleen Fisher. |
|
[III]. Program semantics: 9. Extended call-by-push-value : reasoning about effectful programs and evaluation order / Dylan McDermott and Alan Mycroft -- 10. Effectful normal form bisimulation / Ugo Dal Lago and Francesco Gavazzo -- 11. On the multi-language construction / Samuele Buro and Isabella Mastroeni -- 12. Probabilistic programming inference via intensional semantics / Simon Castellan and Hugo Paquet. |
|
[IV]. Types: 13. Handling polymorphic algebraic effects / Taro Sekiyama and Atsushi Igarashi -- 14. Distributive disjoint polymorphism for compositional programming / Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, and Tom Schrijvers -- 15. Types by need / Beniamino Accattoli, Giulio Guerrieri, and Maico Leberle -- 16. Verifiable certificates for predicate subtyping / Frederic Gilbert. |
|
[VII]. Program analysis and automated verification: 25. Data races and static analysis for interrupt-driven kernels / Nikita Chopra, Rekha Pai, and Deepak DSouza -- 26. An abstract domain for trees with numeric relations / Matthieu Journault, Antoine Miné, and Abdelraouf Ouadjaout -- 27. A static higher-order dependency pair framework / Carsten Fuhs and Cynthia Kop -- 28. Coinduction in uniform : foundations for corecursive proof search with horn clauses / Henning Basold, Ekaterina Komendantskaya, and Yue Li. |
Summary |
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. -- Provided by publisher. |
Local Note |
SpringerLink Springer Nature Open Access eBooks |
Subject |
Computer programming -- Congresses.
|
|
Programming languages (Electronic computers) -- Congresses.
|
|
Computer programming. (OCoLC)fst00872390
|
|
Programming languages (Electronic computers) (OCoLC)fst01078704
|
Genre/Form |
Conference papers and proceedings. (OCoLC)fst01423772
|
Added Author |
Caires, Luís., editor.
|
|
ETAPS (Conference) (22nd : 2019 : Prague, Czech Republic)
|
Added Title |
ESOP 2019 |
ISBN |
9783030171841 (electronic book) |
|
3030171841 (electronic book) |
|
9783030171834 (print) |
Standard No. |
10.1007/978-3-030-17184-1 doi |
|