Programming Languages and Systems
Springer International Publishing (Verlag)
978-3-030-64436-9 (ISBN)
The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
* The conference was held virtually due to the COVID-19 pandemic.
Program Analysis and Verification.- A Set-Based Context Model for Program Analysis.- Declarative Stream Runtime Verification (hLola).- Formal Verification of Atomicity Requirements for Smart Contracts.- Types.- Neural Networks, Secure by Construction: An Exploration of Refinement Types.- A New Refinement Type System for Automated nu-HFLZ Validity Checking.- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.- Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.- Semantics.- An Abstract Machine for Strong Call by Value.- Certified Semantics for Relational Programming.- Algebraic and Coalgebraic Perspectives on Interaction Laws.- Program Generation, Transactions and Automation.- Stack-Driven Program Generation of WebAssembly.- Banyan: Coordination-free Transactions over Mergeable Replicated Data Types.- Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?.- Synthesis and ProgramTransformation.- Synthesis and Program Transformation.- Relational Synthesis for Pattern Matching.- REFINITY to Model and Prove Program Transformation Rules.- Debugging, Profiling and Constraint Solving.- A Counterexample-Guided Debugger for Non-Recursive Datalog.- A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving.- P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine.
| Erscheinungsdatum | 04.01.2021 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XVI, 374 p. 187 illus., 88 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 599 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Applications • Artificial Intelligence • computer programming • Computer Science • conference proceedings • Databases • Data Security • Formal Logic • Informatics • Linguistics • Model Checking • parallel processing systems • program compilers • Programming Languages • Research • Semantics • Software Design • Software Quality • Type Systems • verification • Verification and Validation |
| ISBN-10 | 3-030-64436-7 / 3030644367 |
| ISBN-13 | 978-3-030-64436-9 / 9783030644369 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
