ESOP 2009

ESOP 2009
European Symposium on Programming
Ordinal	18
Event in series	ESOP
Subevent of	ETAPS 2009
Dates	2009/03/22 (iCal) - 2009/03/29
Presence	presence
Homepage:	https://www.cs.york.ac.uk/etaps09/
Location
Location:	York, UK
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":53.9656579,"lon":-1.0743052,"icon":""}],"imageoverlays":null}
Table of Contents

The 18. European Symposium on Programming (ESOP) 2009

Topics

• Programming paradigms and styles: functional programming, aspect-oriented programming, object-oriented programming, logic programming, constraint programming, extensible programming languages, domain-specific languages, biologically-inspired languages, synchronous and real-time programming languages.
• Methods and tools to write, reason about, and specify languages and programs: module systems, programming techniques, meta programming, type systems, logical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.
• Methods and tools for implementation: rewriting systems, program transformations, partial evaluation, experimental evaluations, virtual machines, intermediate languages, run-time environments.
• Concurrency and distribution: parallel programming, process algebras, concurrency theory, service-oriented computing, distributed and mobile languages.