Skip to content
You are not logged in |Login  
Limit search to available items
Book Cover
Conference European Symposium on Programming (28th : 2019 : Prague, Czech Republic)

Title Programming languages and systems : 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / Luís Caires (eds.).

Publication Info. Cham, Switzerland : Springer Open, 2019.


Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK Springer    Downloadable
Please click here to access this Springer resource
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
Add a Review