메뉴 건너뛰기
New Generation Computing
Volumn 6, Issue 2-3, 1988, Pages 159-186
Specialisation of Prolog and FCP programs using abstract interpretation
Author keywords

Abstract Interpretation; Concurrent Logic Programming; Flat Concurrent Prolog; Logic Programming; OLDT Resolution; Program Specialisation; Prolog
Indexed keywords

EID: 0007769931     PISSN: 02883635     EISSN: 18827055     Source Type: Journal    
DOI: 10.1007/BF03037136     Document Type: Article
Times cited : (33)
References (23)
  • 1
    • 84934488138 scopus 로고    scopus 로고
    • Cousot, P. and Cousot, R., “Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints,”POPL 77.
  • 2
    • 84934488139 scopus 로고    scopus 로고
    • Mycroft, A., “Abstract Interpretation and Optimising Transformations for Applicative Programs, “Ph. D Thesis, University of Edinburgh, Dept. of Comp. Sci., Dec., 1981.
  • 3
    • 84934488136 scopus 로고    scopus 로고
    • Bruynooghe, M., Janssens, G., Callebaut, A. and Demoen, B., “Abstract Interpretation: Towards the Global Optimisation of Prolog Programs,”Proceedings of IEEE Symposium on Logic Programming, San Francisco, 1987.
  • 4
    • 84934488137 scopus 로고    scopus 로고
    • Debray, S. K., “Global Optimizations of Logic Programs,”Ph. D Thesis, State University of New York at Stony Brook, December, 1986.
  • 5
    • 84934488155 scopus 로고    scopus 로고
    • Jones, N. D. and Søndergaard, H., “A Semantics-Based Framework for the Abstract Interpretation of Prolog,” in Abstract Interpretation of Declarative Languages (S. Abramsky and C. Hankin eds.), Ellis Horwood, 1987.
  • 6
    • 84934488156 scopus 로고    scopus 로고
    • Kanamori, T. and Kawamura, T., “Analyzing Success Patterns of Logic Programs by Abstract Hybrid Interpretation,”ICOT Technical Report, 1987.
  • 7
    • 84934488157 scopus 로고    scopus 로고
    • Mannila, H. and Ukkonen, E., “Flow Analysis of Prolog Programs”, Proceedings of IEEE Symposium on Logic Programming, San Francisco, 1987.
  • 8
    • 84934488148 scopus 로고    scopus 로고
    • Mellish, C. S., “Abstract Interpretation of Prolog Programs”, Proc. 3rd ICLP LNCS 225, Springer-Verlag, 1986.
  • 9
    • 84934488147 scopus 로고    scopus 로고
    • Shapiro E., “Concurrent Prolog: A Progress Report,”IEEE Computer, August, 1986.
  • 10
    • 84934488150 scopus 로고    scopus 로고
    • Harel D. and Pnueli A., “On The Development of Reactive Systems,” in Logics and Models of Concurrent Systems (K. R. Apt ed)., Springer-Verlag, 1985.
  • 11
    • 84934488149 scopus 로고    scopus 로고
    • Brock, J. D. and Ackerman, W. B., “Scenarios: A Model of Non-determinate Computations,” in Dias and Ramos (eds.), Formalization of programming Concepts, LNCS 107, pp. 251–259, Springer-Verlag, 1981.
  • 12
    • 84934488152 scopus 로고    scopus 로고
    • Takeuchi, A., “Affinity Between Meta Interpreters and Partial Evaluation,” ICOT Technical Report, TR-166 (April 1986)
  • 16
    • 84934488151 scopus 로고    scopus 로고
    • Jones, N., Sestoft, P. and Søndergaard, H. “An experiment in Partial Evaluation: The Generation of a Compiler Generator,” in J. P. Jouannaud (ed.), Rewriting Techniques and Applications, Dijon, France, 1985, LNCS 202, pp. 124–140, Springer-Verlag.
  • 17
    • 84934488154 scopus 로고    scopus 로고
    • Tamaki, H. and Sato, T., “OLD Resolution with Tabulation”, Proc. 3rd ICLP, LNCS, 225, Springer-Verlag, 1986.
  • 19
    • 84934488153 scopus 로고    scopus 로고
    • Winsborough, W., “A Minimal Graph Semantics for Logic Programs,” University of Wisconsin —Madison Technical Report, Dept. of Computer Science, August 1987.
  • 20
    • 84934488167 scopus 로고    scopus 로고
    • Fujita, H., “Abstract Interpretation and Partial Evaluation of Prolog Programs,” ICOT Technical Report, September 1986.
  • 21
    • 84934488168 scopus 로고    scopus 로고
    • Safra, S., “Partial Evaluation of Concurrent Prolog and its Implications”, Masters Thesis, Technical Report, CS 86-24, Dept. of Computer Science Weizmann Institute (1986).
  • 22
    • 84934488158 scopus 로고    scopus 로고
    • Furukawa, K., Okumura, A. and Murakami, M., “Unfolding Rules for GHC Programs,” ICOT Technical Report, 1987.
  • 23
    • 84934488162 scopus 로고    scopus 로고
    • Gerth, R., Codish, M., Lichtenstein, Y. and Shapiro, E., “Fully Abstract Denotational Semantics for Concurrent Prolog,” Proc. LICS’88, Edinburgh (1988).

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