Programming language concepts (2nd ed.)
Programming language concepts (2nd ed.)
A Concept Formation Based Approach to Object Identification in Procedural Code
Automated Software Engineering
High Integrity Software: The SPARK Approach to Safety and Security
High Integrity Software: The SPARK Approach to Safety and Security
Concepts of Programming Languages
Concepts of Programming Languages
Optimizing the SPARK program slicer
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
Proving functional equivalence for program slicing in SPARKTM
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are visible to the entire program, are considered harmful to the maintainability of software systems because of the side effects that can result. A tool has been developed based on the Ada Semantic Interface Specification (ASIS) that can be used to identify global variables and re-engineer Ada procedures. By adding global variables to the parameter lists of appropriate procedures, the variables can be removed from the globally visible data space and introduced into the local declaration space.