AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Flemming Nielson

Flemming Nielson

Technical University of Denmark - Kongens Lyngby / Denmark
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1464931
Danmarks Tekniske Universitet
person_outline Flemming Nielson's MOST POPULAR ARTICLES
1-) Principles of program analysis Springer Science & Business Media, 2004
2-) Semantics with applications Wiley, 1992
3-) Abstract interpretation: a semantics-based tool for program analysis Handbook of logic in computer science 4, 527-636, 1994
4-) Two-level functional languages Cambridge university press, 1992
5-) Type and effect systems Correct System Design: Recent Insights and Advances, 114-136, 2000