Electronic Notes in Theoretical Computer Science, Volume 20

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 A. 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