rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9783540656999

Programming Languages and Systems : 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, the Netherlands March 1999 Proceedings

by ; ; ;
  • ISBN13:

    9783540656999

  • ISBN10:

    3540656995

  • Format: Paperback
  • Copyright: 1999-03-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $99.00 Save up to $79.20
  • Digital
    $42.90*
    Add to Cart

    DURATION
    PRICE
    *To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.

Summary

This book constitutes the refereed proceedings of the 8th European Symposium on Programming, ESOP'99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99.The 18 revised full papers presented were carefully reviewed and selected from a total of 44 submissions. Among the topics addressed are program logics, data structures, sequential programming, type systems, language interoperation, C programming, sequential Java, constraint programming, code splicing, parsing, and static incrementalization.

Table of Contents

Invited Paper
Functional Reactive Programmingp. 1
Regular Contributions
A Decidable Logic for Describing Linked Data Structuresp. 2
Interprocedural Control Flow Analysisp. 20
A Per Model of Secure Information Flow in Sequential Programsp. 40
QuotientingShare for Dependency Analysisp. 59
Types and Subtypes for Client-Server Interactionsp. 74
Types for Safe Lockingp. 91
Constructor Subtypingp. 109
Safe and Principled Language Interoperationp. 128
Deterministic Expressions in Cp. 147
A Programming Logic for Sequential Javap. 162
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programsp. 177
An Idealized MetaML: Simpler, and More Expressivep. 193
Type-Based Decompilationp. 208
An Operational Investigation of the CPS Hierarchyp. 224
Higher-Order Code Splicingp. 243
Expressing Structural Properties as Language Constructsp. 258
Polytypic Compact Printingand Parsingp. 273
Dynamic Programming via Static Incrementalizationp. 288
Author Indexp. 307
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program