Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.disi.unige.it/etaps2001/ESOP/index.html, http://www.cs.chalmers.se/~dave/esop/
Organizers: David Sands
Description:
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.
Date received: August 15, 2000
© 2008 Atlas Conferences Inc.