98 citations
- Universidad Politécnica de MadridES38 papers
- Madrid Institute for Advanced StudiesES15 papers
- Roskilde UniversityDK11 papers
- University of PennsylvaniaUS11 papers
- Max Planck Institute for Software SystemsDE10 papers
- University at Buffalo, State University of New YorkUS9 papers
- Institut national de recherche en sciences et technologies du numériqueFR8 papers
- Universidad Complutense de MadridES7 papers
- Consejo Superior de Investigaciones CientíficasES5 papers
- Saarland UniversityDE5 papers
- University College LondonGB5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
8 papers · 1 filter
Using higher-order contracts to model session types
Giovanni Bernardi, Matthew Hennessy
Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure del…
Modelling Probabilistic Wireless Networks
Andrea Cerone, Matthew Hennessy
We propose a process calculus to model high level wireless systems, where the topology of a network is described by a digraph. The calculus enjoys features which are proper of wire…
A Simple Semantics and Static Analysis for Stack Inspection
Anindya Banerjee, David A. Naumann
The Java virtual machine and the .NET common language runtime feature an access control mechanism specified operationally in terms of run-time stack inspection. We give a denotatio…
Linearizability with Ownership Transfer
Alexey Gotsman, Hongseok Yang
Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and its client…
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday
Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh +1
This Liber Amicorum is a collection of essays ranging from personal memories to technical contributions. It is a tribute to Dave Schmidt and his career, and was composed at the occ…
Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java
Dragan Ivanović
Programming languages and techniques based on logic and constraints, such as the Constraint Handling Rules (CHR), can support many common programming tasks that can be expressed in…