Difference between revisions of "ESOP 2007"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
Line 22: Line 22:
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-540-71316-6
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-540-71316-6
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-540-71316-6
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-540-71316-6
 +
|pageCreator=Tolga.karaarslan
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
 
The 16. European Symposium on Programming (ESOP) 2007  
 
The 16. European Symposium on Programming (ESOP) 2007  

Latest revision as of 20:23, 1 April 2022

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

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