Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Esop 2001
European Symposium On Programming
Genova, Italy, April 2-6, 2001
ESOP is an annual conference devoted to the design, specification and
analysis of programming languages and programming systems. The scope
includes both practical and theoretical studies, and papers combining
theory and practice are particularly encouraged.
Possible topics for ESOP submissions include, but are not limited to:
Programming paradigms (including functional, logic, concurrent and
object-oriented) and their integration;
Semantics with applications to the development of correct, secure
and efficient software and systems;
Advanced type systems, program analysis, program transformation.
Submission Guidelines
Prospective authors are invited to submit full papers in English presenting
original research. Submitted papers must be unpublished and not submitted
for publication elsewhere. In particular, simultaneous submission of the
same contribution to multiple ETAPS conferences is forbidden.
The proceedings will be published as a
volume in the Springer-Verlag Lecture Notes in Computer Science series.
Final papers will be no more than 15 pages long in the format specified by
Springer-Verlag in