×

zbMATH — the first resource for mathematics

Programming languages and systems. 15th European symposium on programming, ESOP 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27–28, 2006. Proceedings. (English) Zbl 1103.68010
Lecture Notes in Computer Science 3924. Berlin: Springer (ISBN 3-540-33095-X/pbk). xii, 343 p. (2006).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1068.68008).
Indexed articles:
Fluet, Matthew; Morrisett, Greg; Ahmed, Amal, Linear regions are all you need, 7-21 [Zbl 1178.68151]
Hofmann, Martin; Jost, Steffen, Type-based amortised heap-space analysis, 22-37 [Zbl 1178.68143]
Rudiak-Gould, Ben; Mycroft, Alan; Jones, Simon Peyton, Haskell is not not ML, 38-53 [Zbl 1178.68138]
Leroy, Xavier, Coinductive big-step operational semantics, 54-68 [Zbl 1178.68330]
Ahmed, Amal, Step-indexed syntactic logical relations for recursive and quantified types, 69-83 [Zbl 1178.68146]
Summers, Alexander J.; van Bakel, Steffen, Approaches to polymorphism in classical sequent calculus, 84-99 [Zbl 1178.03040]
Jay, Barry; Kesner, Delia, Pure pattern calculus, 100-114 [Zbl 1178.03039]
Leino, K. Rustan M.; Müller, Peter, A verification methodology for model fields, 115-130 [Zbl 1178.68348]
Jia, Limin; Walker, David, ILC: A foundation for automated reasoning about pointer programs, 131-145 [Zbl 1178.03077]
Koutavas, Vasileios; Wand, Mitchell, Bisimulations for untyped imperative objects, 146-161 [Zbl 1178.68154]
Yu, Dachuan; Islam, Nayeem, A typed assembly language for confidentiality, 162-179 [Zbl 1178.68130]
Broberg, Niklas; Sands, David, Flow locks: Towards a core calculus for dynamic flow policies, 180-196 [Zbl 1178.68121]
Carpineti, Samuele; Laneve, Cosimo, A basic contract language for web services, 197-213 [Zbl 1178.68122]
Costa Seco, João; Caires, Luís, Types for dynamic reconfiguration, 214-229 [Zbl 1178.68141]
Codish, Michael; Lagoon, Vitaly; Schachte, Peter; Stuckey, Peter J., Size-change termination analysis in \(k\)-bits, 230-245 [Zbl 1178.68149]
Lal, Akash; Lim, Junghee; Polishchuk, Marina; Liblit, Ben, Path optimization in programs and its application to debugging, 246-263 [Zbl 1178.68155]
Gulwani, Sumit; Tiwari, Ashish, Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions, 279-293 [Zbl 1178.68153]
Cooper, Gregory H.; Krishnamurthi, Shriram, Embedding dynamic dataflow in a call-by-value language, 294-308 [Zbl 1178.68123]
Furr, Michael; Foster, Jeffrey S., Polymorphic type inference for the JNI, 309-324 [Zbl 1178.68125]
Fruja, Nicu G., Type safety of generics for the .NET common language runtime, 325-341 [Zbl 1178.68152]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
00B25 Proceedings of conferences of miscellaneous specific interest
Software:
Haskell
PDF BibTeX XML Cite
Full Text: DOI