Search

Your search keyword '"bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general"' showing total 3 results
Start Over Descriptor "bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general" Topic computer networking & communications
3 results on '"bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general"'

1. Programming Languages and Systems

Author

Yoshida, Nobuko

Subjects
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
Abstract

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.

Published
2021
Full Text
View/download PDF

2. Programming Languages and Systems

Author

Müller, Peter

Subjects
Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Information Systems and Communication Service, Natural Language Processing (NLP), Theory of Computation, artificial intelligence, computer networks, computer programming, computer security, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, object-oriented programming, parallel processing systems, program compilers, semantics, software architecture, software design, software engineering, software quality, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Computer networking & communications, Algorithms & data structures, Natural language & machine translation, Computer science, Mathematical theory of computation, 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::UT Computer networking & communications, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation, bic Book Industry Communication::U Computing & information technology::UY Computer science
Abstract

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.

Published
2020
Full Text
View/download PDF

3. Foundations of Software Science and Computation Structures

Author

Goubault-Larrecq, Jean and König, Barbara

Subjects
Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBC Mathematical foundations, bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBD Discrete mathematics, 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::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
Abstract

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results