Second Workshop on
Higher Order Operational Techniques in Semantics
December 8-11, 1997
Center for the Study of Language and Information
Stanford University, USA
The topic of the workshop was operational techniques for the semantics of
higher order languages. We solicited presentations of recent or ongoing
work on topics including (but not limited to):
- operational equivalences:
observational or contextual equivalence
(applicative) bisimilarity
- operationally-derived program logics
- verification of type-systems
- operational analogues of denotational techniques
for higher order languages including:
- typed and untyped lambda-calculi
- functional languages with imperative state
- functional languages with nondeterminism or concurrency
- object calculi
- process calculi.
The meeting was organised by
A. Gordon,
A. Pitts and
C. Talcott. We are most grateful for generous
sponsorship from Harlequin Ltd and the NSF.
Publication: this is not a refereed venue. The record of the workshop
is Volume 10 of Electronic Notes in Theoretical
Computer Science.
Presentations:
-
Martin Abadi (joint work with Cedric Fournet and Georges Gonthier)
Secure Implementation of Channel Abstractions
-
Luca Cardelli and Andrew D. Gordon
A Calculus of Mobile Ambients
-
Laurent Dami
Operational Subsumption
-
Steve Freund and John Mitchell
A Type System For Object Initialization In the Java
Virtual Machine Bytecode Language
-
Philippa Gardner
A Type-theoretic Description of Action Calculi
-
Bob Harper (joint work with Greg Morrisett)
A Comprehensive Treatment of Typed Closure Conversion
-
Alan Jeffrey
Premonoidal Categories and Flow Graphs
-
Soeren B. Lassen and Corin Pitcher
Similarity and Bisimilarity for
Countable Non-Determinism and Higher-Order Functions
-
Ugo Montanari and Carolyn Talcott
Can Actors and pi-Agents Live Together?
-
Flemming Nielson
Flow Logics
-
Marco Pistore
History Dependent Automata
-
Andy Pitts
Parametric Polymorphism and Contextual Equivalence
-
Amr Sabry (joint work with Zena Ariola)
Soundess of Haskell Monad Implementation
-
Dave Sands
A Simple Approach to Evaluating Contexts
-
Dave Schmidt
Interpreting Big-Step Semantics in Small-Step Style
-
Scott Smith
On Specification Diagrams for Actor Systems
-
Allen Stoughton
An Operational Semantics Framework Supporting
the Incremental Construction of Derivation Trees
-
Glynn Winskel
An Operational Understanding of Bisimulation from Open Maps
List of participants
Sponsorship
The organisers are grateful for generous sponsorship from Harlequin
Ltd, the US National Science
Foundation and the US Office
of Naval Research.