메뉴 건너뛰기




Volumn 1145, Issue , 1996, Pages 317-331

A backward slicing algorithm for prolog

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; PROGRAM DEBUGGING; STATIC ANALYSIS;

EID: 84957378414     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61739-6_50     Document Type: Conference Paper
Times cited : (21)

References (22)
  • 1
    • 0012175095 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 13
    • 85028856111 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.