Show simple item record

dc.contributor.authorCooke, Daniel
dc.contributor.authorLuqi
dc.date.accessioned2017-04-07T13:32:39Z
dc.date.available2017-04-07T13:32:39Z
dc.date.issued1997
dc.identifier.citationD. Cooke, Luqi, "Logic programming and software maintenance," Annals of Mathematics and Artificial Intelligence, v.21 (1997), pp. 221-229en_US
dc.identifier.urihttp://hdl.handle.net/10945/52547
dc.description.abstractThe main objective of this short paper is to describe the relationship between software maintenance and logic programming (both declarative and procedural), and to show how ideas and methods from logic programming (in particular, methods invented by M. Gelfond) can be used in software maintenance. The material presented in this paper partly appeared in (Luqi and Cooke, 1995). The main difference is that (Luqi and Cooke, 1995) is aimed mainly at software engineers, so it only briefly touches on the software engineering problems, while describing in great detail the basics of logic programming. In contrast, in this paper, we assume that the corresponding logic programming notions are well known, but describe the corresponding software engineering applications in greater detail.en_US
dc.format.extent9 p.en_US
dc.publisherJ.C. Balzer AG, Science Publishersen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleLogic programming and software maintenanceen_US
dc.typeArticleen_US
dc.contributor.corporateNaval Postgraduate School (U.S.)en_US
dc.contributor.departmentComputer Scienceen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record