P. Singleton and P. Brereton. A Case for Declarative Programming-in-the-Large. In Proc. 5th IEEE Conf. on Software Engineering and Knowledge Engineering (SEKE), California, 1993. 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 ....
.... 56, 71, 82, 98, 99, 104, 115, 120, 133, 148, 170, 176, 177, 179, 188, 197] Design [8, 4, 38, 44, 63, 106, 109, 118, 147, 160, 162, 202] Editing and Compiling [10, 18, 48, 36, 78, 158, 136, 150, 194] Debugging and testing [21, 42, 46, 59, 67, 74, 76, 81, 92, 123, 154, 181] Maintenance and Reuse [23, 25, 26, 29, 30, 31, 66, 79, 110, 117, 193, 201, 7, 60, 93, 135, 142, 159, 174, 200] Figure 4: A classification of the projects and tools cited in this paper IF start working context THEN CALL(working context,R,W,X,Doc Type,Doc Name, New Status,Item) REMOVE(document(Doc Type,Doc Name, INSERT(document(Doc Type, Doc Name, New Status) REMOVE(start working context) IF ....
P. Singleton and P. Brereton. A Case for Declarative Programming-in-the-Large. In Proc. 5th IEEE Conf. on Software Engineering and Knowledge Engineering (SEKE), California, 1993.
The CPP paradox - Favre (1995) (2 citations) (Correct)
.... to its use have also been reported for large software products [Spe92] Til92] Some tools have been developed [Lit93] Vo92] Recently, different, independent research have shown a growing interest in CPP, taking it as a case study or seeing it from a reengineering point of view [Spu92] Mun93] [Sin93] [Fav93] Kro94] Liv94] Zel94] Fav94] Sne95] Fav95] 1. While PITS deals with programs, PITL deals with program families. 3 I.2) CPP Features In this section the main features of mechanisms provided by CPP are presented. The reader is invited to consult C programming language manuals for ....
....#endif. While porting is an important aspect, other goals lead to variations in the source text of programs. Typical examples are optional code for debugging purposes (the traditional #ifdef DEBUG . #endif sequence [Aba89] adaptation to natural languages, time space trade off, etc. Mun93] [Sin93] [Zel94] I.4) CPP drawbacks While widely used, it is well known that CPP is a problematic tool [Til92] Gen89] Sin93] Kro94] Some incomprehensible cpp pieces of code are reproduced in [Spe92] To get a better feeling for what can dive maintainers headaches the reader is invited to have a ....
[Article contains additional citation context not shown here]
P. Singleton, O.P. Brereton; "A Case for Declarative Programming-in-the-Large", in Proc. 5th International Conference on Software Engineering and Knowledge Engineering, San Francisco, California, 1993.
Incremental Configuration Management Based on Feature.. - Zeller, Snelting (1994) (Correct)
....notion must be coded by the user. Speaking of version sets, the variant specific editor by Narayanaswamy [Nar89] gives individual views on either individual versions or the whole set; versions are identified using CPP like if directives. There is no support for arbitrary version sets. In [SB93] Singleton and Brereton mention CPP constraints as a potentially useful application of partial evaluation, but without going into details of how this could be done. The concepts of revisions and variants are usually strictly separated [Tic85, Rei89] However, Rich and Solomon, who use feature ....
Paul Singleton and Pearl Brereton. A case for declarative programming-in-the-large. Technical Report tr93-14, Keele University, GB, June 1993.
Configuration Management with Feature Logics - Zeller (1994) (4 citations) (Correct)
....since the selection mechanism allows no incomplete specifications, the user can only choose between viewing all versions (that is, the complete source with all compilation directives) or a single version. R.5 Composing Consistent Systems 45 R.4. 3 Partial Evaluation of CPP Expressions In [SB93] Singleton and Brereton propose that partial evaluation be applied to CPP expressions in order to reduce complexity. Their mechanism, whose details are not shown, obviously isolates undefined symbols and evaluates the remaining boolean expressions. That is, partial evaluation is restricted to ....
Paul Singleton and Pearl Brereton. A case for declarative programming-in-the-large. Technical Report tr93-14, Keele University, GB, June 1993.
Support for Re-engineering-in-the-large - Favre (Correct)
No context found.
P. Singleton, O.P. Brereton; "A Case for Declarative Programming-in-the-Large", in Proc. 5th International Conference on Software Engineering and Knowledge Engineering, San Francisco, California, 1993.
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