메뉴 건너뛰기




Volumn 1123, Issue , 1996, Pages 625-632

Partial evaluation scheme for concurrent languages and its correctness

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; PETROLEUM RESERVOIR EVALUATION;

EID: 84955561593     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61626-8_83     Document Type: Conference Paper
Times cited : (15)

References (15)
  • 7
    • 84955570942 scopus 로고
    • Static analysis of communication for asynchronous concurrent programming languages
    • Lecture Notes in Computer Science, Springer-Verlag
    • N. Kobayashi, M. Nakade, and A. Yonezawa. Static analysis of communication for asynchronous concurrent programming languages. In Second International Static Analysis Symposium (SAS'95), volume 983 of Lecture Notes in Computer Science, pages 225-242. Springer-Verlag, 1995.
    • (1995) Second International Static Analysis Symposium (SAS'95) , vol.983 , pp. 225-242
    • Kobayashi, N.1    Nakade, M.2    Yonezawa, A.3
  • 9
    • 84958760366 scopus 로고
    • Higher-order concurrent linear logic programming
    • Lecture Notes in Computer Science, Springer-Verlag
    • N. Kobayashi and A. Yonezawa. Higher-order concurrent linear logic programming. In Theory and Practice of Parallel Programming, volume 907 of Lecture Notes in Computer Science, pages 137-166. Springer-Verlag, 1995.
    • (1995) Theory and Practice of Parallel Programming , vol.907 , pp. 137-166
    • Kobayashi, N.1    Yonezawa, A.2
  • 11
    • 84968816021 scopus 로고
    • Barbed bisimulation
    • Lecture Notes in Computer Science
    • R. Milner and D. Sangiorgi. Barbed bisimulation. In 19th ICALP, volume 623 of Lecture Notes in Computer Science, pages 685-695, 1992.
    • (1992) 19Th ICALP , vol.623 , pp. 685-695
    • Milner, R.1    Sangiorgi, D.2
  • 12
    • 84958743526 scopus 로고
    • Concurrent objects in a process calculus
    • Lecture Notes in Computer Science, Springer-Verlag
    • B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Theory and Practice of Parallel Programming (TPPP), volume 907 of Lecture Notes in Computer Science, pages 187-215. Springer-Verlag, 1995.
    • (1995) Theory and Practice of Parallel Programming (TPPP) , vol.907 , pp. 187-215
    • Pierce, B.C.1    Turner, D.N.2
  • 14
    • 0003716706 scopus 로고
    • PhD thesis, Stanford University, Technical Reprt CSL-TR-93-563
    • E. Ruf. Topics in Online Partial Evaluation. PhD thesis, Stanford University, 1993. (Technical Reprt CSL-TR-93-563).
    • (1993) Topics in Online Partial Evaluation
    • Ruf, E.1
  • 15
    • 84958758664 scopus 로고
    • StackThreads: An abstract machine for scheduling fine-grain threads on stock cpus
    • Lecture Notes on Computer Science, Springer Verlag
    • K. Taura, S. Matsuoka, and A. Yonezawa. StackThreads: An abstract machine for scheduling fine-grain threads on stock cpus. In Proceedings of Workshop on Theory and Practice of Parallel Programming, number 907 in Lecture Notes on Computer Science, pages 121-136. Springer Verlag, 1994.
    • (1994) Proceedings of Workshop on Theory and Practice of Parallel Programming , Issue.907 , pp. 121-136
    • Taura, K.1    Matsuoka, S.2    Yonezawa, A.3


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