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 6. European Symposium on Programming (ESOP) 1996 ==Topics== *software specification and verification (including algebraic techniques and model checking), *programming paradigms and their integration (including functional, logic, concurrent, and object-oriented), *semantics facilitating the formal development and implementation of programming languages and systems, *advanced type systems (including polymorphism and subtyping), *program analysis (including abstract interpretation and constraint systems), *program transformation (including partial evaluation and term rewriting), *implementation techniques (including compilation).
Save page Show preview Cancel