Article contents
Logic Programming and Software engineering—implications for Software design
Published online by Cambridge University Press: 07 July 2009
Abstract
Logic programming is a programming paradigm with potential to contribute to software engineering. This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design. We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-programming.
- Type
- Research Article
- Information
- Copyright
- Copyright © Cambridge University Press 1996
References
- 2
- Cited by