M. Kirschenbaum, A. Lakhotia, and L. Sterling. Skeletons and Techniques for Prolog Programming. Tr 89-170, Computer Engineering and Science Department, Case Western Reserve University, Ohio, U.S.A., 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Skeleton-based Agent Development for Electronic - Institutions Wamberto.. (Correct)
.... also supported by the wealth of research and results on automatic support and environments for logic programming development [3, 6, 7, 9, 16, 29] Of particular importance to our proposal is the work on the systematic approach to logic program development using skeletons and programming techniques [3, 4, 15, 16, 21, 23]. According to this approach, an initial simple program, a skeleton, de ning the ow of execution, is added with more features, the programming techniques. These are extra computations to be performed as the ow of execution, de ned by the initial skeleton, is followed. Choosing to call our ....
M. Kirschenbaum, A. Lakhotia, and L. Sterling. Skeletons and Techniques for Prolog Programming. Tr 89-170, Computer Engineering and Science Department, Case Western Reserve University, Ohio, U.S.A., 1989.
Prolog Program Development via Enhanced Schema-Based.. - Vasconcelos, Fuchs (1995) (Correct)
.... 91] In this section we use the formalisation of programming techniques given above to define a program development framework. Our techniques based program development environment defined below provides a simple formalisation for existing related work, such as Kirschenbaum and colleagues [KLS89, SK93] Robertson s [Rob91] and Bowles [BRV 94] 3.1 Initial Programming Techniques Special programming techniques provide a simple program which serves as the starting point of the program development process. These simple programs establish the flow of execution, by means of ....
....loop constructs. Examples of such simple programs are list processing programs, a program to visit the nodes of a binary tree in pre order, and so on. Initial programming techniques can be seen as an alternative formalisation for the skeletons of programs of Kirschenbaum and colleagues [KLS89, SK93] Initial programming techniques do not need input program schemata. They do not work by altering an existing program, but by defining an initial very simple program, without referring to existing constructs. In initial programming techniques we shall denote the input program schema as the ....
[Article contains additional citation context not shown here]
M. Kirschenbaum, A. Lakhotia, and L. Sterling. Skeletons and Techniques for Prolog Programming. Tr 89-170, Computer Engineering and Science Department, Case Western Reserve University, Ohio, U.S.A., 1989.
A Method of Extracting Prolog Programming Techniques - Vasconcelos (1994) (1 citation) Self-citation (Techniques Programming) (Correct)
....form (left hand side) and the conventional form. This normal form allows for a homogeneous treatment of unifications: those unifications in the head goal and in body goals are handled in the same fashion, and their descriptions are 2 The distinction between skeletons and techniques proposed by [KLS89] and adopted in [Vas94a] is deliberately blurred in this work. prefix(A,B) prefix( A = prefix(A,B) prefix( X Xs] X Ys] A = X Xs] prefix(Xs,Ys) B = Y Ys] X = Y, prefix(Xs,Ys) Figure 1: Normal Form (left) and Conventional (right) Versions of Procedure prefix 2 ....
M. Kirschenbaum, A. Lakhotia, and L. Sterling. Skeletons and Techniques for Prolog Programming. Tr 89-170, Computer Engineering and Science Department, Case Western Reserve University, Ohio, U.S.A., 1989.
Building Large-Scale Prolog Programs using a Techniques.. - Vasconcelos Vargas-Vera Self-citation (Techniques) (Correct)
.... an attractive feature, but programmers constantly face tedious tasks (e.g. writing large programs with similar procedures, or combining two similar programs together to improve their efficiency) Kirschenbaum et al. proposed a methodology for developing logic programs called stepwise enhancement [KLS89] with which programmers could be guided in constructing modular large scale Prolog programs. This methodology makes use of simple pre canned components which programmers may experiment with different combinations programmers are saved from the gory details and can concentrate on the ....
M. Kirschenbaum, A. Lakhotia, and L. Sterling. Skeletons and Techniques for Prolog Programming. Tr 89-170, Computer Engineering and Science Department, Case Western Reserve University, Ohio, U.S.A., 1989.
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