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, April 7-11, 2003, Proceedings / edited by Pierpaolo Degano.

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 a...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Degano, Pierpaolo (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Edition:	1st ed. 2003.
Series:	Lecture Notes in Computer Science, 2618 Springer eBook Collection.
Subjects:	Software engineering. Programming languages (Electronic computers). Computer programming. Data structures (Computer science). Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Invited Talks
Computer Security from a Programming Language and Static Analysis Perspective
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
Contributed Papers
A Tail-Recursive Semantics for Stack Inspections
Flexible Models for Dynamic Linking
Correction of Functional Logic Programs
Approximate Pruning in Tabled Logic Programming
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
Security Properties: Two Agents Are Sufficient
A Simple Language for Real-Time Cryptographic Protocol Analysis
Rule Formats for Non Interference
On the Secure Implementation of Security Protocols
Handling Encryption in an Analysis for Secure Information Flow
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
Automatic Software Model Checking Using CLP
Verifying Temporal Heap Properties Specified via Evolution Logic
Correctness of Data Representations Involving Heap Data Structures
Modeling Web Interactions
Type Inference for a Distributed ?-Calculus
Type-Safe Update Programming
Type Error Slicing in Implicitly Typed Higher-Order Languages
Core Formal Molecular Biology
Requirements on the Execution of Kahn Process Networks
Tagging, Encoding, and Jones Optimality
The Rely-Guarantee Method in Isabelle/HOL
Building Certified Libraries for PCC: Dynamic Storage Allocation
Finite Differencing of Logical Formulas for Static Analysis
Register Allocation by Proof Transformation.

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, April 7-11, 2003, Proceedings / edited by Pierpaolo Degano.

Similar Items