GENOA

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

GENOA: a customizable language- and front-end independent code analyzer

Full text

Pdf (1.20 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 14th international conference on Software engineering table of contents

Melbourne, Australia

Pages: 307 - 317

Year of Publication: 1992

ISBN:0-89791-504-6

Author

Premkumar T. Devanbu

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
ACS :
IEA :
IREE :
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 31, Citation Count: 50

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/143062.143148 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Robert A. Ballance , Susan L. Graham , Michael L. Van De Vanter, The Pan language-based editing system for integrated development, Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, p.77-93, December 03-05, 1990, Irvine, California, United States
	2	P. Borras , D. Clement , Th. Despeyroux , J. Incerpi , G. Kahn , B. Lang , V. Pascual, Centaur: the system, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.14-24, November 28-30, 1988, Boston, Massachusetts, United States
	3	Robert D. Cameron , M. Robert Ito, Grammar-Based Definition of Metaprogramming Systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.1, p.20-54, Jan. 1984 [doi>10.1145/357233.357235]
	4	Ashok K. Chandra, Theory of database queries, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.1-9, March 1988, Austin, Texas, United States [doi>10.1145/308386.308396]
	5	Chen, Y. F. and Ramamoorthy, C. V., The C Information Abstracter, Proceedings of the Tenth International Computer Software and Applications Conference (COMPSAC), October 1986, Chicago, IL.
	6	J. Craig Cleaveland, Building Application Generators, IEEE Software, v.5 n.4, p.25-33, July 1988 [doi>10.1109/52.17799]
	7	METATOOL Specification Driven Tool, System Overview, AT&T Bell Laboratories, June 1990. Document Number: 193010-211 (Available from R. Tatem, AT&T Bell Labs, North Andover, Mass.)
	8	Mariano Consens , Alberto Mendelzon , Arthur Ryman, Visualizing and querying software structures, Proceedings of the 14th international conference on Software engineering, p.138-156, May 11-15, 1992, Melbourne, Australia [doi>10.1145/143062.143106]
	9	Prem Devanbu , Ron Brachman , Peter G. Selfridge, LaSSIE: a knowledge-based software information system, Communications of the ACM, v.34 n.5, p.34-49, May 1991 [doi>10.1145/103167.103172]
	10	Devanbu, P. GENOA/GENII - A flexible applications generator for code analysis tools, in preparation.
	11	A N Habermann , D Notkin, Gandalf: software development environments, IEEE Transactions on Software Engineering, v.12 n.12, p.1117-1127, Dec.1986
	12	Susan Horwitz , Tim Teitelbaum, Generating editing environments based on relations and attributes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.577-608, Oct. 1986 [doi>10.1145/6465.6512]
	13	Susan Horwitz, Adding relational query facilities to software development environments, Theoretical Computer Science, v.73 n.2, p.213-230, June 22, 1990
	14	Neil Immerman, Relational queries computable in polynomial time, Information and Control, v.68 n.1-3, p.86-104, Jan/Feb/March 1986 [doi>10.1016/S0019-9958(86)80029-8]
	15	Kowalski, T., Seaquist, C. R., Ellis, B., Goguen, H. H., Puttress, J. J., Castillo, C. M., Rowland, J. R., Rath, C. A., Wilson, J. M., Vesonder, G. Schmidt, J. L., A Reflective C Programming Environment Proceedings of the International Workshop on UNIX-Based Software Development Environments, January 16, 1991, USENIX, Dallas, TX.
	16	Mark A. Linton, Implementing relational views of programs, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.132-140, April 1984
	17	Refine Users Manual, The Reasoning Systems Corporation, Palo, Alto, CA.,
	18	Thomas Reps , Tim Teitelbaum, The synthesizer generator, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.42-48, April 1984
	19	B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
	20	Rosenblum D., and Wolf A., Representing Semantically Analyzed C++ Code with Reprise, Proceedings of the Third USENIX C++ Conference, April 1991, Washington, DC.
	21	J .L. Steffen, Interactive examination of a C program with Cscope, Proc. USENIX Assoc. Winter Conference, Jan, 1985.

CITED BY 51

	Rudolf K. Keller , Reinhard Schauer , Sébastien Robitaille , Patrick Pagé, Pattern-based reverse-engineering of design components, Proceedings of the 21st international conference on Software engineering, p.226-235, May 16-22, 1999, Los Angeles, California, United States
	Gail C. Murphy , David Notkin, Lightweight source model extraction, ACM SIGSOFT Software Engineering Notes, v.20 n.4, p.116-127, Oct. 1995
	Premkumar T. Devanbu , David S. Rosenblum , Alexander L. Wolf, Automated construction of testing and analysis tools, Proceedings of the 16th international conference on Software engineering, p.241-250, May 16-21, 1994, Sorrento, Italy
	Dean F. Jerding , John T. Stasko , Thomas Ball, Visualizing interactions in program executions, Proceedings of the 19th international conference on Software engineering, p.360-370, May 17-23, 1997, Boston, Massachusetts, United States
	Premkumar Devanbu , Mark A. Jones, The use of description logics in KBSE systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.2, p.141-172, April 1997
	Patrick Finnigan , Richard C. Holt , Ivan Kallas , Scott Kerr , Kostas Kontogiannis , Hausi A. Müller , John Mylopoulos , Stephen G. Perelgut , Martin Stanley , Kerny Wong, The software bookshelf, Advances in software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	James M. Bieman , Josephine Xia Zhao, Reuse through inheritance: a quantitative study of C++ software, ACM SIGSOFT Software Engineering Notes, v.20 n.SI, p.47-52, Aug. 1995
	Gail C. Murphy , David Notkin, Lightweight lexical source model extraction, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.262-292, July 1996
	James Hayes , William G. Griswold , Stuart Moskovics, Component design of retargetable program analysis tools that reuse intermediate representations, Proceedings of the 22nd international conference on Software engineering, p.356-365, June 04-11, 2000, Limerick, Ireland
	Prem Devanbu , Sakke Karstu , Walcélio Melo , William Thomas, Analytical and empirical evaluation of software reuse metrics, Proceedings of the 18th international conference on Software engineering, p.189-199, March 25-29, 1996, Berlin, Germany
	Rudolf K. Keller , Reinhard Schauer, Design components: toward software composition at the design level, Proceedings of the 20th international conference on Software engineering, p.302-311, April 19-25, 1998, Kyoto, Japan
	Boris Bokowski, CoffeeStrainer: statically-checked constraints on the definition and use of types in Java, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.355-374, Nov. 1999
	James M. Bieman , Byung-Kyoo Kang, Cohesion and reuse in an object-oriented system, ACM SIGSOFT Software Engineering Notes, v.20 n.SI, p.259-262, Aug. 1995
	Premkumar T. Devanbu, Translating description logics to information server queries, Proceedings of the second international conference on Information and knowledge management, p.256-263, November 01-05, 1993, Washington, D.C., United States
	Amir Michail, Browsing and searching source code of applications written using a GUI framework, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	K. Kontogiannis , J. Mylopoulos , S. Wu, Towards environment-retargetable parser generators, Advances in software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	Prem Devanbu , Stuart G. Stubblebine, Cryptographic verification of test coverage claims, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.395-413, Nov. 1997
	M. Ajmal Chaumun , Hind Kabaili , Rudolf K. Keller , François Lustman, A change impact model for changeability assessment in object-oriented software systems, Science of Computer Programming, v.45 n.2-3, p.155-174, November 2002
	Premkumar T. Devanbu , David S. Rosenblum , Alexander L. Wolf, Generating testing and analysis tools with Aria, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.1, p.42-62, Jan. 1996
	P. Devanbu , Y.-F. Chen , E. Gansner , H. Müller , J. Martin, CHIME: customizable hyperlink insertion and maintenance engine for software engineering environments, Proceedings of the 21st international conference on Software engineering, p.473-482, May 16-22, 1999, Los Angeles, California, United States
	Nabor C. Mendonça , Jeff Kramer, Requirements for an effective architecture recovery framework, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.101-105, October 16-18, 1996, San Francisco, California, United States
	M. Ajmal Chaumun , Rudolf K. Keller , François Lustman, Design properties and evolvability of object-oriented systems, Advances in software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	Saïda Benlarbi , Walcelio L. Melo, Polymorphism measures for early risk prediction, Proceedings of the 21st international conference on Software engineering, p.334-344, May 16-22, 1999, Los Angeles, California, United States
	David A. Ladd , J. Christopher Ramming, A": A Language for Implementing Language Processors, IEEE Transactions on Software Engineering, v.21 n.11, p.894-901, November 1995
	Santanu Paul , Ataul Prakash, A Query Algebra for Program Databases, IEEE Transactions on Software Engineering, v.22 n.3, p.202-217, March 1996
	Prem Devanbu, On 'A Framework for Source Code Search Using Program Patterns', IEEE Transactions on Software Engineering, v.21 n.12, p.1009-1010, December 1995
	Carlo Brandolese , William Fornaciari , Luigi Pomante , Fabio Salice , Donatella Sciuto, Affinity-Driven System Design Exploration for Heterogeneous Multiprocessor SoC, IEEE Transactions on Computers, v.55 n.5, p.508-519, May 2006
	Yih-Farn R. Chen , Emden R. Gansner , Eleftherios Koutsofios, A C++ data model supporting reachability analysis and dead code detection, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.414-431, Nov. 1997
	Mati Shomrat , Amiram Yehudai, Obvious or not?: regulating architectural decisions using aspect-oriented programming, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands
	Donatella Sciuto , Fabio Salice , Luigi Pomante , William Fornaciari, Metrics for design space exploration of heterogeneous multiprocessor embedded systems, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado
	R. E. Kurt Stirewalt , Laura K. Dillon, Generation of visitor components that implement program transformations, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.86-94, May 2001
	Premkumar Thomas Devanbu , Stuart G. Stubblebine, Cryptographic Verification of Test Coverage Claims, IEEE Transactions on Software Engineering, v.26 n.2, p.178-192, February 2000
	Stan Jarzabek, Design of Flexible Static Program Analyzers with PQL, IEEE Transactions on Software Engineering, v.24 n.3, p.197-215, March 1998
	Gerardo Canfora , Aniello Cimitile , Ugo de Carlini , Andrea de Lucia, An Extensible System for Source Code Analysis, IEEE Transactions on Software Engineering, v.24 n.9, p.721-740, September 1998
	Gerardo Canfora , Aniello Cimitile , Ugo de Carlini, A Logic-Based Approach to Reverse Engineering Tools Production, IEEE Transactions on Software Engineering, v.18 n.12, p.1053-1064, December 1992
	Heung Seok Chae , Yong Rae Kwon , Doo Hwan Bae, Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables, IEEE Transactions on Software Engineering, v.30 n.11, p.826-832, November 2004
	Sam McLellan , Al Roesler , Zongming Fei , Savita Chandran , Clay Spinuzzi, Experience Using Web-Based Shotgun Measures for Large-System Characterization and Improvement, IEEE Transactions on Software Engineering, v.24 n.4, p.268-277, April 1998
	Victor R. Basili , Lionel C. Briand , Walcélio L. Melo, A Validation of Object-Oriented Design Metrics as Quality Indicators, IEEE Transactions on Software Engineering, v.22 n.10, p.751-761, October 1996
	Lester J. Holtzblatt , Richard L. Piazza , Howard B. Reubenstein , Susan N. Roberts , David R. Harris, Design Recovery for Distributed Systems, IEEE Transactions on Software Engineering, v.23 n.7, p.461-472, July 1997
	Yih-Farn Chen , Emden R. Gansner , Eleftherios Koutsofios, A C++ Data Model Supporting Reachability Analysis and Dead Code Detection, IEEE Transactions on Software Engineering, v.24 n.9, p.682-694, September 1998
	Michelle Mills Strout , John Mellor-Crummey , Paul Hovland, Representation-independent program analysis, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006
	Xiaolan Zhang , Larry Koved , Marco Pistoia , Sam Weber , Trent Jaeger , Guillaume Marceau , Liangzhao Zeng, The case for analysis preserving language transformation, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
	Richard C. Holt , Andy Schürr , Susan Elliott Sim , Andreas Winter, GXL: a graph-based standard exchange format for reengineering, Science of Computer Programming, v.60 n.2, p.149-170, April 2006
	Darren C. Atkinson , William G. Griswold, Effective pattern matching of source code using abstract syntax patterns, Software—Practice & Experience, v.36 n.4, p.413-447, April 2006
	Roger F. Crew, ASTLOG: a language for examining abstract syntax trees, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.18-18, October 15-17, 1997, Santa Barbara, California
	Sandya Mannarswamy , Shruti Doval , Hariharan Sandanagobalane , Mahesha Nanjundaiah, TRICK: tracking and reusing compiler's knowledge, ACM SIGPLAN Notices, v.41 n.12, December 2006
	Spencer Rugaber, The use of domain knowledge in program understanding, Annals of Software Engineering, v.9 n.1-4, p.143-192, 2000
	Gerardo Canfora , Andrea De lucia , Giuseppe A. Di Lucca, A System for Generating Reverse Engineering Tools: A Case Study of Software Modularisation, Automated Software Engineering, v.6 n.3, p.233-263, July 1999
	Robert E. Filman, Applying AI to Software Renovation, Automated Software Engineering, v.4 n.3, p.341-360, July 1997
	Gyun Woo , Heung Seok Chae , Jian Feng Cui , Jeong-Hoon Ji, Revising cohesion measures by considering the impact of write interactions between class members, Information and Software Technology, v.51 n.2, p.405-417, February, 2009