Side-effect removal transformation

Proceedings - IEEE Workshop on Program Comprehension

Volumn 2001-January, Issue , 2001, Pages 310-319

  Harman, M ^a   Munro, M ^b   Hu, Lin ^a   Zhang, Xingyuan ^b  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b DURHAM UNIVERSITY   (United Kingdom)

Author keywords

Computer languages; Guidelines; Humans; Impedance; Software engineering; Thumb

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; ELECTRIC IMPEDANCE; SEMANTICS; SOFTWARE ENGINEERING;

C PROGRAMS; GUIDELINES; HUMANS; PROGRAM COMPREHENSION; PROGRAM STATE; SIDE EFFECT; THUMB;

C (PROGRAMMING LANGUAGE);

EID: 84950996099     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPC.2001.921741     Document Type: Conference Paper

References (35)

1. International standards origanisation: Programming languages - C. international standard, ISO/IEC 9899: 1990 (E), Dec. 1990.
2. BJØRNER, D., ERSHOV, A. P., AND JONES, N. D. Partial evaluation and mixed computation. North-Holland, 1987.
3. BOEHM, H.-J. Side effects and aliasing can have simple axiomatic descriptions. ACM Transactions on Programming Languages and Systems 7, 4 (Oct. 1985), 637-655.
4. CANFORA, G., CIMITILE, A., AND DE LUCIA, A. Conditioned program slicing. In Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier Science B. V., 1998, pp. 595-607.
5. CANNON, L., ELLIOTT, R., KIRCHHOFF, L., MILLER, J., MILNER, J., MITZE, R., SCHAN, E., WHITTINGTON, N., SPENCER, H., KEPPEL, D., AND BRADER, M. Recommended C style and coding standards, 2000. http://www.cs.umd.edu/users/cml/cstyle/indhill-cstyle.html.
6. CLAUSEN, L. R. A java bytecode optimizer using side-effect analysis. CONCURRENCY:PRACTICE AND EXPERIENCEPY 9, 11 (Nov. 1997), 1031-1045.
7. COEN-PORISINI, A., AND DE PAOLI, F. SYMBAD: A symbolic executor of sequential Ada programs. In IFAC SAFECOMP'90 (London, 1990), pp. 105-111.
8. COOPER, K. D., AND KENNEDY, K. Interprocedural side-effect analysis in linear time. In Proceedings of the SIGPLAN '88 Conference on Programming Languages Design and Implementation (1988), ACM, pp. 57-66.
9. COWARD, P. D. Symbolic execution systems - a review. Software Engineering Journal 3, 6 (Nov. 1988), 229-239.
10. COWARD, P. D. Symbolic execution and testing. Information and Software Technology 33, 1 (1991), 53-64.
11. CUNNINGHAM, R. J., AND GILFORD, M. E. J. A note on the semantic definition of side effects. Information Processing Letters 4, 5 (Feb. 1976), 118-120.
12. DANICIC, S., FOX, C., HARMAN, M., AND HIERONS, R. ConSIT: A conditioned program slicer. In IEEE International Conference on Software Maintenance (ICSM'00) (San Jose, California, USA, Oct. 2000), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 216-226.
13. DANICIC, S., HARMAN, M., AND SIVAGURUNATHAN, Y. A parallel algorithm for static program slicing. Information Processing Letters 56, 6 (Dec. 1995), 307-313.
14. th IEEE Workshop on Program Comprehension (Berlin, Germany, Mar. 1996), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 9-18.
15. FLOYD, R. W. Assigning meanings to programs. In Mathematical Aspects of Computer Science, J. T. Schwartz, Ed., vol. 19 of Symposia in Applied Mathematics. American Mathematical Society, Providence, RI, 1967, pp. 19-32.
16. FUTAMURA, Y., AND NOGI, K. Generalized partial computation. In IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987), D. Bjørner, A. P. Ershov, and N. D. Jones, Eds., North-Holland.
17. HAAHR, P. A programming style for java, Oct. 1999. http://www.webcom.com/~haahr/essays/java-style/.
18. HALL, C. V., AND O'DONNELL, J. T. Debugging in a side effect free programming environment. In Proceedings of the ACM SIGPLAN '85 Symposium on Language Issues in Programming Environments (New York, NY, 1985), ACM, pp. 60-68.
19. th IEEE International Workshop on Program Comprehesion (IWPC'97) (Dearborn, Michigan, USA, May 1997), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 70-79.
20. HARMAN, M., SIVAGURUNATHAN, Y., AND DANICIC, S. Analysis of dynamic memory access using amorphous slicing. In IEEE International Conference on Software Maintenance (ICSM'98) (Bethesda, Maryland, USA, Nov. 1998), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 336-345.
21. HOARE, C. A. R. An Axiomatic Basis of Computer Programming. Communications of the ACM 12 (1969), 576-580.
22. HOARE, C. A. R., AND WIRTH, N. An axiomatic definition of the programming language Pascal. Acta Informatica 2, 4 (Dec. 1973), 335-355.
23. KERNIGHAN, B. W., AND PIKE, R. The practice of programming. Addison-Wesley Longman, Reading, Massachusetts, 1999.
24. KERNIGHAN, B. W., AND RITCHIE, D. M. The C programming language. Prentice Hall, 1988. Second Edition, (ANSI C).
25. KOWALTOWSKI, T. Axiomatic approach to side effects and general jumps. Acta Informatica 7, 4 (Feb. 1977), 357-360.
26. LAMB, D. A. Benign side effects. Information Processing Letters 29, 6 (Dec. 1988), 301-305.
27. LANDIN, P. J. The next 700 programming languages. Communications of the ACM 9, 3 (Mar. 1966), 157-166.
28. MEHLICH, M., AND BAXTER, I. Mechanical tool support for high integrity software development. In High Integrity Systems '97 (1997), IEEE Computer Society Press, Los Alamitos, California, USA.
29. MEYER, B. Object-oriented Software Construction, second ed. Prentice Hall, New York, NY, 1997.
30. PARTSCH, H. A. The Specification and Transformation of Programs: A Formal Approach to Software Development. Springer, 1990.
31. SPULER, D. A., AND SAJEEV, A. S. M. Compiler detection of function call side effects. Informatica 18, 2 (1994), 219-227.
32. THOMAS, P. Learning to program in C, 2 ed. Plum Hall, Inc., 1989.
33. WARD, M., CALLISS, F. W., AND MUNRO, M. The maintainer's assistant. In Proceedings of the International Conference on Software Maintenance 1989 (1989), IEEE Computer Society Press, Los Alamitos, California, USA, p. 307.
34. WEISER, M. Program slicing. IEEE Transactions on Software Engineering 10, 4 (1984), 352-357.
35. WEYUKER, E. J. Program schemas with semantic restrictions. PhD thesis, New Brunswick, New Jersey, 1977.