did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540008866

Programming Languages and Systems : 12th European Symposium on Programming, Esop 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland 2003, Proceedings

by ; ;
  • ISBN13:

    9783540008866

  • ISBN10:

    3540008861

  • Format: Paperback
  • Copyright: 2003-03-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $129.00 Save up to $110.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

Table of Contents

Computer security from a Programming Language and Static Analysis Perspectivep. 1
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysisp. 10
A Tail-Recursive Semantics for Stack Inspectionsp. 22
Flexible Models for Dynamic Linkingp. 38
Correction of Functional Logic Programsp. 54
Approximate Pruning in Tabled Logic Programmingp. 69
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Schedulingp. 84
Security Properties: Two Agents Are Sufficientp. 99
A Simple Language for Real-Time Cryptographic Protocol Analysisp. 114
Rule Formats for Non Interferencep. 129
On the Secure Implementation of Security Protocolsp. 144
Handling Encryption in an Analysis for Secure Information Flowp. 159
Using Controller Synthesis to Build Property-Enforcing Layersp. 174
Automatic Software Model Checking Using CLPp. 189
Verifying Heap Properties Specified via Evolution Logicp. 204
Correctness of Data Representations Involving Heap Data Structuresp. 223
Modeling Web Interactionsp. 238
Type Inference for a Distributed [pi]-Calculusp. 253
Type-Safe Update Programmingp. 69
Type Error Slicing in Implicitly Typed Higher-Order Languagesp. 284
Core Formal Molecular Biologyp. 302
Requirements on the Execution of Kahn Process Networksp. 319
Tagging, Encoding, and Jones Optimalityp. 335
The Rely-Guarantee Method in Isabelle/HOLp. 348
Building Certified Libraries for PCC: Dynamic Storage Allocationp. 363
Finite Differencing of Logical Formulas for Static Analysisp. 380
Register Allocation by Proof Transformationp. 399
Author Indexp. 415
Table of Contents provided by Blackwell. 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