Q1604126
type: Item
instance of: scholarly article
title: 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
zbMATH Open document ID: 0989.00059
DOI: 10.1007/3-540-45927-8
published in: Lecture Notes in Computer Science
publication date: 2002-07-03T00:00:00Z
review text: 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{Ni…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Nxx
zbMATH DE Number: 1762854
zbMATH Keywords: Grenoble (France)
zbMATH Keywords: Symposium
zbMATH Keywords: Proceedings
zbMATH Keywords: ESOP 2002
zbMATH Keywords: ETAPS 2002
zbMATH Keywords: Programming languages
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-45927-8
OpenAlex ID: W2491519203
label: 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
description: scientific article; zbMATH DE number 1762854