메뉴 건너뛰기
New Generation Computing
Volumn 13, Issue 2, 1995, Pages 155-186
Compile-time analysis of nonlinear constraints in CLP R
Author keywords

Abstract Interpretation; Constraints; Logic Programming
Indexed keywords

EID: 35048880887     PISSN: 02883635     EISSN: 18827055     Source Type: Journal    
DOI: 10.1007/BF03038312     Document Type: Article
Times cited : (3)
References (27)
  • 1
    • 84934498877 scopus 로고    scopus 로고
    • Abramsky, S. and Hankin, C., eds. Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987.
  • 2
    • 84934498878 scopus 로고    scopus 로고
    • Aiba, A., Sakai, K., Sato, Y., Hawley, D. J., and Hasegawa, R., “Constraint Logic Programming Language CAL,” in Proc. Int. Conf. on Fifth Generation Computer Systems, pp. 263–276, 1988.
  • 3
    • 84934498879 scopus 로고    scopus 로고
    • Baker, N. and Søndergaard, H., “Definiteness Analysis Analysis for CLP R,”Technical Report, 92/25, University of Melbourne, 1992.
  • 6
    • 84934498898 scopus 로고    scopus 로고
    • Cortesi, A., File, G., and Winsborough, W., “Prop Revisited: Propositional Formula as Abstract Domain for Groundness Analysis,” in Proc. IEEE Symposium on Logic in Computer Science, pp. 322–327, 1991.
  • 7
    • 84934498897 scopus 로고    scopus 로고
    • Cousot, P. and Cousot, R., “Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction of Approximation of Fixpoints,” in Proc. of the 4th ACM Symposium on Principles of Programming Languages, pp. 238–252, 1977.
  • 9
    • 84934498896 scopus 로고    scopus 로고
    • García de la Banda and Hermenegildo, M., “A Practical Approach to the Global Analysis of CLP Programs,” in Proc. International Logic Programming Symposium, Vancouver, MIT Press, pp. 437–455, 1993.
  • 10
    • 84934498901 scopus 로고    scopus 로고
    • Hanus, M., “Parametric Order-Sorted Types in Logic Programming,” in Proc. of the TAPSOFT ’91, Springer LNCS 494, pp. 181–200, 1991.
  • 11
    • 84934498902 scopus 로고    scopus 로고
    • Hanus, M., “On the Completeness of Residuation,” in Proc. of the 1992 Joint International Conference and Symposium on Logic Programming, MIT Press, pp. 192–206, 1992.
  • 12
    • 84934498899 scopus 로고    scopus 로고
    • Hanus, M., “Analysis of Nonlinear Constraints in CLP R,” in Proc. Tenth International Conference on Logic Programming, MIT Press, pp. 83–99, 1993.
  • 14
    • 84934498900 scopus 로고    scopus 로고
    • Hong, H., “Non-Linear Real Constraints in Constraint Logic Programming,” in Proc. of the 3rd International Conference on Algebraic and Logic Programming, Springer LNCS 632, pp. 201–212, 1992.
  • 15
    • 84934498905 scopus 로고    scopus 로고
    • Jaffar, J. and Lassez, J.-L., “Constraint Logic Programming,” in Proc. of the 14th ACM Symposium on Principles of Programming Languages, Munich, pp. 111–119, 1987.
  • 16
    • 84934498906 scopus 로고    scopus 로고
    • Jaffar, J., Michaylov, S., Stuckey, P. J., and Yap, R. H. C., “An Abstract Machine for CLP R,” in Proc. SIGPLAN Conference on Programming Language Design and Implementation, SIGPLAN Notices, 27, 7, pp. 128–139. 1992.
  • 18
    • 84934498903 scopus 로고    scopus 로고
    • Jaffar, J., Michaylov, S., and Yap, R. H. C., “A Methodology for Managing Hard Constraints in CLP Systems,” in Proc. ACM SIGPLAN’91 Conference on Programming Language Design and Implementation, SIGPLAN Notices, 26, 6, pp. 306–316, 1991.
  • 19
    • 84934498904 scopus 로고    scopus 로고
    • Jørgensen, N., Marriott, K., and Michaylov, S., “Some Global Compile-Time Optimizations for CLP R,”, in Proc. 1991 International Logic Programming Symposium, MIT Press, pp. 420–434, 1991.
  • 20
    • 84934498895 scopus 로고    scopus 로고
    • Le Charlier, B., Musumbu, K., and Van Hentenryck, P., “A Generic Abstract Interpretation Algorithm and Its Complexity Analysis,” in Proc. International Conference on Logic Programming, MIT Press, pp. 64–78, 1991.
  • 21
    • 84934498894 scopus 로고    scopus 로고
    • Marriott, K. and Søndergaard, H., “Analysis of Constraint Logic Programs,” in Proc. of the 1990 North American Conference on Logic Programming, MIT Press, pp. 531–547, 1990.
  • 22
    • 84934499151 scopus 로고    scopus 로고
    • Marriott, K., Søndergaard, H., and Dart, P., “A Characterization of Non-Floundering Logic Programs,” in Proc. of the 1990 North American Conference on Logic Programming, MIT Press, pp. 661–680, 1990.
  • 24
    • 84934499150 scopus 로고    scopus 로고
    • Nilsson, U., “Towards a Framework for the Abstract Interpretation of Logic Programs,” in Proc. of the Workshop on Programming Language Implementation and Logic Programming, Springer LNCS 348, Orléans, pp. 68–82, 1988.
  • 25
    • 84934499153 scopus 로고    scopus 로고
    • Nilsson, U., “Systematic Semantic Approximations of Logic Programs,” in Proc. of the 2nd Int. Workshop on Programming Language Implementation and Logic Programming, Springer LNCS 456, pp. 293–306, 1990.
  • 26
    • 84934499152 scopus 로고    scopus 로고
    • Pfenning, F., ed., Types in Logic Programming, MIT Press, 1992.
  • 27
    • 84934499147 scopus 로고    scopus 로고
    • Van Hentenryck, P., Constraint Satisfaction in Logic Programming, MIT Press, 1989.

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