Feedback

X
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

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

1 Ungluer has Faved this Work
Find on OpenLibrary Find on LibraryThing

This volume contains the papers presented at the 28th European Symposium on Programming (ESOP 2019) held April 8 –11, 2019, in Prague, Czech Republic. ESOP is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is devoted to fundamental issues in the speci cation, design, analysis, and implementation of programming languages and systems.

This book is included in DOAB.

Why read this book? Have your say.

You must be logged in to comment.

Rights Information

Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.

Downloads

This work has been downloaded 1197 times via unglue.it ebook links.
  1. 126 - pdf (CC BY) at OAPEN Library.
  2. 371 - mobi (CC BY) at Unglue.it.
  3. 244 - pdf (CC BY) at Unglue.it.
  4. 434 - epub (CC BY) at Unglue.it.

Keywords

  • Computer programming
  • Computer programming / software development
  • Computer science
  • Computer system failures
  • Computers
  • Computing & information technology
  • formal logic
  • Information technology: general issues
  • operational semantics
  • program compilers
  • Programming & scripting languages: general
  • Programming languages
  • Programming languages (Electronic computers)
  • Software engineering
  • software evaluation
  • Systems analysis & design
  • thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
  • thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
  • thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
  • thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
  • thema EDItEUR::U Computing and Information Technology::UY Computer science
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
  • Theory of Computation
  • type systems
  • Verification

Links

DOI: 10.1007/978-3-030-17184-1
web: https://link.springer.com/book/10.1007/978-3-030-17184-1

Editions

edition cover
Contributors: Luis Caires,
electronic.
4 ebooks
Publisher: Springer
Published: 2019
ISBN: 9783030171841
edition cover
Contributors: Luis Caires,
paper.
Publisher: Springer
Published: 2019
ISBN: 9783030171834
Download

Share

Copy/paste this into your site: