MARC details
000 -LEADER |
fixed length control field |
03783naaaa2200757uu 4500 |
001 - CONTROL NUMBER |
control field |
https://directory.doabooks.org/handle/20.500.12854/67983 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
978-3-030-72019-3 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783030720193 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/978-3-030-72019-3 |
Terms of availability |
doi |
041 0# - LANGUAGE CODE |
Language code of text/sound track or separate title |
English |
042 ## - AUTHENTICATION CODE |
Authentication code |
dc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UMX |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UYQ |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UMZ |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UM |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UT |
Source |
bicssc |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Yoshida, Nobuko |
Relator code |
edt |
9 (RLIN) |
1283459 |
245 10 - TITLE STATEMENT |
Title |
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 |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Name of publisher, distributor, etc |
Springer Nature |
Date of publication, distribution, etc |
2021 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 electronic resource (693 p.) |
506 0# - RESTRICTIONS ON ACCESS NOTE |
Terms governing access |
Open Access |
Source of term |
star |
Standardized terminology for access restriction |
Unrestricted online access |
520 ## - SUMMARY, ETC. |
Summary, etc |
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 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE |
Terms governing use and reproduction |
Creative Commons |
-- |
https://creativecommons.org/licenses/by/4.0/ |
-- |
cc |
-- |
https://creativecommons.org/licenses/by/4.0/ |
546 ## - LANGUAGE NOTE |
Language note |
English |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Programming & scripting languages: general |
Source of heading or term |
bicssc |
9 (RLIN) |
854920 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Artificial intelligence |
Source of heading or term |
bicssc |
9 (RLIN) |
2458 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Software Engineering |
Source of heading or term |
bicssc |
9 (RLIN) |
68523 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer programming / software development |
Source of heading or term |
bicssc |
9 (RLIN) |
921274 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer networking & communications |
Source of heading or term |
bicssc |
9 (RLIN) |
1008012 |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Programming Languages, Compilers, Interpreters |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Natural Language Processing (NLP) |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Software Engineering |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Logics and Meanings of Programs |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer Systems Organization and Communication Networks |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Compilers and Interpreters |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer Science Logic and Foundations of Programming |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer Engineering and Networks |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
computer programming |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
concurrency theory |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
distributed computer systems |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
formal logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
lamdba calculi |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
linguistics |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
logic |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
object-oriented programming |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
parallel processing systems |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
probabilistic programming |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
process calculi |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
program compilers |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
semantics |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
software design |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
software quality |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
theory |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
types |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
verification and validation |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Programming & scripting languages: general |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Compilers & interpreters |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Natural language & machine translation |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer programming / software engineering |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer architecture & logic design |
653 ## - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Computer networking & communications |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Yoshida, Nobuko |
Relator code |
oth |
9 (RLIN) |
1283459 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Host name |
www.oapen.org |
Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/20.500.12657/48221/1/9783030720193.pdf">https://library.oapen.org/bitstream/20.500.12657/48221/1/9783030720193.pdf</a> |
-- |
0 |
Public note |
DOAB: download the publication |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Host name |
www.oapen.org |
Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/20.500.12657/48221/1/9783030720193.pdf">https://library.oapen.org/bitstream/20.500.12657/48221/1/9783030720193.pdf</a> |
-- |
0 |
Public note |
DOAB: download the publication |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Host name |
www.oapen.org |
Uniform Resource Identifier |
<a href="https://directory.doabooks.org/handle/20.500.12854/67983">https://directory.doabooks.org/handle/20.500.12854/67983</a> |
-- |
0 |
Public note |
DOAB: description of the publication |