ESOP 1996

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain2.svg Pain7.svg

List of all ratings can be found at ESOP 1996/rating

ESOP 1996
European Symposium on Programming
Ordinal 6
Event in series ESOP
Dates 1996-04-22 (iCal) - 1996-04-24
Presence presence
Location
Location: SE/E/Linköping, SE/E, SE
Loading map...

Papers: Submitted 63 / Accepted 23 (36.5 %)
Committees
PC chairs: Hanne Riis Nielson
Table of Contents

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).