Programming languages and systems. 10th European symposium on programming, ESOP 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2--6, 2001. Proceedings (Q5930697)

The articles of mathematical interest will be reviewed individually. The preceding symposium (9th, 2000) has been reviewed (see Zbl 0935.00050). Indexed articles: \textit{Cardelli, Luca; Ghelli, Giorgio}, A query language based on the ambient logic, 1-22 [Zbl 0977.68028] \textit{Mitchell, John C.}, Probabilistic polynomial-time process calculus and security protocol analysis, 23-29 [Zbl 0977.68522] \textit{Pottier, François; Skalka, Christian; Smith, Scott}, A systematic approach to static access control, 30-45 [Zbl 0987.68859] \textit{Zdancewic, Steve; Myers, Andrew C.}, Secure information flow and CPS, 46-61 [Zbl 0977.68021] \textit{Thiemann, Peter}, Enforcing safety properties using type specialization, 62-76 [Zbl 0977.68647] \textit{Laud, Peeter}, Semantics and program analysis of computationally secure information flow, 77-91 [Zbl 0977.68524] \textit{Weirich, Stephanie}, Encoding intensional type analysis, 92-106 [Zbl 0987.68851] \textit{Backhouse, Roland}, Fusion on languages, 107-121 [Zbl 0977.68054] \textit{Graunke, Paul; Krishnamurthi, Shriram; Van Der Hoeven, Steve; Felleisen, Matthias}, Programming the Web with high-level programming languages, 122-136 [Zbl 0977.68732] \textit{Ranzato, Francesco}, On the completeness of model checking, 137-154 [Zbl 0977.68056] \textit{Huth, Michael; Jagadeesan, Radha; Schmidt, David}, Modal transition systems: A foundation for three-valued program analysis, 155-169 [Zbl 0987.68849] \textit{Su, Zhendong; Aiken, Alexander}, Entailment with conditional equality constraints, 170-189 [Zbl 0977.68019] \textit{Müller-Olm, Markus; Rüthing, Oliver}, On the complexity of constant propagation, 190-205 [Zbl 0977.68020] \textit{Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M.}, What are polymorphically-typed ambients?, 206-220 [Zbl 0977.68525] \textit{Conchon, Sylvain; Pottier, François}, JOIN(\(X\)): Constraint-based type inference for the join-calculus, 221-236 [Zbl 0977.68521] \textit{Cuoq, Pascal; Pouzet, Marc}, Modular causality in a synchronous stream language, 237-251 [Zbl 0977.68709] \textit{Nielson, Flemming; Seidl, Helmut}, Control-flow analysis in cubic time, 252-268 [Zbl 0977.68520] \textit{Boudol, Gérard}, The recursive record semantics of objects revisited (extended abstract), 269-283 [Zbl 0977.68517] \textit{Jacobs, Bart}, A formalisation of Java's exception mechanism, 284-301 [Zbl 0977.68579] \textit{Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Serpette, Bernard; de Sousa, Simão Melo}, A formal executable semantics of the JavaCard platform, 302-319 [Zbl 0977.68577] \textit{Clements, John; Flatt, Matthew; Felleisen, Matthias}, Modeling an algebraic stepper, 320-334 [Zbl 0977.68705] \textit{Xu, Zhichen; Reps, Thomas; Miller, Barton P.}, Typestate checking of machine code, 335-351 [Zbl 0977.68778] \textit{Katsumata, Shin-ya; Ohori, Atsushi}, Proof-directed de-compilation of low-level code, 352-366 [Zbl 0977.68015] \textit{Monniaux, David}, Backwards abstract interpretation of probabilistic programs, 367-382 [Zbl 0977.68550] \textit{Komondoor, Raghavan; Horwitz, Susan}, Tool demonstration: finding duplicated code using program dependences, 383-386 [Zbl 0977.68771] \textit{Cadoli, Marco; Schaerf, Andrea}, Compiling problem specifications into SAT, 387-401 [Zbl 0977.68518] \textit{Bossi, Annalisa; Etalle, Sandro; Rossi, Sabina; Smaus, Jan-Georg}, Semantics and termination of simply-moded logic programs with dynamic scheduling, 402-416 [Zbl 0977.68013] \textit{Genaim, Samir; Codish, Michael}, The Def-inite approach to dependency analysis, 417-431 [Zbl 0977.68057]