Volume 20, 1999
MFPS XV Mathematical Foundations of Progamming Semantics, Fifteenth Conference
Tulane University, New Orleans, LA, April 28-May 1, 1999
- Paulo Sérgio Almeida:
Type-checking Balloon Types.
1-27
- Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov:
A Core Calculus of Classes and Objects.
28-49
- Kim B. Bruce, Joseph Vanderwaart:
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.
50-75
- Catherine Meadows, Dennis M. Volpano:
The MFPS XV Security Session.
76-79
- Martín Abadi:
Secrecy in Programming-Language Semantics.
80-94
- Dominique Bolignano:
Using Abstract Interpretation for the Safe Verification of Security Protocols.
95-116
- George C. Necula:
Enforcing Security and Safety with Proof-Carrying Code.
117-131
- Geoffrey Smith, Dennis M. Volpano:
Confinement Properties for Multi-Threaded Programs.
132-142
- Paul Syvreson:
Towards a Strand Semantics for Authentication Logic.
143-157
- Peter Selinger:
Categorical Structure of Asynchrony.
158-181
- Stephen D. Brookes:
Reasoning About Recursive Processes: Expansion is not Always Fair.
182-201
- Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman:
Characterizing Topologies With Bounded Complete Computational Models.
202-212
- Martín Hötzel Escardó:
On the Compact-regular Coreflection of a Stably Locally Compact Locale.
213-228
- Martín Hötzel Escardó, Bob Flagg:
Semantic Domains, Injective Spaces and Monads.
229-244
- Carsten Führmann:
Direct Models for the Computational Lambda Calculus.
245-292
- Reinhold Heckmann:
Completeness Classes of Equilogical Spaces.
293-308
- Hongde Hu:
Contractible Coherence Spaces and Maximal Maps.
309-319
- C. Barry Jay:
Denotational Semantics of Shape: Past, Present and Future.
320-333
- Ralph Kummetz:
From Partial Orders with Projections to Domains.
334-345
- S. Lassen:
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context.
346-374
- Matías Menni, Alex K. Simpson:
The Largest Topological Subcategory of Countably-based Equilogical Spaces.
375-398
- Michael W. Mislove:
Local Dcpos, Local Cpos and Local Completions.
399-412
- Lawrence S. Moss:
Recursion and Corecursion Have the Same Equational Logic.
413-432
- Susan Older:
Strong fairness and Recursive Communicating Processes.
433-448
- J. Polokow, Frank Pfenning:
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic.
449-466
- John Power, Edmund Robinson:
Modularity and Dyads.
467-480
- Ralf Schweimeier, Alan Jeffrey:
A Categorical and Graphical Treatment of Closure Conversion.
481-511
- Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov:
Preface.
512-513
Last update Mon May 20 00:56:00 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
