Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. (Q2388072)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1046.68014). Indexed articles: \textit{Mauborgne, Laurent; Rival, Xavier}, Trace partitioning in abstract interpretation based static analyzers, 5-20 [Zbl 1108.68427] \textit{Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier}, The ASTREÉ analyzer, 21-30 [Zbl 1108.68422] \textit{Müller-Olm, Markus; Seidl, Helmut; Steffen, Bernhard}, Interprocedural Herbrand equalities, 31-45 [Zbl 1108.68405] \textit{Müller-Olm, Markus; Seidl, Helmut}, Analysis of modular arithmetic, 46-60 [Zbl 1108.68404] \textit{Leuschel, Michael; Vidal, Germán}, Forward slicing by conjunctive partial deduction and argument filtering, 61-76 [Zbl 1108.68424] \textit{Ranganath, Venkatesh Prasad; Amtoft, Torben; Banerjee, Anindya; Dwyer, Matthew B.; Hatcliff, John}, A new foundation for control-dependence and slicing for modern program structures, 77-93 [Zbl 1108.68429] \textit{Podelski, Andreas; Schaefer, Ina; Wagner, Silke}, Summaries for while programs with recursion, 94-107 [Zbl 1108.68428] \textit{Lu, Lunjin; King, Andy}, Determinacy inference for logic programs, 108-123 [Zbl 1108.68362] \textit{Lee, Oukseh; Yang, Hongseok; Yi, Kwangkeun}, Automatic verification of pointer programs using grammar-based shape analysis, 124-140 [Zbl 1108.68396] \textit{Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio}, A type discipline for authorization policies, 141-156 [Zbl 1108.68456] \textit{Cortier, Véronique; Warinschi, Bogdan}, Computationally sound, automated proofs for security protocols, 157-171 [Zbl 1108.68454] \textit{Janvier, Romain; Lakhnech, Yassine; Mazaré, Laurent}, Completing the picture: Soundness of formal encryption in the presence of active adversaries, 172-185 [Zbl 1108.68460] \textit{Kremer, Steve; Ryan, Mark}, Analysis of an electronic voting protocol in the applied pi calculus, 186-200 [Zbl 1108.68462] \textit{Tsuiki, Hideki; Sugihara, Keiji}, Streams with a bottom in functional languages, 201-216 [Zbl 1108.68365] \textit{Shivers, Olin; Wand, Mitchell}, Bottom-up \(\beta\)-reduction: Uplinks and \(\lambda\)-DAGs, 217-232 [Zbl 1108.68364] \textit{Biering, Bodil; Birkedal, Lars; Torp-Smith, Noah}, BI hyperdoctrines and higher-order separation logic, 233-247 [Zbl 1109.03021] \textit{Busi, Nadia; Zavattaro, Gianluigi}, Deciding reachability in mobile ambients, 248-262 [Zbl 1108.68539] \textit{Reus, Bernhard; Schwinghammer, Jan}, Denotational semantics for Abadi and Leino's logic of objects, 263-278 [Zbl 1108.68409] \textit{Tse, Stephen; Zdancewic, Steve}, A design for a security-typed language with certificate-based declassification, 279-294 [Zbl 1108.68468] \textit{Giacobazzi, Roberto; Mastroeni, Isabella}, Adjoining declassification and attack models by abstract interpretation, 295-310 [Zbl 1108.68457] \textit{Chander, Ajay; Espinosa, David; Islam, Nayeem; Lee, Peter; Necula, George}, Enforcing resource bounds via static verification of dynamic checks, 311-325 [Zbl 1108.68419] \textit{Wildmoser, Martin; Nipkow, Tobias}, Asserting bytecode safety, 326-341 [Zbl 1108.68432] \textit{Seco, João Costa; Caires, Luís}, Subtyping first-class polymorphic components, 342-356 [Zbl 1108.68353] \textit{Niehren, Joachim; Priesnitz, Tim; Su, Zhendong}, Complexity of subtype satisfiability over posets, 357-373 [Zbl 1108.68407] \textit{Naik, Mayur; Palsberg, Jens}, A type system equivalent to a model checker, 374-388 [Zbl 1108.68406] \textit{Makholm, Henning; Wells, J. B.}, Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close, 389-407 [Zbl 1108.68541] \textit{Thiemann, Peter}, Towards a type system for analyzing JavaScript programs, 408-422 [Zbl 1108.68355] \textit{Jeffrey, Alan; Rathke, Julian}, Java Jr.: Fully abstract trace semantics for a core Java language, 423-438 [Zbl 1108.68349]