ESOP 2007
Revision as of 13:15, 17 November 2021 by Tolga.karaarslan (talk | contribs) (Created page with "{{Event |Acronym=ESOP 2007 |Title=European Symposium on Programming |Ordinal=16 |Series=ESOP |Type=Symposium |Superevent=ETAPS 2007 |Start date=2007/03/24 |End date=2007/04/01...")
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: | Braga, Portugal |
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