Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999
type: Item
instance of: scholarly article
title: Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999
zbMATH Open document ID: 0921.00026
published in: Electronic Notes in Theoretical Computer Science
publication date: 1999-08-30T00:00:00Z
review text: The articles of this volume will be reviewed individually. The 13th conference 1997 has been indicated (see Zbl 0903.00057). Indexed articles: \textit{Almeida, Paulo Sergio}, Type-checking balloon types, electronic paper No. 2 [Zbl 0933.68035] \textit{Bono, Viviana; Mitchell, John C.; Patel, Amit J.; Shmatikov, Vitaly}, A core calculus of classes and objects, electronic paper No. 3 [Zbl 0924.68028] \textit{Bruce, K.; Vanderwaart, J.}, Semantics-driven language design: Statically type-safe virtual types in object-oriented languages, electronic paper No. 4 [Zbl 0924.68119] \textit{Abadi, Martin}, Secrecy in programming-language semantics, electronic paper No. 6 [Zbl 0924.68115] \textit{Bolignano, Dominique}, Using abstract interpretation for the safe verification of security protocols, electronic paper No. 7 [Zbl 0933.68052] \textit{Necula, George}, Enforcing security and safety with proof-carrying code, electronic paper No. 8 [Zbl 0924.68072] \textit{Smith, Geoffrey; Volpano, Dennis}, Confinement properties for multi-threaded programs, electronic paper No. 9 [Zbl 0924.68071] \textit{Syvreson, Paul}, Towards a strand semantics for authentication logic, electronic paper No. 10 [Zbl 0924.68118] \textit{Selinger, Peter}, Categorical structure of asynchrony, electronic paper No. 11 [Zbl 0924.68109] \textit{Brookes, Stephen}, Reasoning about recursive processes: Expansion is not always fair, electronic paper No. 12 [Zbl 0924.68083] \textit{Ciesielski, K.; Flagg, B.; Kopperman, R.}, Characterizing topologies with bounded complete computational models, electronic paper No. 13 [Zbl 0924.68082] \textit{Hötzel Escardó, Martín}, On the compact-regular coreflection of a stably compact locale, electronic paper No. 14 [Zbl 0921.54010] \textit{Escardo, M.; Flagg, B.}, Semantic domains, injective spaces and monads, electronic paper No. 15 [Zbl 0924.68116] \textit{Führmann, C.}, Direct models for the computational lambda calculus, electronic paper No. 16 [Zbl 0924.68029] \textit{Heckm…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1328164
zbMATH Keywords: New Orleans, LA (USA)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: Mathematical foundations
zbMATH Keywords: Programming semantics
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1328164