Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8--12, 2002. Proceedings (Q1604126)

The articles of mathematical interest will be reviewed individually. The preceding symposium (10th, 2001) has been reviewed (see Zbl 0960.00060). Indexed articles: \textit{Morrisett, Greg}, Type checking systems code, 1-5 [Zbl 1077.68563] \textit{Hirschowitz, Tom; Leroy, Xavier}, Mixin modules in a call-by-value setting, 6-20 [Zbl 1077.68557] \textit{Grossman, Dan}, Existential types for imperative languages, 21-35 [Zbl 1077.68556] \textit{Aspinall, David; Hofmann, Martin}, Another type system for in-place update, 36-52 [Zbl 1077.68565] \textit{Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca}, Soft concurrent constraint programming, 53-67 [Zbl 1077.68570] \textit{McGuire, Morgan; Krishnamurthi, Shriram; Hughes, John F.}, Programming languages for compressing graphics, 68-82 [Zbl 1077.68562] \textit{Hu, Zhenjiang; Iwasaki, Hideya; Takeichi, Masato}, An accumulative parallel skeleton for all, 83-97 [Zbl 1077.68583] \textit{Weirich, Stephanie}, Higher-order intensional type analysis, 98-114 [Zbl 1077.68600] \textit{Wells, Joe B.; Haack, Christian}, Branching types, 115-132 [Zbl 1077.68568] \textit{Laird, James}, Exceptions, continuations and macro-expressiveness, 133-146 [Zbl 1077.68567] \textit{Glew, Neal}, A theory of second-order trees, 147-161 [Zbl 1077.68607] \textit{Horwitz, Susan}, Tool support for improving test coverage, 162-177 [Zbl 1077.68617] \textit{Kandemir, Mahmut}, Data space oriented tiling, 178-193 [Zbl 1077.68618] \textit{Martel, Matthieu}, Propagation of roundoff errors in finite precision computations: A semantics approach, 194-208 [Zbl 1077.68619] \textit{Goubault, Eric; Martel, Matthieu; Putot, Sylvie}, Asserting the precision of floating-point computations: A simple abstract interpreter, 209-212 [Zbl 1077.68615] \textit{Wand, Mitchell; Williamson, Galen B.}, A modular, extensible proof method for small-step flow analyses, 213-227 [Zbl 1077.68613] \textit{Thiemann, Peter}, A prototype dependency calculus, 228-242 [Zbl 1077.68611] \textit{Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut}, Automatic complexity analysis, 243-261 [Zbl 1077.68610] \textit{Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz}, Thread-modular verification for shared-memory programs, 262-277 [Zbl 1077.68606] \textit{Wansbrough, Keith; Norrish, Michael; Sewell, Peter; Serjantov, Andrei}, Timing UDP: Mechanized semantics for sockets, threads, and failures, 278-294 [Zbl 1077.68597] \textit{Charatonik, Witold; Gordon, Andrew D.; Talbot, Jean-Marc}, Finite-control mobile ambients, 295-313 [Zbl 1077.68574] \textit{Feret, Jérôme}, Dependency analysis of mobile systems, 314-329 [Zbl 1077.68578]