ESOP 1996

Deadlines

Metrics

Submitted Papers

63

Accepted Papers

23

Venue

Linköping, County of Östergötland, Sweden

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","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":[],"imageoverlays":null}

Warning: Venue is missing. The map might not show the exact location.

The 6. European Symposium on Programming (ESOP) 1996

Topics

• software specification and verification (including algebraic techniques and model checking),
• programming paradigms and their integration (including functional, logic, concurrent, and object-oriented),
• semantics facilitating the formal development and implementation of programming languages and systems,
• advanced type systems (including polymorphism and subtyping),
• program analysis (including abstract interpretation and constraint systems),
• program transformation (including partial evaluation and term rewriting),
• implementation techniques (including compilation).