(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "|User:Curator 65" to "|Tib") |
||
Line 4: | Line 4: | ||
|Ordinal=6 | |Ordinal=6 | ||
|Type=Symposium | |Type=Symposium | ||
− | | | + | |TibKatId=193972611 |
|gndId=2154273-9 | |gndId=2154273-9 | ||
|DblpConferenceId=esop/esop96 | |DblpConferenceId=esop/esop96 |
Revision as of 08:43, 7 July 2022
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).