Popl 13 Proceedings of the 40th Annual Acm Sigplan-Sigact Symposium on Principles of Programming Languages
Author: Popl 13 Conference Committee
Publisher: ACM Press
Published: 2013-07-01
Total Pages: 588
ISBN-13: 9781450318327
DOWNLOAD EBOOKPosts
Programming Languages and Systems
Author: Peter Müller
Publisher: Springer Nature
Published: 2020-04-17
Total Pages: 772
ISBN-13: 3030449149
DOWNLOAD EBOOKThis 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.
Programming Languages and Systems
Author: Thomas Wies
Publisher: Springer Nature
Published: 2023-04-16
Total Pages: 579
ISBN-13: 3031300440
DOWNLOAD EBOOKThis open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
Programming Languages and Systems
Author: Nobuko Yoshida
Publisher: Springer Nature
Published: 2021-03-22
Total Pages: 693
ISBN-13: 3030720195
DOWNLOAD EBOOKThis 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.
Programming Languages and Systems
Author: Bor-Yuh Evan Chang
Publisher: Springer
Published: 2017-11-17
Total Pages: 559
ISBN-13: 3319712373
DOWNLOAD EBOOKThis book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.
Foundations of Software Science and Computation Structures
Author: Stefan Kiefer
Publisher: Springer Nature
Published: 2021-03-22
Total Pages: 574
ISBN-13: 3030719952
DOWNLOAD EBOOKThis open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Tools and Algorithms for the Construction and Analysis of Systems
Author: Armin Biere
Publisher: Springer Nature
Published: 2020-04-17
Total Pages: 437
ISBN-13: 3030452379
DOWNLOAD EBOOKThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
Protocols, Strands, and Logic
Author: Daniel Dougherty
Publisher: Springer Nature
Published: 2021-11-18
Total Pages: 435
ISBN-13: 3030916316
DOWNLOAD EBOOKThis Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume. Joshua’s most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several “symbolic approaches” to security protocol analysis in which the underlying details of cryptographic primitives are abstracted away, allowing a focus on potential flaws in the communication patterns between participants. His attention to the underlying logic of strand spaces has also allowed him to merge domain-specific reasoning about protocols with general purpose, first-order logical theories. The identification of clear principles in a domain paves the way to automated reasoning, and Joshua has been a leader in the development and distribution of several tools for security analysis.
Programming Languages and Systems
Author: Luís Caires
Publisher: Springer
Published: 2019-04-05
Total Pages: 820
ISBN-13: 3030171841
DOWNLOAD EBOOKThis open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
Active Object Languages
Author: Frank de Boer
Publisher: Springer Nature
Published: 2024
Total Pages: 383
ISBN-13: 3031510607
DOWNLOAD EBOOKActive Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.
