-
1
-
-
0012175095
-
Synthesis of directionality information for functional logic programs
-
Padova, Italy, volume 724 of LNCS, Springer- Verlag, September [BPM93]
-
[BPM93] J. Boye, J. Paakki, and J. Małuszyński. Synthesis of directionality information for functional logic programs. In Third International Workshop WSA'93, Proceeding Static Analysis, Padova, Italy, volume 724 of LNCS, pages 165-177. Springer- Verlag, September 1993.
-
(1993)
Third International Workshop WSA'93, Proceeding Static Analysis
, pp. 165-177
-
-
Boye, J.1
Paakki, J.2
Małuszyński, J.3
-
2
-
-
0024700858
-
Static inference of modes and data dependencies in logic programs
-
July [De89]
-
[De89] S. K. Debray. Static inference of modes and data dependencies in logic programs, ACM Transactions on Programming Languages and Systems, ll(3):418-450, July 1989.
-
(1989)
ACM Transactions on Programming Languages and Systems
, vol.2
, Issue.3
, pp. 418-450
-
-
Debray, S.K.1
-
4
-
-
0028425521
-
Logic programming environments: Dynamic program analysis and debugging
-
May/July [DN94]
-
[DN94] M. Ducassé and J. Noyé. Logic programming environments: Dynamic program analysis and debugging. The Journal of Logic Programming, 19/20:351-384, May/July 1994.
-
(1994)
The Journal of Logic Programming
, vol.19-20
, pp. 351-384
-
-
Ducassé, M.1
Noyé, J.2
-
8
-
-
0029452538
-
Hybrid slicing: An approach for refining static slices using dynamic information
-
University of Pittsburgh, ACM, October 10-13 [GS95]
-
[GS95] R. Gupta and M.-L. Sofia. Hybrid slicing: an approach for refining static slices using dynamic information. In 3rd ACM Symposium on Foundation of Software Engineering. University of Pittsburgh, ACM, October 10-13 1995.
-
(1995)
3rd ACM Symposium on Foundation of Software Engineering
-
-
Gupta, R.1
Sofia, M.-L.2
-
10
-
-
84963550988
-
On the adequacy of program dependence graphs for representing programs
-
San Diego, CA USA, [HPR88]
-
[HPR88] S. Horwitz, J. Prins, and T. Reps. On the adequacy of program dependence graphs for representing programs. In Conference record of the 15th ACM Symposium on Principles of Programming Languages (POPI88), pages 146-157, San Diego, CA USA, 1988.
-
(1988)
Conference record of the 15th ACM Symposium on Principles of Programming Languages (POPI88)
, pp. 146-157
-
-
Horwitz, S.1
Prins, J.2
Reps, T.3
-
12
-
-
0025228221
-
Interprocedural slicing using dependence graphs
-
[1] [HRB90]
-
[HRB90] S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, TOPLAS, 12(l):26-60, [1] 1990.
-
(1990)
ACM Transactions on Programming Languages and Systems, TOPLAS
, vol.12
, Issue.1
, pp. 26-60
-
-
Horwitz, S.1
Reps, T.2
Binkley, D.3
-
13
-
-
85028856111
-
Identifying faulty modifications in software maintenance
-
P. A. Fritzson, editor, volume 749 of LNCS, Linkoeping, Sweden, May. Springer-Verlag. [Ko93]
-
[Ko93] B. Korel. Identifying faulty modifications in software maintenance. In P. A. Fritzson, editor, First International Workshop On Automated Algorithmic Debugging, volume 749 of LNCS, Linkoeping, Sweden, May 1993. Springer-Verlag.
-
(1993)
First International Workshop On Automated Algorithmic Debugging
-
-
Korel, B.1
-
16
-
-
0003870823
-
-
MIT Press, Cambridge, MA, ISBN 0-262-19218-7. [Sh83]
-
[Sh83] E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983. ISBN 0-262-19218-7.
-
(1983)
Algorithmic Program Debugging
-
-
Shapiro, E.Y.1
-
17
-
-
0004278308
-
-
2nd edition. Advanced Programming Techniques. The MIT Press, [SS94]
-
[SS94] L. Sterling and E. Shapiro. The art of Prolog, 2nd edition. Advanced Programming Techniques. The MIT Press, 1994.
-
(1994)
The art of Prolog
-
-
Sterling, L.1
Shapiro, E.2
-
18
-
-
0000990322
-
A survey of program slicing techniques
-
September [Ti95]
-
[Ti95] F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, September 1995.
-
(1995)
Journal of Programming Languages
, vol.3
, Issue.3
, pp. 121-189
-
-
Tip, F.1
-
19
-
-
84957354340
-
-
Technical Report 27, Dept. Artificial Intelligence, University of Edinburgh, 80 South Bridge, Edinburgh EHl 1HN, Scotland, Great Britain, [Va94]
-
[Va94] W. W. Vasconcelos. A method for extracting Prolog programming techniques. Technical Report 27, Dept. Artificial Intelligence, University of Edinburgh, 80 South Bridge, Edinburgh EHl 1HN, Scotland, Great Britain, 1994.
-
(1994)
A method for extracting Prolog programming techniques
-
-
Vasconcelos, W.W.1
-
20
-
-
0020157396
-
Programmers use slices when debugging
-
July. [We82]
-
[We82] M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, July 1982.
-
(1982)
Communications of the ACM
, vol.25
, Issue.7
, pp. 446-452
-
-
Weiser, M.1
-
22
-
-
4544246835
-
Literal dependence net and its use in concurrent logic programming environment
-
December [ZCU94]
-
[ZCU94] J. Zhao, J. Cheng, and K Ushijima. Literal dependence net and its use in concurrent logic programming environment. In Workshop on Parallel Logic Programming, pages 127-141, December 1994.
-
(1994)
Workshop on Parallel Logic Programming
, pp. 127-141
-
-
Zhao, J.1
Cheng, J.2
Ushijima, K.3
|