Programming Languages and Systems 1st edition by Bruno Oliveira 3030644367 9783030644369
Original price was: $50.00.$25.00Current price is: $25.00.
Programming Languages and Systems 1st edition by Bruno Oliveira- Ebook PDF Instant Download/Delivery: 3030644367,9783030644369
Full download Programming Languages and Systems 1st edition after payment
Product details:
ISBN 10:3030644367
ISBN 13:9783030644369
Author:Bruno Oliveira
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*
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.
Programming Languages and Systems 1st Table of contents:
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
A New Refinement Type System for Automated 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 Distributed Transactions over Mergeable Types
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Synthesis and Program Transformation
Parameterized Synthesis with Safety Properties
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
: A Profiler Suite for Parallel Applications on the Java Virtual Machine
People also search for Programming Languages and Systems 1st:
programming languages syllabus
programming languages history and fundamentals
programming languages 1970s
a programming language
programming languages 1990s
Tags:
Bruno Oliveira,Programming,Languages,Systems
You may also like…
Computers - Computer Science
