Reverse program calculation supported by code slicing

Reverse Engineering - Working Conference Proceedings

Volumn , Issue , 2001, Pages 35-45

  Villavicencio, G ^a   Oliveira, J N ^a  

^a Universidad Catolica de Santiago del Estero   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMPUTER PROGRAMMING; SEMANTICS;

CODE SLICING;

REVERSE ENGINEERING;

EID: 0034770226     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Fixed point calculus
2. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs
3. Algebra of programming
4. A transformation system for developing recursive programs
5. Reverse engineering and design recovery: A taxonomy
6. Qualifying reusable functions using symbolic execution
7. A specification driven slicing process for identifying reusable functions
8. Conditioned program slicing
9. Using program slicing in software maintenance
10. A formal approach for reverse engineering: A case study
11. Amorphous program slicing
12. Projecting functional models of imperative programs
13. Program comprehension assisted by slicing and transformation
14. Towards a mathematical science of computation
15. Paramorphisms
16. Converting informal meta-data to VDM-SL: A reverse calculation approach
17. Towards merging recursion and comonads
18. An exact interpretation of while
19. Identifying objects using cluster and concept analysis
20. Understanding cobol systems using inferred types
21. The semantic approach to program slicing
22. Program analysis for the automatic detection of programming plans applying slicing
23. Program slicing