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 (Record no. 51493)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03459naaaa2200757uu 4500 |
| 001 - CONTROL NUMBER | |
| control field | https://directory.doabooks.org/handle/20.500.12854/28495 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220219233939.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978-3-030-44914-8 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-030-44914-8 |
| 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 | UT |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMB |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQL |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UY |
| Source | bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Müller, Peter |
| Relationship | edt |
| 245 10 - TITLE STATEMENT | |
| Title | 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 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cham |
| Name of publisher, distributor, etc. | Springer Nature |
| Date of publication, distribution, etc. | 2020 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 electronic resource (772 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 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers 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 |
| Use and reproduction rights | by/4.0/ |
| Source of term | cc |
| -- | http://creativecommons.org/licenses/by/4.0/ |
| 546 ## - LANGUAGE NOTE | |
| Language note | English |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Programming & scripting languages: general |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer networking & communications |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Algorithms & data structures |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Natural language & machine translation |
| Source of heading or term | bicssc |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science |
| Source of heading or term | bicssc |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Programming Languages, Compilers, Interpreters |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Systems Organization and Communication Networks |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Control Structures and Microprogramming |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Information Systems and Communication Service |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Natural Language Processing (NLP) |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Theory of Computation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | artificial intelligence |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | computer networks |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | computer programming |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | computer security |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | distributed computer systems |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | embedded systems |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal languages |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | linguistics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | mathematics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | model checking |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | object-oriented programming |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | parallel processing systems |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | program compilers |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | semantics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software architecture |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software design |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software engineering |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software quality |
| 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 | Computer networking & communications |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Algorithms & data structures |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Natural language & machine translation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer science |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Mathematical theory of computation |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Müller, Peter |
| Relationship | oth |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf">https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf</a> |
| Access status | 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/28495">https://directory.doabooks.org/handle/20.500.12854/28495</a> |
| Access status | 0 |
| Public note | DOAB: description of the publication |
No items available.