메뉴 건너뛰기




Volumn 30, Issue 3, 1998, Pages 1-5

Partial Evaluation of Concurrent Constraint Languages

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84969362317     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/289121.289132     Document Type: Article
Times cited : (7)

References (20)
  • 1
    • 0346477181 scopus 로고    scopus 로고
    • Dagstuhl Castle, Germany, February 1996 of Lecture Notes in Computer Science (1996). Berlin: Springer-Verlag.
    • Danvy, O., Gluck, R., and Thiemann, P. Eds. 1996. Partial Evaluation. Dagstuhl Castle, Germany, February 1996, Volume 1110 of Lecture Notes in Computer Science (1996). Berlin: Springer-Verlag.
    • (1996) Partial Evaluation , vol.1110
    • Danvy, O.1    Gluck, R.2    Thiemann, P.3
  • 4
    • 0345846313 scopus 로고
    • Partial evaluation of GHC programs based on the UR-set with constraints
    • R. KOWALSKI and K. Bowen Eds., (1988), Cambridge, MA: MIT Press
    • Fujita, H., Okumura, A., and Furukawa, K. 1988. Partial evaluation of GHC programs based on the UR-set with constraints. In R. KOWALSKI and K. Bowen Eds., Logic Programming: Fifth International Conference and Symposium, volume 2 (1988), pp. 924-941. Cambridge, MA: MIT Press.
    • (1988) Logic Programming: Fifth International Conference and Symposium , vol.2 , pp. 924-941
    • Fujita, H.1    Okumura, A.2    Furukawa, K.3
  • 7
    • 84955561593 scopus 로고    scopus 로고
    • In L. BOUGÉ ET AL. Eds., Euro-Par’96 - Parallel Processing, Lyon, France. (Lecture Notes in Computer Science). Berlin: Springer-Verlag.
    • Hosoya, H., Kobayashi, N., and Yonezawa, A. 1996. Partial evaluation scheme for concurrent languages and its correctness. In L. BOUGÉ ET AL. Eds., Euro-Par’96 - Parallel Processing, Lyon, France. (Lecture Notes in Computer Science, vol. 1123) (1996), pp. 625-632. Berlin: Springer-Verlag.
    • (1996) Partial evaluation scheme for concurrent languages and its correctness , vol.1123 , pp. 625-632
    • Hosoya, H.1    Kobayashi, N.2    Yonezawa, A.3
  • 10
    • 84939765850 scopus 로고
    • Constraint Logic Programming and Option Trading.
    • Lassez, C., Mcaloon, K., and Yap, R. 1987. Constraint Logic Programming and Option Trading. IEEE Expert 2, 3, 42-50.
    • (1987) IEEE Expert , vol.2 , Issue.3 , pp. 42-50
    • Lassez, C.1    Mcaloon, K.2    Yap, R.3
  • 11
    • 85024255842 scopus 로고
    • An experiment in using when-declarations to control unfolding of logic programs
    • (1990). http://www.informatik.uni-bonn.de/ stefan/Papers-WWW/publications.html
    • Lüttringhaus-Kappel, S. 1990. An experiment in using when-declarations to control unfolding of logic programs. In ICLP Workshop on Partial Deduction and Partial Evaluation (1990). http://www.informatik.uni-bonn.de/ stefan/Papers-WWW/publications.html.
    • (1990) ICLP Workshop on Partial Deduction and Partial Evaluation
    • Lüttringhaus-Kappel, S.1
  • 14
    • 0004054826 scopus 로고
    • Cambridge Tracts in Theoretical Computer Science 23. Cambridge Univ. Press
    • Olderog, E. 1991. Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science 23. Cambridge Univ. Press.
    • (1991) Nets, Terms and Formulas
    • Olderog, E.1
  • 17
    • 77952726925 scopus 로고
    • The Oz programming model
    • J. VAN LEEUWEN Ed., Number 1000 in LNCS. Springer-Verlag, see www.ps.uni-sb.de/oz/.
    • Smolka, G. 1995. The Oz programming model. In J. VAN LEEUWEN Ed., Computer Science Today, Number 1000 in LNCS. Springer-Verlag, see www.ps.uni-sb.de/oz/.
    • (1995) Computer Science Today
    • Smolka, G.1
  • 18
    • 84958764235 scopus 로고
    • In T. Ito and A. Yonezawa Eds., Proc. 1994 RR* Workshop on Theory and Practice of Parallel Programming of Lecture Notes in Computer Science. SpringerVerlag.
    • Ueda, K. 1995. I/O mode analysis in concurrent logic languages. In T. Ito and A. Yonezawa Eds., Proc. 1994 RR* Workshop on Theory and Practice of Parallel Programming, Volume 907 of Lecture Notes in Computer Science (1995), pp. 356-368. SpringerVerlag.
    • (1995) I/O mode analysis in concurrent logic languages , vol.907 , pp. 356-368
    • Ueda, K.1
  • 19
    • 0041374822 scopus 로고
    • Transformation rules for GHC Programs
    • (1988), Institute for New Generation Computer Technology, Tokyo
    • Ueda, K. and Furukawa, K. 1988. Transformation rules for GHC Programs. In Proc. Inti Conf. on Fifth Generation Computer Systems (1988), pp. 582-591. Institute for New Generation Computer Technology, Tokyo.
    • (1988) Proc. Inti Conf. on Fifth Generation Computer Systems , pp. 582-591
    • Ueda, K.1    Furukawa, K.2


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