CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Abstract elided by the publisher.
976 papers · page 29 of 49
Structured Communication-Centred Programming for Web Services
Abstract elided by the publisher.
The Java Memory Model: Operationally, Denotationally, Axiomatically
Abstract elided by the publisher.
Dependent Types for Low-Level Programming
Abstract elided by the publisher.
Scalar Outcomes Suffice for Finitary Probabilistic Testing
The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred with the insight that tests expressed within the concurrent framework itself, based on a special "success action"…
Principal Type Schemes for Modular Programs
Abstract elided by the publisher.
Multi-language Synchronization
Abstract elided by the publisher.
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
Abstract elided by the publisher.
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
Abstract elided by the publisher.
Static Analysis by Policy Iteration on Relational Domains
Abstract elided by the publisher.
Precise Fixpoint Computation Through Strategy Iteration
Abstract elided by the publisher.
Computing Procedure Summaries for Interprocedural Analysis
Abstract elided by the publisher.
Immutable Objects for a Java-Like Language
Abstract elided by the publisher.
Probabilistic Anonymity Via Coalgebraic Simulations
Abstract elided by the publisher.
Anti-pattern Matching
Abstract elided by the publisher.
Type Reconstruction for General Refinement Types
Abstract elided by the publisher.
A Rewriting Semantics for Type Inference
Abstract elided by the publisher.
A Calculus for Orchestration of Web Services
Abstract elided by the publisher.
Modal I/O Automata for Interface and Product Line Theories
Abstract elided by the publisher.
Using History Invariants to Verify Observers
Abstract elided by the publisher.