%0 Journal Article %1 logozzo05oo %A Logozzo, Francesco %A Cortesi, Agostino %D 2005 %J Electronic Notes in Theoretical Computer Science (Proc. of the First Int. Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005)) %K cites.ref state.unclassified %P 75--84 %T Abstract Interpretation and Object-oriented Programming: Quo Vadis? %U http://www.sciencedirect.com/science/article/B75H1-4G6CY6N-7/2/233b54cafc475f2488dbd1a94e1ff079 %V 131 %X 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.

@article{logozzo05oo, abstract = {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.}, added-at = {2010-10-07T11:11:14.000+0200}, author = {Logozzo, Francesco and Cortesi, Agostino}, biburl = {https://www.bibsonomy.org/bibtex/2c4aec045a8a7a04936f4e8836a5b09b6/msn}, description = {bstract Interpretation and Object-oriented Programming: Quo Vadis?}, interhash = {deaf7a2f0a3ef9a41a5afcdebad9ad75}, intrahash = {c4aec045a8a7a04936f4e8836a5b09b6}, journal = {Electronic Notes in Theoretical Computer Science (Proc. of the First Int. Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005))}, keywords = {cites.ref state.unclassified}, pages = {75--84}, timestamp = {2010-10-07T11:11:14.000+0200}, title = {Abstract Interpretation and Object-oriented Programming: Quo Vadis?}, url = {http://www.sciencedirect.com/science/article/B75H1-4G6CY6N-7/2/233b54cafc475f2488dbd1a94e1ff079}, volume = 131, year = 2005 }