Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 6

available in:   PDF (148 kB) PS (144 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-06-0721


Logic Programming for Verification of Object-Oriented Programming Law Conditions

Leandro de Freitas (Universidade de Pernambuco, Brazil)

Marcel Caraciolo (Universidade de Pernambuco, Brazil)

Márcio Cornélio (Universidade de Pernambuco, Brazil)

Abstract: Programming laws are a means of stating properties of programming con-structs and resoning about programs. Also, they can be viewed as a program transformation tool, being useful to restructure object-oriented programs. Usually the appli-cation 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 program-ming 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: logic programming, programming law conditions, refactoring

Categories: D.1.5,, D.1.6, D.2.6