Open unification for program query languages

Proceedings - International Conference of the Chilean Computer Science Society, SCCC

Volumn , Issue , 2007, Pages 92-101

  Brichau, Johan ^a   De Roover, Coen ^b   Mens, Kim ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTER SOFTWARE; COMPUTERS; FUZZY LOGIC; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; LOGIC PROGRAMMING; STANDARDS;

COMPLEX QUERIES; INTER-LANGUAGE REFLECTION; INTERNATIONAL CONFERENCES; JAVA PROGRAMS; LANGUAGES (TRADITIONAL); LOGIC PROGRAMS; LOGIC VALUES; PRACTICAL IMPLEMENTATION; SMALLTALK; STANDARD LOGIC;

QUERY LANGUAGES;

EID: 47349093067     PISSN: 15224902     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCCC.2007.4396981     Document Type: Conference Paper

References (18)

1. J. Cohen and T. J. Hickey. Parsing and compiling using prolog. Transactions on Programming Languages and Systems, 9(2):125-163, 1987.
2. C. De Roover, J. Brichau, and T. D'Hondt. Combining fuzzy logic and behavioral similarity for non-strict program validation. In Proc. of the 8th Symp. on Principles and Practice of Declarative Programming, pages 15-26, 2006.
3. C. De Roover, I. Michiels, K. Gybels, K. Gybels, and T. D'Hondt. An approach to high-level behavioral program documentation allowing lightweight verification. In Proc. of the 14th IEEE Int. Conf. on Program Comprehension, pages 202-211, 2006.
4. M. D'Hondt, K. Gybels, and V. Jonckers. Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis. In Proc. of the 2004 Symp. on Applied computing, pages 1328-1335, 2004.
5. J. Fabry and T. Mens. Language-independent detection of object-oriented design patterns. Elsevier Int. Journal on Computer Languages, Systems & Structures, 30(1-2):21-33, 2004.
6. D. Gilbert and M. Schroeder. Fury: Fuzzy unification and resolution based on edit distance. In Proc. of the 1st IEEE Int. Symp. on Bioinformatics and Biomedical Engineering, pages 330-336, 2000.
7. K. Gybels, R. Wuyts, S. Ducasse, and M. D'Hondt. Interlanguage reflection: A conceptual model and its implementation. Elesevier Int. Journal on Computer Languages, Systems and Structures, 32:109-124, 2006.
8. E. Hajiyev, M. Verbaere, and O. de Moor. Codequest: Scalable source code queries with datalog. In Proc. of the 20th European Conf. on Object-Oriented Programming, volume 4067 of Lecture Notes in Computer Science, pages 2-27, 2006.
9. D. Janzen and K. D. Volder. Navigating and querying code without getting lost. In Proc. of the 2nd Int. Conf. on Aspect-oriented software development, pages 178-187, 2003.
10. JavaConnect:.http://www.info.ucl.ac.be/~jbrichau/software.html
11. G. Kiczales, A. Paepcke, and G. Kiczales. Open Implementations and Metaobject Protocols.
12. O. Lhoták. Spark: A flexible points-to analysis frame-work for java. Master's thesis, McGill University, December 2002.
13. M. Martin, B. Livshits, and M. S. Lam. Finding application errors and security flaws using PQL: a program query language. In Proc. of the Conf. on Object-oriented Programming Systems, Languages and Applications, pages 365-383, 2005.
14. K. Mens, I. Michiels, and R. Wuyts. Supporting software development through declaratively codified programming patterns. In Proc. of the 13th Int. Software Engineering and Knowledge Engineering Conf., 2001.
15. M. I. Sessa. Approximate reasoning by similarity-based sld resolution. Theoretical Computer Science, 275(1-2):389-426, 2002.
16. SOUL:. http://prog.vub.ac.be/SOUL/.
17. T. Tourwé and T. Mens. Identifying refactoring opportunities using logic meta programming. In Proc. of the 7th European Conf. on Software Maintenance and Reengineering, pages 91-100, 2003.
18. R. Wuyts. A LogicMeta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation. PhD thesis, Vrije Universiteit Brussel, Belgium, January 2001.