Q1398128
type: Item
instance of: scholarly article
title: Programming languages and systems. 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings
zbMATH Open document ID: 1017.00033
published in: Lecture Notes in Computer Science
publication date: 2003-07-29T00:00:00Z
full work available at URL: t2618.htm
review text: The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 0989.00059). Indexed articles: \textit{Leroy, Xavier}, Computer security from a programming language and static analysis perspective, 1-9 [Zbl 1032.68902] \textit{Meadows, Catherine}, What makes a cryptographic protocol secure? The evolution of requirements specification in formal cryptographic protocol analysis, 10-21 [Zbl 1032.94518] \textit{Clements, John; Felleisen, Matthias}, A tail-recursive semantics for stack inspections, 22-37 [Zbl 1032.68555] \textit{Drossopoulou, Sophia; Lagorio, Giovanni; Eisenbach, Susan}, Flexible models for dynamic linking, 38-53 [Zbl 1032.68039] \textit{Alpuente, Maria; Ballis, Demis; Correa, Francisco J.; Falaschi, Moreno}, Correction of functional logic programs, 54-68 [Zbl 1032.68046] \textit{Castro, Luís F.; Warren, David S.}, Approximate pruning in tabled logic programming, 69-83 [Zbl 1032.68047] \textit{Genaim, Samir; King, Andy}, Goal-independent suspension analysis for logic programs with dynamic scheduling, 84-98 [Zbl 1032.68048] \textit{Comon-Lundh, Hubert; Cortier, Véronique}, Security properties: Two agents are sufficient, 99-113 [Zbl 1032.94508] \textit{Gorrieri, Roberto; Locatelli, Enrico; Martinelli, Fabio}, A simple language for real-time cryptographic protocol analysis, 114-128 [Zbl 1032.94510] \textit{Tini, Simone}, Rule formats for non interference, 129-143 [Zbl 1032.68105] \textit{Giambiagi, Pablo; Dam, Mads}, On the secure implementation of security protocols, 144-158 [Zbl 1032.68654] \textit{Laud, Peeter}, Handling encryption in an analysis for secure information flow, 159-173 [Zbl 1032.68076] \textit{Altisen, Karine; Clodic, Aurélie; Maraninchi, Florence; Rutten, Eric}, Using controller-synthesis techniques to build property-enforcing layers, 174-188 [Zbl 1032.93045] \textit{Flanagan, Cormac}, Automatic software model checking using CLP, 189-203 [Zbl 1032.68058] \textit{Yahav, Eran; Reps, Thomas; Sagiv,…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Nxx
zbMATH DE Number: 1955935
zbMATH Keywords: Programming languages
zbMATH Keywords: Programming systems
zbMATH Keywords: ESOP 2003
zbMATH Keywords: ETAPS 2003
zbMATH Keywords: Warsaw (Poland)
MaRDI profile type: Publication
DOI: 10.1007/3-540-36575-3
OpenAlex ID: W2485405443
Recommended article: Q1604126
Recommended article: Q1935967
Recommended article: Q1881364
Recommended article: Q766303
Recommended article: Q2431629
Recommended article: Q2441807
Recommended article: Q5930697
Recommended article: Q2388072
Recommended article: Q855057
Recommended article: Q2479548
label: Programming languages and systems. 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings
description: scientific article; zbMATH DE number 1955935