Links
Program Analysis:
- The Safe language
- The Safe compiler (online)
- Abstract Interpretation (P. Cousot)
- COSTA
Research groups
- FADoSS - Formal Analysis and Design of Software Systems (UCM)
- GPD - Declarative programming group (UCM)
- CLIP - Computational Logic, Languages, Implementation and Parallelism (UPM)
- DS - Digital Security group (RU Nijmegen)
- Eden- Parallel Functional Programming
Programming:
Past events:
- TFP 2011 - 12th International Symposium on Trends in Functional Programming.
- FOPARA 2011 - 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis
- IFL 2002 - 14th International Workshop on the Implementation of Functional Languages