Paul Singleton, Pearl Brereton  Home/Search
Context Related
| cs.keele.ac.uk/pub/techrep...tr9217.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: keele.ac.uk/depts/cs...Index.1992 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describe the principles, design and implementation of DERIVE, a deductive database for software configurations, in which primitive items (e.g. source files) are stored as facts, configurations are described by rules, compilers (and other derivation tools) are regarded as pure functions (over byte strings), and system building is realised by query evaluation meta-programmed in Prolog. Configuration items can have unlimited independent variance, which is inherited by derived items, and ... (Update)
Context of citations to this paper: More
.... 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...
Cited by: More
Applications of Logic Programming in Software Engineering - Ciancarini, Levi (1995) (Correct)
Practical Memoisation for Prolog Applications - Singleton, Brereton (1993) (Correct)
Active bibliography (related documents): More All
1.3: On the design of the Amoeba Configuration Manager - Baalbergen, Verstoep, Tanenbaum (1989) (Correct)
0.5: An Overview of the CAPITL Software Development Environment - Adams, Solomon (1995) (Correct)
0.3: Combining Rule-Based and Procedural Programming in the XC and XE.. - Nuutila (1990) (Correct)
Similar documents based on text: More All
0.7: Advantageous or Disadvantageous Semi-collusion - Mukherjee (2002) (Correct)
0.7: Licensing in a Vertically Separated Industry - Mukherjee (2002) (Correct)
0.7: Keele Economics Research Papers - Kerp Of The (Correct)
Related documents from co-citation: More All
2: The Art of Prolog (context) - Sterling, Shapiro - 1986
BibTeX entry: (Update)
P. Singleton and O. P. Brereton, "Building Software by Deduction: Why and How", Technical Report TR92-17, Dept. of Computer Science, Keele University (1992). http://citeseer.ist.psu.edu/singleton92building.html More
@techreport{ singleton92building,
author = "P. Singleton and P. Brereton",
title = "{Building Software by Deduction: Why and How}",
number = "TR92-17",
address = "UK",
year = "1992",
url = "citeseer.ist.psu.edu/singleton92building.html" }
Citations (may not include all citations):241 Transparent process migration - design alternatives and the .. - Douglis, Ousterhout - 1991
202 make - a program for maintaining computer programs - Feldman - 1979
128 RCS - A System for Version Control - Tichy - 1985
115 Magic Templates: A Spellbinding Approach to Logic Programs - Ramakrishnan - 1992
90 The Source Code Control System (context) - Rochkind - 1975
53 Tools for Software Configuration Management (context) - Tichy - 1988
28 An Architecture for Intelligent Assistance in Software Devel.. (context) - Kaiser, Feiler - 1987
18 An Integrated Toolset for Engineering Software Configuration.. - Mahler, Lampen - 1988
16 The Fourth Generation make - Fowler - 1985
16 An Object Base for Attributed Software Objects - Lampen, Mahler - 1988
14 Software Development Control based on Module Interconnection (context) - Tichy - 1979
13 Applicative Caching (context) - Keller, Sleep - 1986
11 Design and Implementation of Parallel make - Baalbergen - 1988
7 Some Practical Properties of Logic Programming Interpreters (context) - Brough, Walker - 1984
7 Build - A Software Construction Tool (context) - Erickson, Fellegrin - 1984
6 Evolution of make (context) - Feldman - 1988
5 the design of the Amoeba Configuration Manager - Baalbergen, Verstoep et al. - 1989
5 Using Prolog for Software System Maintenance (context) - Kielmann - 1992
5 Preliminary Experience with a Configuration Control System f.. (context) - Estublier, Ghoul et al. - 1984
4 Applications of Meta-Programming to the Construction of Soft.. (context) - Singleton - 1992
4 Automatic Generation of make Dependencies (context) - Walden - 1984
3 Configuration Specification using a System Structure Languag.. (context) - Sommerville, Thomson - 1992
3 A simple technique for automatic recompilation in modular pr.. (context) - Olsson, Whitehead - 1989
2 Enhancing make or Re-inventing a Rounder Wheel (context) - Hirgelt - 1983
2 Makefile Usage and Abusage - a Case Study (context) - Singleton - 1986
1 Sequent Corporation (context) - Manual - 1987
1 Bigtexts with equality for deductive databases (context) - Singleton - 1992
1 A Case for make - Fowler - 1990
1 The SAGA Approach to Automated Configuration Management (context) - Campbell, Terwilliger - 1987
1 Side-effects in Automatic File Updating (context) - Miller, Myers - 1986
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