Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cwi.nl/conferences/ETAPS99/ESOP.html
Organizers: Doaitse Swierstra (chair, Utrecht University, The Netherlands), Ralph Back (TUCS, Turku, Finland), Roland Backhouse (Eindhoven University of Technology, the Netherlands), Francois Bourdoncle (Ecole des Mines de Paris, France), Luca Cardelli (Microsoft Research, Cambridge, UK), Andrew Gordon (Microsoft Research, Cambridge, UK), John Hughes (Chalmers University of Technology, Götenborg, Sweden), John Launchbury (Oregon Graduate Institute, Portland, USA), Torben Mogensen (DIKU, Copenhagen, Denmark), Oege de Moor (Oxford, UK), Oscar Nierstrasz (University of Berne, Switzerland), Jose Oliveira (Un. Minho, Braga, Port), Maurizio Proietti (IASI-CNR, Roma, Italy), Gert Smolka (Universität des Saarlandes, Germany)
Description:
The conference is devoted to fundamental issues concerning programming languages and systems. Approaches to the specification, analysis and implementation of
languages and systems are the main concern; papers should emphasise usefulness, soundness, and correctness. Contributions which bridge the gap between theory
and practice are particularly welcome.
Topics traditionally covered by ESOP include:
Programming paradigms and their integration (including functional,logic, concurrent and object-oriented), Semantics facilitating the development of correct software, Advanced type systems (including polymorphism and subtyping), Program analysis (including abstract interpretation and constraint systems), Program transformation (including partial evaluation and termrewriting), Practical algorithms based on theoretical developments.
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.