ESOP 2007

From Openresearch
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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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
Loading map...

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


Submissions

Important Dates