Logic Programming for Verification of Object-Oriented Programming Law Conditions
| dc.creator | De Freitas,Leandro | |
| dc.creator | Caraciolo,Marcel | |
| dc.creator | Cornélio,Márcio | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:26Z | |
| dc.date.available | 2024-02-06T12:55:26Z | |
| dc.description | 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. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-06-0721 | |
| dc.identifier | https://lib.jucs.org/article/28801/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9376 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 13(6): 721-736 | |
| dc.subject | refactoring | |
| dc.subject | logic programming | |
| dc.subject | programming law conditions | |
| dc.title | Logic Programming for Verification of Object-Oriented Programming Law Conditions | |
| dc.type | Research Article |