A category-theoretic approach to syntactic software merging

IEEE International Conference on Software Maintenance, ICSM

Volumn 2005, Issue , 2005, Pages 197-206

  Niu, Nan ^a   Easterbrook, Steve ^a   Sabetzadeh, Mehrdad ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FUZZY SETS; GRAPH THEORY; LARGE SCALE SYSTEMS; MERGING; SYNTACTICS;

CALL STRUCTURES; FUZZY GRAPHS; SOFTWARE EVOLUTION; SOFTWARE MERGING; STRUCTURAL ELEMENTS;

COMPUTER SOFTWARE;

EID: 33646925149     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2005.6     Document Type: Conference Paper

References (22)

1. M. Barr and C. Wells. Category Theory for Computing Science. Les Publications CRM Montréal, third edition, 1999.
2. E. Burd and M. Munro. Investigating component based maintenance and the effect of software evolution: a reengineering approach using data clustering. In Intl. Conference on Software Maintenance, pages 199-207, 1998.
3. R. Conradi and B. Westfechtel. Version models for software configuration management. ACM Computing Surveys, 30(2):232-282. June 1998.
4. B. Davey and H. Priestley. Introduction to Lattices and Order. Cambridge University Press, second edition. 2002.
5. S. Eick, T. Graves, A. Karr, A. Mockus, and P. Schuster. Visualizing software changes. IEEE Trans. on Software Engineering, 28(4):396-412, 2002.
6. M. Fitting. Kleene's logic, generalized. Journal of Logic and Computation. 1:797-810, 1992.
7. M. Godfrey and L. Zou. Using origin analysis to detect merging and splitting of source code entities. IEEE Trans. on Software Engineering, 31(2):166-181, 2005.
8. J. Goguen. Categories of Fuzzy Sets: Applications of Non-Cantorian Set Theory. PhD thesis, University of California, Berkeley, 1968.
9. J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of ACM, 39(1):95-146. 1992.
10. T. Hendrix and J. Cross. Language independent generation of graphical representations of source code. In Annual Conference on Computer Science, pages 66-72. 1995.
11. T. Kamiya, S. Kusumoto, and K. Inoue. Cefinder: A multilinguistic token-based code clone detection system for large scale souce code. IEEE Trans. on Software Engineering. 8(7):654-670, 2002.
12. M. Lehman and L. Belady. Program Evolution: Process of Software Change. Academic Press, 1985.
13. T. Mens. A Formal Foundation for Object-Oriented Software Evolution. PhD thesis. Vrije University, 1999.
14. T. Mens. A state-of-the-art survey on software merging. IEEE Trans. on Software Engineering, 28(5):449-462, 2002.
15. H. Müller and K. Klashinsky. Rigi -a system for programming-in-the- large. In Intl. Conference on Software Engineering, pages 80-86. 1988.
16. J. Munson and P. Dewan. A flexible object merging frame-work. In ACM Conference on Computer Supported Cooperative Work, pages 231-242, 1994.
17. D. Perry, H. Siy. and L. Votta. Parallel changes in large scale software development: an observational case study. In Intl. Conference on Software Engineering, pages 251-260, 1998.
18. J. Rho and C. Wu. An efficient version model of software diagrams. In Asia-Pacific Conference on Software Engineering, pages 236-243, 1998.
19. M. Sabetzadeh. A category-theoretic approach to representation and analysis of inconsistency in graph-based view-points. Master's thesis, University of Toronto. 2003.
20. M. Sabetzadeh and S. Easterbrook. Analysis of inconsistency in graph-based viewpoints: a category-theoretic approach. In Intl. Conference on Automated Software Engineering, pages 12-21, 2003.
21. Q. Tu and M. Godfrey. An integrated approach for studying software architectural evolution. In Intl. Workshop on Program Comprehension, pages 127-136, 2002.
22. K. Williamson, M. Healy, and R. Barker. Industrial applications of software synthesis via category theory - case studies using specware. Automated Software Engineering, 8(1):7-30, 2001.