ESOP 2007

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 2007/rating

ESOP 2007
European Symposium on Programming
Ordinal 16
Event in series ESOP
Subevent of ETAPS 2007
Dates 2007-03-24 (iCal) - 2007-04-01
Presence presence
Homepage: https://www.di.uminho.pt/etaps07/
Location
Location: BR/RS/Braga, BR/RS, BR
Loading map...

Papers: Submitted 136 / Accepted 34 (25 %)
Committees
PC chairs: Rocco De Nicola
Keynote speaker: Andrew Pitts
Table of Contents

The 16. European Symposium on Programming (ESOP) 2007


Topics

  • Design of programming languages and calculi and their formal properties
  • Techniques, methods, and tools for their implementation
  • Exploitation of programming styles within different programming paradigms
  • Automatic and manual methods for generating and reasoning about programs
  • The design and invention of systems and tools to assist in exploitation of the languages