University of Minho, Braga, Norte, Portugal
Loading map...
{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}
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
Cookies help us deliver our services. By using our services, you agree to our use of cookies.