Title of article :
Logic Programming for Verification of Object-Oriented Programming Law Conditions
Author/Authors :
Freitas, Leandro de Universidade de Pernambuco (UPE) - Escola Politecnica - Departamento de Sistemas Computacionais, Brazil , Caraciolo, Marcel Universidade de Pernambuco (UPE) - Escola Politecnica - Departamento de Sistemas Computacionais, Brazil , Cornelio, Marcio Universidade de Pernambuco (UPE) - Escola Politecnica - Departamento de Sistemas Computacionais, Brazil
Abstract :
Programming laws are a means of stating properties of programming constructs and resoning about programs. Also, they can be viewed as a program transformation tool, being useful to restructure object-oriented programs. Usually the application of a programming law is only allowed under the satisfaction of side-conditions. In this work, we present how the conditions associated to object-oriented programming laws are checked by using Prolog. This is a step towards a tool that allows user definable refactorings based on the application of programming laws.
Keywords :
refactoring , logic programming , programming law conditions
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
