Article

Free access

Automating the re-declaration of unneeded globals as private

Authors:

Amitava Datta,

Prabhaker MatetiAuthors Info & Claims

SAC '93: Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice

Pages 87 - 94

https://doi.org/10.1145/162754.162817

Published: 01 March 1993 Publication History

PDF eReader

References

[1]

Ballance, R.A., Graham, S.L., and Van De Vanter, M.L., 'The Pan Language-Based Editing System," A CM Transactions on Software Engineering, Vol. 1, No. 1, Jan 1992, pp. 95-127.

Digital Library

Google Scholar

[2]

Bird, R., and Wadler P., "Introduction to Functional Programming," Prentice-Hall, 1988.

Digital Library

Google Scholar

[3]

Boehm, H., and Weber, M., ~Gaxbage Collection in an Uncooperative Environment," So~tware Practice & Experience, September 1988, pp. 807-820.

Digital Library

Google Scholar

[4]

Boyle J.M., 'Abstract Programming and Program Transformation- An Approach to Reusing Programs," in Software Reusability, Vol. I, Editors Biggerstaff, T.J. and Perils, A.J., pp. 361-413.

Digital Library

Google Scholar

[5]

Cameron, R. D., and Ito, M. R., "Grammar-Based Definition of Metaprogramming Systems," A CM Transactions on Programming Languages and Systems, Jan 1984, Vol. 6, No. 1, pp. 20--54.

Digital Library

Google Scholar

[6]

Choi, S.C., and Scacchi, W., 'Extracting and Restructuring the Design of Large Systemsf IEEE Software, January, 1990.

Digital Library

Google Scholar

[7]

Datta, A., "Automated Adaptation of Programs," Ph.D. Dissertation, Wright State University, 3une 1992.

Google Scholar

[8]

Farnum, C., "Dora--An Environment for Experimenting with Compiler Optimizers,' IEEE International Con~erence on Computer Languages, April 1992, pp. 86--95.

Google Scholar

[9]

Linton, M., Vlissides, J.M., and Calder, P., "Composing User Interfaces with InterViews", IEEE Computer, 1989, pp. 8-22.

Digital Library

Google Scholar

[10]

Lipps, P., Moncke, U., and Wilhelm, R., "OPTRAN-- A Language/System for the Specification of Program Transformations: System Overview and Experiences,' Second Compiler Compilers and High Speed Compilation Workshop, October 1988, pp. 52-65.

Digital Library

Google Scholar

[11]

Lovemam, D.B., "Program Improvement by Source to Source Transformation,' Proceedings of the 3rd ACM Symposium on POPL, Jan. 1976, pp. 140-152.

Digital Library

Google Scholar

[12]

Mateti, P., "SM: A Formal Language for Software Design and Specification,' Techn/caj Report WSU- CS- 90- 7, Jan 1990.

Google Scholar

[13]

Partsch, H., and Steinbruggen, R., "Program Transformation Systems,' Computing Surveys, Vol. 15, No. 3, September 1983.

Digital Library

Google Scholar

[14]

"aEFINI~ User's Guide," Reasoning Systems, Inc., Palo Alto, California, May 1990.

Google Scholar

[15]

Schwanke, R.W., "An Intelligent Tool For Re-engineering Software Modularity,' Proceedings of the 13th International Conference on Software Engineering, May 1991.

Digital Library

Google Scholar

Index Terms

Automating the re-declaration of unneeded globals as private
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
  2. Software notations and tools
    1. General programming languages
      1. Language features
      2. Language types
    2. System description languages
      1. Specification languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs

Recommendations

Automating Software Re-engineering: Introduction to the ISoLA 2022 Track
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Abstract
Software Engineering is often viewed as the discipline of developing new software systems from scratch. In practice, however, it is much more common that software development starts from a system to be modified or substituted. Software re-...
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction
PEPM 2017: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

This paper proposes FUnCAL, a functional redesign of the graph transformation language UnCAL. A large amount of graph-structured data are widely used, including biological database, XML with IDREFs, WWW, and UML diagrams in software engineering. UnCAL ...
A semantic model of a small typed functional language using Object-Z
APSEC '00: Proceedings of the Seventh Asia-Pacific Software Engineering Conference

The Object-Z notation is a good meta-language that can be used to specify the denotational semantics of programming languages. It has been effectively applied to some categories of languages. These include the procedural languages, the object-oriented ...

Reviews

Reviewer: James Edward Tomayko

One problem in the reuse of software components is code developed with globals. The authors are de veloping a system called SSA that contains a database of rules that make it possible for code to be automatically re-engineered to reduce or eliminate global references. Input to SSA is in ASL, a formal specification language that describes the desired adaptations. ASL is programming language–independent, but the paper only gives examples of adaptations of C routines. This paper is of interest to those working on re-engineering and reuse, as well as those working in software maintenance. The use of ASL is time-consuming, but once written, an ASL specification can be used on multiple programs.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SAC '93: Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice

March 1993

804 pages

ISBN:0897915674

DOI:10.1145/162754

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC93

Sponsor:

SIGAPP

SAC93: 1993 Symposium on Applied Computing

February 14 - 16, 1993

Indiana, Indianapolis, USA

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
167
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)8

Reflects downloads up to 29 Sep 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Automating Software Re-engineering: Introduction to the ISoLA 2022 Track

A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction

A semantic model of a small typed functional language using Object-Z

Reviews

Access critical reviews of Computing literature here