P. Singleton and P. Brereton. Building Software by Deduction: Why and How. Technical Report TR92-17, Keele University Computer Science Dept., UK, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Applications of Logic Programming in Software Engineering - Ciancarini, Levi (1995) (Correct)
....description of software configurations without being fixed to lexical rules as in make (e.g. from .c to .o) where the . is crucial for a correct behavior. A similar approach was also developed by the designers of DERIVE, a deductive database system supporting software configurations [173, 174]. DERIVE uses partial evaluation to produce configurations 21 described by makefiles and scripts; it also employs abstract interpretation to answer queries about product feasibility. A knowledge based tool designed for multiparadigm configuration management is Polygen, a tool used in the ....
P. Singleton and P. Brereton. Building Software by Deduction: Why and How. Technical Report TR92-17, Keele University Computer Science Dept., UK, 1992.
Practical Memoisation for Prolog Applications - Singleton, Brereton (1993) Self-citation (Singleton Brereton) (Correct)
No context found.
P. Singleton and O. P. Brereton, "Building Software by Deduction: Why and How", Technical Report TR92-17, Dept. of Computer Science, Keele University (1992).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC