Programming languages and systems. 13th European symposium on programming, ESOP 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 -- April 2, 2004. Proceedings. (Q1881364)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1017.00036) Indexed articles: \textit{O'Hearn, Peter W.}, Resources, concurrency, and local reasoning (abstract), 1-2 [Zbl 1126.68340] \textit{Miné, Antoine}, Relational abstract domains for the detection of floating-point run-time errors, 3-17 [Zbl 1126.68353] \textit{Ranzato, Francesco; Tapparo, Francesco}, Strong preservation as completeness in abstract interpretation, 18-32 [Zbl 1126.68485] \textit{Feret, Jérôme}, Static analysis of digital filters, 33-48 [Zbl 1126.68347] \textit{Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.; Sulzmann, Martin}, Sound and decidable type inference for functional dependencies, 49-63 [Zbl 1126.68331] \textit{Hirschowitz, Tom; Leroy, Xavier; Wells, J. B.}, Call-by-value mixin modules. Reduction semantics, side effects, types, 64-78 [Zbl 1126.68339] \textit{Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid}, ML-like inference for classifiers, 79-93 [Zbl 1126.68330] \textit{Carlsson, Mats; Beldiceanu, Nicolas}, From constraints to finite automata to filtering algorithms, 94-108 [Zbl 1126.68338] \textit{España, Salvador; Estruch, Vicent}, A memoizing semantics for functional logic languages, 109-123 [Zbl 1126.68332] \textit{Gustafsson, Per; Sagonas, Konstantinos}, Adaptive pattern matching on binary data, 124-139 [Zbl 1126.68364] \textit{Bugliesi, Michele; Focardi, Riccardo; Maffei, Matteo}, Compositional analysis of authentication protocols, 140-154 [Zbl 1126.94346] \textit{Phillips, Andrew; Yoshida, Nobuko; Eisenbach, Susan}, A distributed abstract machine for boxed ambient calculi, 155-170 [Zbl 1126.68507] \textit{Lhoussaine, Cédric; Sassone, Vladimiro}, A dependently typed ambient calculus, 171-187 [Zbl 1126.68504] \textit{Levi, Francesca; Bodei, Chiara}, A control flow analysis for safe and boxed ambients, 188-203 [Zbl 1126.68503] \textit{Ennals, Robert; Sharp, Richard; Mycroft, Alan}, Linear types for packet processing, 204-218 [Zbl 1126.68322] \textit{Jia, Limin; Walker, David}, Modal proofs as distributed programs (extended abstract), 219-233 [Zbl 1126.68349] \textit{Boudol, Gérard}, ULM: A core programming model for global computing (extended abstract), 234-248 [Zbl 1126.68329] \textit{Vitek, Jan; Jagannathan, Suresh; Welc, Adam; Hosking, Antony L.}, A semantic framework for designer transactions, 249-263 [Zbl 1126.68341] \textit{Ghica, Dan R.}, Semantical analysis of specification logic. III. An operational approach, 264-278 [Zbl 1126.68463] \textit{Thielecke, Hayo}, Answer type polymorphism in call-by-name continuation passing, 279-293 [Zbl 1126.68337] \textit{Carlier, Sébastien; Polakow, Jeff; Wells, J. B.; Kfoury, A. J.}, System E: expansion variables for flexible typing with linear and non-linear types and intersection types, 294-309 [Zbl 1126.68346] \textit{Hansen, René Rydhof}, A hardest attacker for leaking references, 310-324 [Zbl 1126.68333] \textit{Guttman, Joshua D.; Thayer, F. Javier; Carlson, Jay A.; Herzog, Jonathan C.; Ramsdell, John D.; Sniffen, Brian T.}, Trust management in strand spaces: A rely-guarantee method, 325-339 [Zbl 1126.68398] \textit{Abadi, Martín; Blanchet, Bruno; Fournet, Cédric}, Just fast keying in the pi calculus, 340-354 [Zbl 1126.68382] \textit{Shmatikov, Vitaly}, Decidable analysis of cryptographic protocols with products and modular exponentiation, 355-369 [Zbl 1126.94341] \textit{Filliâtre, Jean-Christophe; Letouzey, Pierre}, Functors for proofs and programs, 370-384 [Zbl 1126.68475] \textit{Cachera, David; Jensen, Thomas; Pichardie, David; Rusu, Vlad}, Extracting a data flow analyser in constructive logic, 385-400 [Zbl 1126.68345] \textit{Rensink, Arend}, Canonical graph shapes, 401-415 [Zbl 1126.68355]