Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Programming languages and systems 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issu...

Descripción completa

Detalles Bibliográficos
Autores Corporativos: European Symposium on Programming (-), ETAPS (Conferencia)
Otros Autores: Müller, Peter, editor (editor)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer 2020.
Colección:Springer open access eBooks.
Lecture notes in computer science ; 12075.
Advanced research in computing and software science.
LNCS sublibrary: SL 1, Theoretical Computer Science and General Issues.
Acceso en línea:Conectar con la versión electrónica
Ver en Universidad de Navarra:https://innopac.unav.es/record=b46416742*spi
Tabla de Contenidos:
  • Trace-relating compiler correctness and secure compilation / Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hrițcu et al.
  • Runners in action / Daniel Ahman, Andrej Bauer
  • On the versatility of open logical relations / Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
  • Constructive game logic / Brandon Bohrer, André Platzer
  • Optimal and perfectly parallel algorithms for on-demand data-flow analysis / Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
  • Concise read-only specifications for better synthesis of programs with pointers / Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
  • Soundness conditions for big-step semantics / Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
  • Liberate abstract garbage collection from the stack by decomposing the heap / Kimball Germane, Michael D. Adams
  • SMT-friendly formalization of the solidity memory model / Ákos Hajdu, Dejan Jovanović
  • Exploring type-level bisimilarity towards more expressive multiparty session types / Sung-Shik Jongmans, Nobuko Yoshida
  • Verifying visibility-based weak consistency / Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanović
  • Local reasoning for global graph properties / Siddharth Krishna, Alexander J. Summers, Thomas Wies
  • Aneris : a mechanised logic for modular reasoning about distributed systems / Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
  • Continualization of probabilistic programs with corerction / Jacob Laurel, Sas Misailovic
  • Semantic foundations for deterministic dataflow and stream processing / Konstantinous Mamouras
  • Connecting higher-order separation logic to a first-order outside world / William Mansky, Wolf Honoré, Andrew W. Appel.
  • Modular inference of linear types for multiplicity-annotated arrows / Kazutaka Matsuda
  • RustHorn : CHC-based verification for rust programs / Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
  • A first-order logic with frames / Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
  • Proving the safety of highly-available distributed objects / Sreeja S. Nair, Gustavo Petri, Marc Shapiro
  • Solving program sketches with large integer values / Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni
  • Modular relaxed dependencies in weak memory concurrency / Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty
  • ARMv8-A system semantics : instruction fetch in relaxed architectures / Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget et al.
  • Higher-ranked annotation polymorphic dependency analysis / Fabian Thorand, Jurriaan Hage
  • ConSORT : context- and flow-sensitive ownership refinement types for imperative programs / John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
  • Mixed sessions / Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
  • Higher-order spreadsheets with spilled arrays / Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar.

Ejemplares similares