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 (Q1398128)

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, Mooly; Wilhelm, Reinhard}, Verifying temporal heap properties specified via evolution logic, 204-222 [Zbl 1032.68062] \textit{Reddy, Uday S.; Yang, Hongseok}, Correctness of data representations involving heap data structures, 223-237 [Zbl 1032.68060] \textit{Graunke, Paul; Findler, Robert Bruce; Krishnamurthi, Shriram; Felleisen, Matthias}, Modeling web interactions, 238-252 [Zbl 1032.68575] \textit{Lhoussaine, Cédric}, Type inference for a distributed \(\pi\)-calculus, 253-268 [Zbl 1032.03027] \textit{Erwig, Martin; Ren, Deling}, Type-safe update programming, 269-283 [Zbl 1032.68057] \textit{Haack, Christian; Wells, J. B.}, Type error slicing in implicitly typed higher-order languages, 284-301 [Zbl 1032.68041] \textit{Danos, Vincent; Laneve, Cosimo}, Core formal molecular biology, 302-318 [Zbl 1033.92013] \textit{Geilen, Marc; Basten, Twan}, Requirements on the execution of Kahn process networks, 319-334 [Zbl 1032.68025] \textit{Danvy, Olivier; López, Pablo E. Martínez}, Tagging, encoding, and Jones optimality, 335-347 [Zbl 1032.68571] \textit{Nieto, Leonor Prensa}, The rely-guarantee method in Isabelle/HOL, 348-362 [Zbl 1032.68130] \textit{Yu, Dachuan; Hamid, Nadeem A.; Shao, Zhong}, Building certified libraries for PCC: Dynamic storage allocation, 363-379 [Zbl 1032.68063] \textit{Reps, Thomas; Sagiv, Mooly; Loginov, Alexey}, Finite differencing of logical formulas for static analysis, 380-398 [Zbl 1032.68061] \textit{Ohori, Atsushi}, Register allocation by proof transformation, 399-413 [Zbl 1032.68059]