Showing papers by "R. Nigel Horspool published in 1992"
05 Oct 1992
TL;DR: An analysis algorithm is presented which discovers the potential classes of each object in an object-oriented program as well as a safe approximation of their lifetimes using abstract domains that approximate memory configurations and interprocedural call patterns of the program.
Abstract: Generation of efficient code for object-oriented programs requires knowledge of object lifetimes and method bindings. For object-oriented languages that have automatic storage management and dynamic look-up of methods, the compiler must obtain such knowledge by performing static analysis of the source code. We present an analysis algorithm which discovers the potential classes of each object in an object-oriented program as well as a safe approximation of their lifetimes. These results are obtained using abstract domains that approximate memory configurations and interprocedural call patterns of the program. We present several alternatives for these abstract domains that permit a trade-off between accuracy and complexity of the overall analysis.
52 citations
Book•
01 Jun 1992
TL;DR: The user environment: getting started with UNIX C programming overview using the vi editor the C shell, csh networking programs compiler tools - lex compiler Tools - yacc.
Abstract: Part 1 The user environment: getting started with UNIX C programming overview using the vi editor the C shell, csh networking programs compiler tools - lex compiler tools - yacc. Part 2 System programming in C: library functions for input/output additional library functions processes and signals terminal and window handling communicating between processes. Part 3 Managing and maintaining software: developing large C programs project management and version control debugging and profiling C code.
3 citations