Modular monadic program slicing

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2004, Pages 66-71

  Zhang, Yingzhou ^a,d   Xu, Baowen ^a,b,d   Shi, Liang ^a,d   Li, Bixin ^d   Yang, Hongji ^c  

^a Jiangsu Institute of Software Quality   (China)

^b WUHAN UNIVERSITY   (China)

^c DE MONTFORT UNIVERSITY   (United Kingdom)

^d SOUTHEAST UNIVERSITY   (China)

Author keywords

Formal semantics; Monad transformers; Monads; Program slicing

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; GRAPH THEORY; PROGRAM DEBUGGING; SYNTACTICS;

FORMAL SEMANTICS; MONAD TRANSFORMERS; MONADS; PROGRAM SLICING;

SEMANTICS;

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

References (33)

1. M. Weiser, "Program Slicing", IEEE Transaction on Software Engineering, 1984, vol. 16, no. 5, pp. 498-509.
2. M. Kamkar, "An Overview and Comparative Classification of Program Slicing Techniques", Journal of Systems and Software, 1995, vol. 31, no. 3, pp. 197-214.
3. F. Tip, "A Survey of Program Slcing Techniques", Journal of Programming Languages, 1995, vol.3, no.3, pp.121-189.
4. M. Harman and R. M. Hierons, "An Overview of Program Slicing", Software Focus, 2001, vol. 2, no. 3, pp. 85-92.
5. D. Binkley and K. B. Gallagher, "Program Slicing", Advances in Computers, 1996, vol. 43, pp. 1-50.
6. K. B. Gallagher and J. R. Lyle, "Using Program Slicing in Software Maintenance", IEEE Transactions on Software Engineering, 1991, vol. 17, no. 8, pp. 751-761.
7. P. A. Hausler, "Denotational Program Slicing", Proceeding of 22th Annual Hawaii International Conference on System Sciences, 1989, vol. 2, pp. 486-495.
8. L. Ouarbya, S. Danicic, M. Daoudi, M. Harman and C. Fox, "A Denotational Interprocedural Program Slicer", Proceeding of 9th IEEE Working Conference on Reverse Engineering, IEEE Press, Virginia, 2002, pp. 181-189.
9. G. A. Venkatesh, "The Semantic Approach to Program Slicing", ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, 1991, pp. 26-28.
10. E.Moggi, "Notions of Computation and Monads", Information and Computation, 1991, vol. 93, pp. 55-92.
11. S. Liang and P. Hudak, "Modular Denotational Semantics for Compiler Construction", Proceeding of 6th European Synposium on Programming Languages and Systems, ESOP'96. LNCS 1058, Springer-Verlag, Berlin, 1996, pp. 219-234.
12. K. Wansbrough, "A Modular Monadic Action Semantics", Master thesis, University of Auckland, Auckland, 1997.
13. P. D. Mosses, "Semantics, Modularity and Rewriting Logic", Proceeding of 2nd International Workshop on Rewriting Logic and its Applications, ENTCS 15, Elesvier Press, Netherlands, 1998.
14. J. Power, "Modularity in Denotational Semantics", Proceeding of 13th Annual Conference on Mathematical Foundations of Programming Semantics, Elsevier Press, New York, 2000.
15. E. Moggi, "An Abstract View of Programming Languages", LFCS Report, ECS-LFCS-90- 113, University of Edinburgh, 1989. http://www.lfcs. informatics.ed.ac.uk /reports/90/ECS-LFCS-90-l 13/.
16. P. Wadler, "Comprehending Monads", ACM Conference on Lisp and Functional Programming, ACM Press, France, 1990, pp. 61-78.
17. D. Espinosa, "Semantic Lego", PhD dissertation, Columbia University, Columbia, 1995.
18. S. Liang, P. Hudak and M. Jones, "Monad Transformers and Modular Interpreters", 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '95, ACM Press, New York, 1995, pp. 333-343.
19. P. Wadler, "The Essence of Functional Programming", Proceeding of 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New Mexico, 1992, pp. 1-14.
20. P. Wadler, "Monads for Functional Programming", Lecture Notes on Advanced Functional Programming Techniques, LNCS 925, Springer-Verlag, Berlin, 1995, pp. 24-52.
21. S. Liang, "Modular Monadic Semantics and Compilation", PhD dissertation, University of Yale, Yale, 1998.
22. J. E. Labra Gayo, M. C. Luengo Diez, J. M. Cueva Lovelle and A. C. del Rio, "A Language Prototyping System Using Modular Monadic Semantics", Workshop on Language Definitions, Tools and Applications, LDTA '01, Netherlands, 2001.
23. J. E. Labra Gayo, M. C. Luengo Diez, J. M. Cueva Lovelle and A. C del Rio, "Reusable Monadic Semantics of Object Oriented Programming Languages", Proceeding of 6th Brazilian Symposium on Programming Languages, SBLP'02, PUC-Rio University, Brazil, 2002.
24. K. Slonneger and B. Kurtz, "Formal Syntax And Semantics of Programming Language: A Lab Based Approach". Addison &Wesley, 1995.
25. G.Tibor, B. Árpád and F. István, "An Efficient Relevant Slicing Method for Debugging", Software Engineering Notes, Software Engineering ESEC/FSE'99 Springer ACM SIGSFT, 1999, vol. 24, no. 6, pp. 303-321.
26. Y. Song and D. Huynh, "Forward Dynamic Object-Oriented Program Slicing", Application-Specific Systems and Software Engineering and Technology, ASSET'99, IEEE CS Press, 1999, pp. 230-237.
27. B. Korel and S. Yalamanchili, "Forward Computation of Dynamic Program Slices", Proceedings of the International Symposium on Software Testing and Analysis, Washington DC, 1994, pp. 66-79.
28. G. A. Venkatesh, "Semantics of program slicing", Bellcore TM-ARH-018561, 1990.
29. W. Kahl, "A Modular Interpreter Built with Monad Transformers", Course Lectures on Functional Programming, CAS 781, 2003. http://www.cas. mcmaster. ca/~kahl/FP/2003/
30. K. J. Ottenstein and L. M. Ottenstein, "The Program Dependence Graph in A Software Development Environment", ACM SIGPLAN Notices, 1984, vol.19, no. 5, pp. 177-184.
31. G. Canfora, A. Cimitile and A. DeLucia, "Conditioned Program Slicing", Information and Software Technology, 1998, vol. 40, no. 11/12, pp. 595-607.
32. M. Harman and S. Danicic, "Amorphous Program Slicing", IEEE International Workshop on Program Comprehesion, IWPC'97, IEEE CS Press, Los Alamitos, 1997, pp. 70-79.
33. N. S. Papaspyrou, "A Resumption Monad Transformer and its Applications in the Semantics of Concurrency", Technical Report CSD-SW-TR-2-01, National Technical University of Athens, Software Engineering Laboratory, 2001.