Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxemb...

Full description

Saved in:
Bibliographic Details
Other Authors: Yoshida, Nobuko (Editor)
Format: Electronic Book Chapter
Language:English
Published: Springer Nature 2021
Series:Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12648
Subjects:
Online Access:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000naaaa2200000uu 4500
001 oapen_2024_20_500_12657_48221
005 20210420
003 oapen
006 m o d
007 cr|mn|---annan
008 20210420s2021 xx |||||o ||| 0|eng d
020 |a 978-3-030-72019-3 
020 |a 9783030720193 
040 |a oapen  |c oapen 
024 7 |a 10.1007/978-3-030-72019-3  |c doi 
041 0 |a eng 
042 |a dc 
072 7 |a UMX  |2 bicssc 
072 7 |a UYQ  |2 bicssc 
072 7 |a UMZ  |2 bicssc 
072 7 |a UM  |2 bicssc 
072 7 |a UT  |2 bicssc 
100 1 |a Yoshida, Nobuko  |4 edt 
700 1 |a Yoshida, Nobuko  |4 oth 
245 1 0 |a Programming Languages and Systems  |b 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings 
260 |b Springer Nature  |c 2021 
300 |a 1 electronic resource (693 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science; Theoretical Computer Science and General Issues  |v 12648 
506 0 |a Open Access  |2 star  |f Unrestricted online access 
520 |a This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. 
540 |a Creative Commons  |f https://creativecommons.org/licenses/by/4.0/  |2 cc  |4 https://creativecommons.org/licenses/by/4.0/ 
546 |a English 
650 7 |a Programming & scripting languages: general  |2 bicssc 
650 7 |a Artificial intelligence  |2 bicssc 
650 7 |a Software Engineering  |2 bicssc 
650 7 |a Computer programming / software development  |2 bicssc 
650 7 |a Computer networking & communications  |2 bicssc 
653 |a Programming Languages, Compilers, Interpreters 
653 |a Natural Language Processing (NLP) 
653 |a Software Engineering 
653 |a Logics and Meanings of Programs 
653 |a Computer Systems Organization and Communication Networks 
653 |a Compilers and Interpreters 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Computer Engineering and Networks 
653 |a computer programming 
653 |a concurrency theory 
653 |a distributed computer systems 
653 |a formal logic 
653 |a lamdba calculi 
653 |a linguistics 
653 |a logic 
653 |a object-oriented programming 
653 |a parallel processing systems 
653 |a probabilistic programming 
653 |a process calculi 
653 |a program compilers 
653 |a semantics 
653 |a software design 
653 |a software quality 
653 |a theory 
653 |a types 
653 |a verification and validation 
653 |a Programming & scripting languages: general 
653 |a Compilers & interpreters 
653 |a Natural language & machine translation 
653 |a Computer programming / software engineering 
653 |a Computer architecture & logic design 
653 |a Computer networking & communications 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/id/168a542d-ba97-446e-aeb9-6eed32e71d9e/9783030720193.pdf  |7 0  |z OAPEN Library: download the publication 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/handle/20.500.12657/48221  |7 0  |z OAPEN Library: description of the publication