Programming Languages and Systems

Přispěvatelé: Yoshida, Nobuko
Jazyk: angličtina
Rok vydání: 2021
Předmět:
Programming Languages
Compilers
Interpreters
Natural Language Processing (NLP)
Software Engineering
Logics and Meanings of Programs
Computer Systems Organization and Communication Networks
Compilers and Interpreters
Computer Science Logic and Foundations of Programming
Computer Engineering and Networks
computer programming
concurrency theory
distributed computer systems
formal logic
lamdba calculi
linguistics
logic
object-oriented programming
parallel processing systems
probabilistic programming
process calculi
program compilers
semantics
software design
software quality
theory
types
verification and validation
Programming & scripting languages: general
Compilers & interpreters
Natural language & machine translation
Computer programming / software engineering
Computer architecture & logic design
Computer networking & communications
bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general
bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering
bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
Druh dokumentu: book
DOI: 10.1007/978-3-030-72019-3
Popis: 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.
Databáze: OAPEN Library
Externí odkaz: