ESOP 2007
Jump to navigation
Jump to search
Event Rating
median | worst |
---|---|
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 |
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