Expressing Structural Properties as Language Constructs
Abstract elided by the publisher.
976 papers · page 40 of 49
Dynamic Programming via Static Incrementalization
Abstract elided by the publisher.
An Idealized MetaML: Simpler, and More Expressive
Abstract elided by the publisher.
Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)
Abstract elided by the publisher.
Interprocedural Control Flow Analysis
Abstract elided by the publisher.
Deterministic Expressions in C
Abstract elided by the publisher.
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
Abstract elided by the publisher.
A Programming Logic for Sequential Java
Abstract elided by the publisher.
A Per Model of Secure Information Flow in Sequential Programs
Abstract elided by the publisher.
Higher-Order Code Splicing
Abstract elided by the publisher.
Safe and Principled Language Interoperation
Abstract elided by the publisher.
A Bisimulation Method for Cryptographic Protocols
Abstract elided by the publisher.
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction system as a Prolog program. Using abstract interpretation, we collect information about the run-time behaviour of the program. We use this informatio…
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi
Abstract elided by the publisher.
Complexity of Concrete Type-Inference in the Presence of Exceptions
Abstract elided by the publisher.
Synchronisation Analysis to Stop Tulping
Abstract elided by the publisher.
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems
Abstract elided by the publisher.
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools
Abstract elided by the publisher.
Language Primitives and Type Discipline for Structured Communication-Based Programming
Abstract elided by the publisher.
The Functional Imperative: Shape!
Abstract elided by the publisher.