Open AccessAbstract Interpretation and Object-oriented Programming: Quo Vadis?
Author(s) -
Francesco Logozzo,
Agostino Cortesi
Publication year - 2005
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2005.01.024
Subject(s) - interpretation (philosophy) , computer science , status quo , object (grammar) , field (mathematics) , object oriented programming , programming language , artificial intelligence , political science , mathematics , pure mathematics , law
The aim of this position paper is to draw a quick overview of the main contributions in abstract interpretation of object-oriented programs, and to draw possible lines of research in this field
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom