Searching for "Static Analysis of Object Oriented Programs." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Object Graph Analysis
- … existing techniques for static analysis of object-oriented programs are not adequate for deriving general…
- Cited by 6 (2 self) – Add To MetaCart
-
Forward and Backward Analysis of Object-Oriented Database Programming Languages: An Application
- … the matter of defining a static analysis for object-oriented programming languages. Indeed, with such a…
- Cited by 1 (1 self) – Add To MetaCart
-
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
- … of research in this field. Keywords: Abstract interpretation, Object-oriented programming, static analysis 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Java and CoSy Technology for Embedded Systems: the JOSES Project
- … Research Direction 1.1 Modern object-oriented languages require sophisticated inter-class static analysis…
- Cited by 1 (1 self) – Add To MetaCart
-
Class Analysis of Object-Oriented Programs through Abstract Interpretation
- …Class Analysis of Object-Oriented Programs through Abstract Interpretation Thomas Jensen and Fausto…
- Cited by 7 (3 self) – Add To MetaCart
-
Open issues and research directions in Object Oriented testing
- … on static analysis of object-oriented programs in order to achieve static type correctness [6, 20…
- Cited by 2 (1 self) – Add To MetaCart
-
Static management of integrity in object-oriented databases: Design and implementation
- … That translation simplifies considerably the matter of defining a static analysis for object-oriented programming…
- Cited by 6 (1 self) – Add To MetaCart
-
A Refinement of the Escape Property
- … semantics for the static analysis of object-oriented programs [14]. That framework allows us to derive a…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 8.
