Compile-time analysis of object-oriented programs (original) (raw)
Related papers
Simple and effective analysis of statically-typed object-oriented programs
ACM SIGPLAN Notices, 1996
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
1995
Using types to analyze and optimize object-oriented programs
ACM Transactions on Programming Languages and Systems, 2001
Introspection-An Optimal Technique for Dynamic Analysis of Object Oriented Programs
Whole-Program Optimization of Object-Oriented Languages
1996
Memory usage inference for object-oriented programs
2004
Predicting Access to Persistent Objects Through Static Code Analysis
New Trends in Databases and Information Systems, 2017
Distinctness and Sharing Domains for Static Analysis of Java Programs
Lecture Notes in Computer Science, 2001
Predictable memory usage for object-oriented programs
2004
Alias Analysis for Object-Oriented Programs
Lecture Notes in Computer Science, 2013
Finding key classes in object-oriented software systems by techniques based on static analysis
Information & Software Technology, 2019
Path-Length Analysis for Object-Oriented Programs
2006
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis
Lecture Notes in Computer Science, 2012
Object flow analysis: taking an object-centric view on dynamic analysis
2007
2001
Extracting Classes from Routine Calls in Legacy Software
Nicolas Anquetil, Timothy C Lethbridge
A tool framework for static and dynamic analysis of object-oriented software with templates
|, 2000
Precise concrete type inference for object-oriented languages
ACM SIGPLAN Notices, 1994
ARC++: effective typestate and lifetime dependency analysis
Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014
Synthesizing parametric specifications of dynamic memory utilization in object-oriented programs
2005
IOSR Journal of Computer Engineering, 2012
An Optimising Delivery System for Object-Oriented Software
2006
2001
A Survey of Static Program Analysis Techniques
2005
Techniques for reducing the complexity of object-oriented execution traces
2003
Code Based Analysis for Object-Oriented Systems
Journal of Computer Science and Technology, 2006
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs
The Journal of Object Technology, 2008
Cost analysis of object-oriented bytecode programs
Theoretical Computer Science, 2012
Empirical assessment of object-oriented implementations with multiple inheritance and static typing