You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
The 11. European Symposium on Programming (ESOP) 2002 ==Topics== *Advanced type systems. *Program analysis. *Program transformation, specialization. *Semantics with applications to the development of correct, secure and efficient software and systems. *Domain specific languages. *Programming language based techniques for development, analysis, verification, validation, etc. *Programming language solutions to practical issues in security, safety, real-time and embedded computing. *Programming paradigms (including object-oriented, functional, logic, concurrent, mobile, aspect-oriented) and their relevance to practical problems
Save page Show preview Cancel