- [Alp71] G.I. Babetsky, M.M. Bezhanova, Yu. M. Voloshin et al. The ALPHA Automatic Programming System. - Academic Press, New York, 1971.Google Scholar
- [AU73] A.V. Aho, J.D. Ulman. The Theory of Parsing, Translation, and Compiling, Vol. 2: Compiling, Prentice-Hall, Englewood Cliffs, NJ, 1973. Google ScholarDigital Library
- [BEKS92] Ju. V. Brukhanova, P.G. Emelyanov, V.N. Kasyanov, V.K. Sabelfeld. Methods and tools for semantic analysis of Modula-2 programs. - Program construction and optimization, Novosibirsk, 1993, pages 7-24. (in Russian).Google Scholar
- [Bou90] F. Bourdoncle. Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. Lecture Notes in Computer Science 456, pages 307-323. 1990. Google ScholarDigital Library
- [Cal88] D. Callahan. The program summary graph and flow-sensitive interprocedural data flow analysis. - Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, ACM, Atlanta, Georgia, 1988. Google ScholarDigital Library
- [Cou77] P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the Fourth ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, 1977. Google ScholarDigital Library
- [CWZ90] D.R. Chase, M. Wegman, and F.K. Zadeck. Analysis of pointers and structures. Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, SIGPLAN Notices, 25(6), pages 296-310, 1990. Google ScholarDigital Library
- [EG77] A.P. Ershov, V.V. Grushetsky. An implementation-oriented method for describing algorithmic languages. - Proceedings of the IFIP Congress 77, Toronto, (North-Holand, Amsterdam). 1977. - pages 117-122.Google Scholar
- [FWD92] Fifth Working Draft Modula-2 Standard. Draft 92/08/26,- Stanford. - September 1992.Google Scholar
- [Hec77] M.S. Hect. Flow Analysis of Computer Programs. - Programming Languages Series North-Holland. New York - 232p., 1977. Google ScholarDigital Library
- [Kas88] V.N. Kasyanov. Optimizing transformations of programs. - Moscow, "Nauka". 1988. -335p. (In Russian).Google Scholar
- [Kas93] V.N. Kasyanov. Transformational methods and tools of effective and reliable program construction. - Kibernetica and system analysis, N2, Kiev, 1993. -pages 30-39. (Li Russian).Google Scholar
- [KPT91] S.K. Kozukhina, I.V. Pottosin, O.B. Tome, Sh.I. Khodiev. Global optimization in multilanguage computing system. - Novosibirsk, 1991. (Preprint/RAS Sib. div., ISI; N 6). (In Russian).Google Scholar
- [KR78] R.W. Kernighan and D.M. Ritchie. The C Programming Language, Prentice-Hall, Englewood Cliffs, NJ, 1978. Google ScholarDigital Library
- [Kuz92] T.V. Kuzminov. Program interfaces in the Modula-Y compiler. - Programming environments: methods and tools. Institute of Informatics Systems. Novosibirsk, 1992. (In Russian).Google Scholar
- [LR92] W. Landi, B.G. Ryder. A Safe Approximate Algorithm for Interprocedural. Pointer Aliasing. Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation, SIGPLAN Notices, 27(7), pages 235-248, 1992. Google ScholarDigital Library
- [May81] E. Mayers. A Precise Interprocedural Data Flow Analysis Algorithm. - Proceedings 8th POPL Conference, ACM, January 1981. Google ScholarDigital Library
- [Mos89] P.D. Mosses. Unified Algebra and Action Semantics. Lecture Notes in Computer Science, B. Monien, R. Cori, eds., Springer, Berlin. Vol. 349, pages 17-35, 1989. Google ScholarDigital Library
- [Mul93] A. Mulker. Live Data Structures in Logic Programs. Derivation by means of Abstract Interpretation - Lecture Notes in Computer Science 675, - 220 p. 1993.Google Scholar
- [Pot92] I.V. Pottosin. The SOCRAT system: programming environment for embedded computers. - Novosibirsk, 1992. -20p. - (Preprint/RAS Sib. divis., ISI; N 11). (In Russian).Google Scholar
- [She92a] V.I. Shelekhov. Finding substitutors for object variables. - Programming environments: methods and tools. - Institute of Infornatics Systems. Novosibirsk, 1992. - pages 80-89. (In Russian).Google Scholar
- [She92b] V.I. Shelekhov. Program inner representation in the SOCRAT system. - Novosibirsk, 1992. - 34p.- (Preprint/RAS Sib. divis ISI; N 15). (In Russian).Google Scholar
- [Wir88] N. Wirth. Programming in Modula-2, forth edition. Springer-Verlag, New York. 1988.Google Scholar
Index Terms
- Object analysis of program
Recommendations
Taking an object-centric view on dynamic information with object flow analysis
A large body of research analyzes the runtime execution of a system to extract abstract behavioral views. Those approaches primarily analyze control flow by tracing method execution events or they analyze object graphs of heap memory snapshots. However, ...
Experimental program analysis: a new paradigm for program analysis
ICSE '06: Proceedings of the 28th international conference on Software engineeringProgram analysis techniques are used by software engineers to deduce and infer targeted characteristics of software systems for tasks such as testing, debugging, maintenance, and program comprehension. Recently, some program analysis techniques have ...
Enhancing program verifications by restricting object types
SAC '06: Proceedings of the 2006 ACM symposium on Applied computingObject types are abstract specifications of object behaviors; object behaviors are abstractly indicated by object component interdependencies; and program verifications are based on object behaviors. In conventional object type systems, object component ...
Comments