Partial evaluation scheme for concurrent languages and its correctness

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1123, Issue , 1996, Pages 625-632

  Hosoya, Haruo ^a   Kobayashi, Naoki ^a   Yonezawa, Akinori ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; PETROLEUM RESERVOIR EVALUATION;

CONCURRENT LANGUAGES; CONCURRENT OBJECTS; EXPRESSIVE POWER; INTERPROCESS COMMUNICATION; PARTIAL EVALUATION; POTENTIAL BENEFITS; PROCESS CALCULI; TARGET LANGUAGE;

HIGH LEVEL LANGUAGES;

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

References (15)

1. A. W. Appel. Compiling with Continuation. Cambridge University Press, 1992.
2. R. Baier, R. Glük, and R. Zöchling. Partial evaluation of numerical programs in Fortran. In Proceedings of Partial Evaluation and Semantics-Based Program Manipulation, pages 119-132, 1994.
3. N. Heintze. Set-based analysis of ML programs. In proceedings of the 1994 Conference on Lisp and Functional Programming, pages 306-317, 1994.
4. H. Fujita, A. Okamura, and K. Furukawa. Partial evaluation of GHC programs based on the UR-set with constraints. In proceedings of Logic Programming: Fifth International Conference and Symposium, pages 924-941, 1988.
5. H. Hosoya, N. Kobayashi, and A. Yonezawa. Partial evaluation for concurrent languages and its correctness. Technical report of the Department of Information Science, the University of Tokyo, 1996. to appear.
6. N. D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
7. 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.
8. N. Kobayashi, B. C. Pierce, and D. N. Turner. Linearity and the pi-caiculus. In Proceedings of ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, pages 358-371, 1996.
9. 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.
10. H. Masuhara, S. Matsuoka, K. Asai, and A. Yonezawa. Compiling away the metalevel in object-oriented concurrent reflective languages using partial evaluation. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), pages 300-315, 1995.
11. R. Milner and D. Sangiorgi. Barbed bisimulation. In 19th ICALP, volume 623 of Lecture Notes in Computer Science, pages 685-695, 1992.
12. 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.
13. J. Plevyak, X. Zhang, and A.A. Chien. Obtaining sequential efficiency for concurrent object-oriented languages. In Proceedings of ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, pages 311-321, 1995.
14. E. Ruf. Topics in Online Partial Evaluation. PhD thesis, Stanford University, 1993. (Technical Reprt CSL-TR-93-563).
15. 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.