Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings

by European Symposium on Programming 2001 (Genova, Italy); Sands, David; Etaps 200 (2001 Genoa, Italy)

• ISBN13: 9783540418627
• ISBN10: 3540418628
• Format: Paperback
• Copyright: 2001-04-01
• Publisher: Springer Verlag

Summary

Computational intelligence integrates fields like neural networks, fuzzy systems, evolutionary computation and intelligent systems in general. The new trends consist in the cooperation of various techniques into hybrid intelligent systems. This multi-author book with contributions from leading scientists as G. Carpenter, L. Zadeh, K. Fukushima, N. Kasabov, K. Hirota, H. Takagi, H. Adeli, B. Igelnik, L. Koczy, J. Kacprzyk, C. Moraga, T. Gedeon and many others presents interesting and promising aspects of the future of computational intelligence as an important part of intelligent information systems. With a foreword written by J. Bezdek who first published the notion of computational intelligence.

Table of Contents

A Query Language Based on the Ambient Logic	1	(22)
Luca Cardelli
Giorgio Ghelli
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis	23	(7)
John C. Mitchell
A Systematic Approach to Static Access Control	30	(16)
Francois Pottier
Christian Skalka
Scott Smith
Secure Information Flow and CPS	46	(16)
Steve Zdancewic
Andrew C. Myers
Enforcing Safety Properties Using Types Specialization	62	(15)
Peter Thiemann
Semantics and Program Analysis of Computationally Secure Information Flow	77	(15)
Peeter Laud
Encoding Intensional Type Analysis	92	(15)
Stephanie Weirich
Fusion on Languages	107	(15)
Roland Backhouse
Programming the Web with High-Level Programming Languages	122	(15)
Paul Graunke
Shriram Krishnamurthi
Steve Van Der Hoeven
Matthias Felleisen
On the Completeness of Model Checking	137	(18)
Francesco Ranzato
Modal Transition Systems: A Foundation for Three-Valued Program Analysis	155	(15)
Michael Huth
Radha Jagadeesan
David Schmidt
Entailment with Conditional Equality Constraints	170	(20)
Zhendong Su
Alexander Aiken
On the Complexity of Constant Propagation	190	(16)
Markus Muller-Olm
Oliver Ruthing
What Are Polymorphically-Typed Ambients?	206	(15)
Torben Amtoft
Assaf J. Kfoury
Santiago M. Pericas-Geertsen
JOIN (X): Constraint-Based Type Inference for the Join-Calculus	221	(16)
Sylvain Conchon
Francois Pottier
Modular Causality in a Synchronous Stream Language	237	(15)
Pascal Cuoq
Marc Pouzet
Control-Flow Analysis in Cubic Time	252	(17)
Flemming Nielson
Helmut Seidl
The Recursive Record Semantics of Objects Revisited	269	(15)
Gerard Boudol
A Formalisation of Java's Exception Mechanism	284	(18)
Bart Jacobs
A Formal Executable Semantics of the JavaCard Platform	302	(18)
Gilles Barthe
Guillaume Dufay
Line Jakubiec
Bernard Serpette
Simao Melo de Sousa
Modeling an Algebraic Stepper	320	(15)
John Clements
Matthew Flatt
Matthias Felleisen
Typestate Checking of Machine Code	335	(17)
Zhichen Xu
Thomas Reps
Barton P. Miller
Proof-Directed De-compilation of Low-Level Code	352	(15)
Shin-ya Katsumata
Atsushi Ohori
Backwards Abstract Interpretation of Probabilistic Programs	367	(16)
David Monniaux
Tool Demonstration: Finding Duplicated Code Using Program Dependences	383	(4)
Raghavan Komondoor
Susan Horwitz
Compiling Problem Specifications into SAT	387	(15)
Marco Cadoli
Andrea Schaerf
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling	402	(15)
Annalisa Bossi
andro Etalle
Sabina Rossi
Jan-Georg Smaus
The Def-inite Approach to Dependency Analysis	417	(16)
Samir Genaim
Michael Codish
Author Index	433