The proceedings contain 47 papers. The topics discussed include: a sound type system for secure currency flow;runtime instrumentation for reactive components;a dynamic logic for symbolic execution for the smart contra...
ISBN:
(纸本)9783959773416
The proceedings contain 47 papers. The topics discussed include: a sound type system for secure currency flow;runtime instrumentation for reactive components;a dynamic logic for symbolic execution for the smart contract programming language Michelson;dynamically generating callback summaries for enhancing static analysis;behavioral up/down casting for statically typed languages;understanding concurrency bugs in real-world programs with Kotlin coroutines;indirection-bounded call graph analysis;regrading policies for flexible information flow control in session-typed concurrency;mutation-based lifted repair of software product lines;the performance effects of virtual-machine instruction pointer updates;and mover logic: a concurrent program logic for reduction and rely-guarantee reasoning.
The proceedings contain 44 papers. The topics discussed include: designing asynchronous multiparty protocols with crash-stop failures;modular abstract definitional interpreters for WebAssembly;dynamically updatable mu...
ISBN:
(纸本)9783959772815
The proceedings contain 44 papers. The topics discussed include: designing asynchronous multiparty protocols with crash-stop failures;modular abstract definitional interpreters for WebAssembly;dynamically updatable multiparty session protocols: generating concurrent go code from unbounded protocols;modular compilation for higher-order functional choreographies;on leveraging tests to infer nullable annotations;super-charging object-orientedprogramming through precise typing of open recursion;dynamic determinacy race detection for task-parallel programs with promises;algebraic replicated data types: programming secure local-first software;behavioral types for local-first software;constraint based compiler optimization for energy harvesting applications;restrictable variants: a simple and practical alternative to extensible variants;and programming with purity reflection: peaceful coexistence of effects, laziness, and parallelism.
The proceedings contain 32 papers. The topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with...
ISBN:
(纸本)9783959772259
The proceedings contain 32 papers. The topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with multiparty session types;how to take the inverse of a type;compiling volatile correctly in Java;functional programming with datalog;design-by-contract for flexible multiparty session protocols;a deterministic memory allocator for dynamic symbolic execution;defining corecursive functions in coq using approximations;what if we don’t pop the stack? the return of 2nd-class values;Maniposynth: bimodal tangible functional programming;direct foundations for compositional programming;Ferrite: a judgmental embedding of session types in rust;and Qilin: a new framework for supporting fine-grained context-sensitivity in Java pointer analysis.
The proceedings contain 22 papers. The topics discussed include: scope states: guarding safety of name resolution in parallel type checkers;lossless, persisted summarization of static callgraph, points-to and data-flo...
ISBN:
(纸本)9783959771900
The proceedings contain 22 papers. The topics discussed include: scope states: guarding safety of name resolution in parallel type checkers;lossless, persisted summarization of static callgraph, points-to and data-flow analysis;gradual program analysis for null pointers;covariant conversions (CoCo): a design pattern for type-safe modular software evolution in object-oriented systems;ALPACAS: a language for parametric assessment of critical architecture safety;enabling additional parallelism in asynchronous JavaScript applications;differential privacy for coverage analysis of software traces;multiparty session types for safe runtime adaptation in an actor language;do bugs propagate? an empirical analysis of temporal correlations among software bugs;and linear promises: towards safer concurrent programming.
The proceedings contain 30 papers. The topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconcili...
ISBN:
(纸本)9783959771542
The proceedings contain 30 papers. The topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconciling event structures with modern multiprocessors;don’t panic! better, fewer, syntax errors for lr parsers;space-efficient gradual typing in coercion-passing style;multiparty session programming with global protocol combinators;designing with static capabilities and effects: use, mention, and invariants (pearl);a semantics for the essence of react;test-case reduction via test-case generation: insights from the hypothesis reducer;model-view-update-communicate: session types meet the elm architecture;and value partitioning: a lightweight approach to relational static analysis for JavaScript.
We present a new variation of object-orientedprogramming built around three simple and orthogonal constructs: classes for storing object state, interfaces for expressing object types, and mixins for reusing and overr...
详细信息
Refinement types have been extensively used in class-based languages to specify and verify fine-grained logical specifications. Despite the advances in practical aspects such as applicability and usability, two fundam...
详细信息
Many object-oriented applications in algorithm design rely on objects never changing during their lifetime. This is often tackled by marking object references as read-only, e.g., using the const keyword in C++. In oth...
详细信息
In this paper we focus on TinySol, a minimal calculus for Solidity smart contracts, introduced by Bartoletti et al. We start by rephrasing its syntax (to emphasise its object-oriented flavour) and give a new big-step ...
详细信息
object-orientedprogramming languages typically allow mutation of objects, but pure methods are common too. There is great interest in recognizing which methods are pure, because it eases analysis of program behavior ...
详细信息
暂无评论