Search

Your search keyword '"program compilers"' showing total 10 results
Start Over Descriptor "program compilers" Publisher springer nature
10 results on '"program compilers"'

1. Programming Languages and Systems

Author

Sergey, Ilya

Subjects
automata theory, computer programming, computer systems, databases, distributed computer systems, distributed systems, embedded systems, formal languages, formal logic, linguistics, ontologies, parallel processing systems, program compilers, programming languages, semantics, software design, software engineering, software quality, verification, 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, 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::UK Computer hardware::UKN Network hardware, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
Abstract

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Published
2022
Full Text
View/download PDF

2. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017.

Author

Legay, Axel and Margaria, Tiziana

Subjects
*ALGORITHMS, *PROGRAMMING languages, *SOFTWARE development tools, *TECHNOLOGY transfer, *SOFTWARE engineering, *COMPUTER systems
Abstract

This special issue of Software Tools for Technology Transfer presents extended versions of two selected papers from the 23rd edition of TACAS, the International Conference on Tools and Algorithms for the Construction and Analysis of Systems that took place in April 2017 in Uppsala. The papers included in this special issue concern various aspects of automated design and formal verification; they therefore contribute to the development of more reliable computer systems. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

3. Foundations of Consistency Types for a Higher-Order Distributed Language

Abstract

Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to trade consistency for performance. For certain data, consistency guarantees may be weakened if application correctness is unaffected. In contrast, data flow from data with weak consistency to data with strong consistency requirements is problematic, since application correctness may be broken. In this paper, we propose LCD, a higher-order static consistency-typed language with replicated data types. The type system of LCD statically enforces noninterference between data types with weak consistency and data types with strong consistency. This means that updates of weakly-consistent data can never affect strongly-consistent data. Finally, our main theorem guarantees sequential consistency for so-called con operations in our language., Part of ISBN 9783030727888QC 20220316

Published
2021
Full Text
View/download PDF

4. Fundamental Approaches to Software Engineering

Author

Guerra, Esther and Stoelinga, Mariëlle

Subjects
Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, 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::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UY Computer science
Abstract

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.

Published
2021
Full Text
View/download PDF

5. 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

6. 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

7. Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk and Huisman, Marieke

Subjects
computer architecture, computer software selection and evaluation, formal logic, formal methods, model checker, model checking, multi core processors, program compilers, programming languages, semantics, software engineering, specifications, state space, verification, thema EDItEUR::U Computing and Information Technology::UY Computer science
Abstract

computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification

Published
2018
Full Text
View/download PDF

8. Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Bauer, Lujo and Küsters, Ralf

Subjects
authentication, computer science, computer software selection and evaluation, cryptography, data privacy, formal logic, formal methods, formal specification, internet, privacy, program compilers, programming languages, security analysis, security systems, semantics, separation logic, software engineering, specifications, verification, world wide web, thema EDItEUR::U Computing and Information Technology::UY Computer science
Abstract

authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web

Published
2018
Full Text
View/download PDF

9. Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Ahmed, Amal

Subjects
artificial intelligence, computer architecture, computer software selection and evaluation, distributed computer systems, formal logic, formal model, java, model checking, processors, program compilers, program verification, programming language, semantics, separation logic, software engineering specifications, theorem proving, type, systems verification, thema EDItEUR::U Computing and Information Technology::UY Computer science
Abstract

artificial intelligence; computer architecture; computer software selection and evaluation; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers; program verification; programming language; semantics; separation logic; software engineering specifications; theorem proving; type; systems verification

Published
2018
Full Text
View/download PDF

10. Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Author

Baier, Christel and Dal Lago, Ugo

Subjects
artificial intelligence, computer software, selection and evaluation, formal logic, graph theory, modal logic, petri nets, program compilers, programming language, semantics, separation logic, software engineering, theorem proving, type systems, verification, thema EDItEUR::U Computing and Information Technology::UY Computer science
Abstract

artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results