ISBN-10:
354033095X
ISBN-13:
9783540330950
Pub. Date:
04/28/2006
Publisher:
Springer Berlin Heidelberg
Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / Edition 1

Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / Edition 1

by Peter Sestoft

Paperback

Current price is , Original price is $109.0. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9783540330950
Publisher: Springer Berlin Heidelberg
Publication date: 04/28/2006
Series: Lecture Notes in Computer Science , #3924
Edition description: 2006
Pages: 342
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Types for Hierarchic Shapes.- Linear Regions Are All You Need.- Type-Based Amortised Heap-Space Analysis.- Haskell Is Not Not ML.- Coinductive Big-Step Operational Semantics.- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.- Approaches to Polymorphism in Classical Sequent Calculus.- Pure Pattern Calculus.- A Verification Methodology for Model Fields.- ILC: A Foundation for Automated Reasoning About Pointer Programs.- Bisimulations for Untyped Imperative Objects.- A Typed Assembly Language for Confidentiality.- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.- A Basic Contract Language for Web Services.- Types for Dynamic Reconfiguration.- Size-Change Termination Analysis in k-Bits.- Path Optimization in Programs and Its Application to Debugging.- Inference of User-Defined Type Qualifiers and Qualifier Rules.- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.- Embedding Dynamic Dataflow in a Call-by-Value Language.- Polymorphic Type Inference for the JNI.- Type Safety of Generics for the .NET Common Language Runtime.- The Weird World of Bi-directional Programming.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews