12. ESOP 2003:
Warsaw,
Poland (Part of ETAPS 2003)
Pierpaolo Degano (Ed.):
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.
Lecture Notes in Computer Science 2618 Springer 2003, ISBN 3-540-00886-1 BibTeX
@proceedings{DBLP:conf/esop/2003,
editor = {Pierpaolo Degano},
title = {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},
booktitle = {ESOP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2618},
year = {2003},
isbn = {3-540-00886-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Contributed Papers
- John Clements, Matthias Felleisen:
A Tail-Recursive Semantics for Stack Inspections.
22-37
Electronic Edition (Springer LINK) BibTeX
- Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
Flexible Models for Dynamic Linking.
38-53
Electronic Edition (Springer LINK) BibTeX
- María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi:
Correction of Functional Logic Programs.
54-68
Electronic Edition (Springer LINK) BibTeX
- Luís Fernando Castro, David Scott Warren:
Approximate Pruning in Tabled Logic Programming.
69-83
Electronic Edition (Springer LINK) BibTeX
- Samir Genaim, Andy King:
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling.
84-98
Electronic Edition (Springer LINK) BibTeX
- Hubert Comon-Lundh, Véronique Cortier:
Security Properties: Two Agents Are Sufficient.
99-113
Electronic Edition (Springer LINK) BibTeX
- Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli:
A Simple Language for Real-Time Cryptographic Protocol Analysis.
114-128
Electronic Edition (Springer LINK) BibTeX
- Simone Tini:
Rule Formats for Non Interference.
129-143
Electronic Edition (Springer LINK) BibTeX
- Pablo Giambiagi, Mads Dam:
On the Secure Implementation of Security Protocols.
144-158
Electronic Edition (Springer LINK) BibTeX
- Peeter Laud:
Handling Encryption in an Analysis for Secure Information Flow.
159-173
Electronic Edition (Springer LINK) BibTeX
- Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten:
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.
174-188
Electronic Edition (Springer LINK) BibTeX
- Cormac Flanagan:
Automatic Software Model Checking Using CLP.
189-203
Electronic Edition (Springer LINK) BibTeX
- Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic.
204-222
Electronic Edition (Springer LINK) BibTeX
- Uday S. Reddy, Hongseok Yang:
Correctness of Data Representations Involving Heap Data Structures.
223-237
Electronic Edition (Springer LINK) BibTeX
- Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Modeling Web Interactions.
238-252
Electronic Edition (Springer LINK) BibTeX
- Cédric Lhoussaine:
Type Inference for a Distributed pi-Calculus.
253-268
Electronic Edition (Springer LINK) BibTeX
- Martin Erwig, Deling Ren:
Programming Type-Safe Program Updates.
269-283
Electronic Edition (Springer LINK) BibTeX
- Christian Haack, J. B. Wells:
Type Error Slicing in Implicitly Typed Higher-Order Languages.
284-301
Electronic Edition (Springer LINK) BibTeX
- Vincent Danos, Cosimo Laneve:
Core Formal Molecular Biology.
302-318
Electronic Edition (Springer LINK) BibTeX
- Marc Geilen, Twan Basten:
Requirements on the Execution of Kahn Process Networks.
319-334
Electronic Edition (Springer LINK) BibTeX
- Olivier Danvy, Pablo E. Martínez López:
Tagging, Encoding, and Jones Optimality.
335-347
Electronic Edition (Springer LINK) BibTeX
- Leonor Prensa Nieto:
The Rely-Guarantee Method in Isabelle/HOL.
348-362
Electronic Edition (Springer LINK) BibTeX
- Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao:
Building Certified Libraries for PCC: Dynamic Storage Allocation.
363-379
Electronic Edition (Springer LINK) BibTeX
- Thomas W. Reps, Shmuel Sagiv, Alexey Loginov:
Finite Differencing of Logical Formulas for Static Analysis.
380-398
Electronic Edition (Springer LINK) BibTeX
- Atsushi Ohori:
Register Allocation by Proof Transformation.
399-413
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:10:50 2009
by Michael Ley (ley@uni-trier.de)