Design and partial evaluation of meta-objects for a concurrent reflective language

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

Volumn 1445, Issue , 1998, Pages 418-439

  Masuhara, Hidehiko ^a   Yonezawa, Akinori ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

CONCURRENT OBJECTS; CUSTOMIZABLE; IMPLEMENTATION MECHANISMS; LANGUAGE FEATURES; META-INTERPRETERS; NON-TRIVIAL PROGRAMS; PARTIAL EVALUATION; PERFORMANCE PENALTIES;

OBJECT ORIENTED PROGRAMMING;

EID: 84957673145     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0054102     Document Type: Conference Paper

References (29)

1. Andersen, L. O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (1994). (DIKU Report 94/19)
2. Asai, K., Masuhara, H., Matsuoka, S., Yonezawa, A.: Partial Evaluation as a Compiler for Reflective Languages. Technical Report 95-10, Department of Information Science, University of Tokyo (1995)
3. Asai, K., Masuhara, H., Yonezawa, A.: Partial Evaluation of Call-by-value lambda-calculus with Side-effects. In Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97), SIGPLAN Notices, Vol. 32, No. 12. ACM (1997) 12-21
4. Chambers, C, Ungar, D., Lee, E.: An Efficient Implementation of Self, a Dynamically-Type Object-Oriented Language Based on Prototypes. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'89), SIGPLAN Notices, Vol. 24, No. 10. ACM (1989) 49-70
5. Chiba, S.: A Metaobject Protocol for C++. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95), SIGPLAN Notices, Vol. 30, No. 10. ACM (1995) 285-299
6. Chiba, S. Masuda, T.: Designing an Extensible Distributed Language with a Meta-Level Architecture. In European Conference on Object-Oriented Programming (ECOOP'93), Lecture Notes in Computer Science, Vol. 707. Springer-Verlag (1993) 482-501.
7. Futamura, Y.: Partial Evaluation of Computation Process-an Approach to a Compiler-compiler. Systems, Computers, Controls, Vol. 2, No. 5 (1971) 45-50
8. Gengler, M. Martel, M.: Self-applicable partial evaluation for the pi-calculus. In Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97), SIGPLAN Notices, Vol. 32, No. 12. ACM (1997)
9. Hosoya, H., Kobayashi, N., Yonezawa, A.: Partial Evaluation Scheme for Concurrent Languages and Its Correctness. Euro-Par'96 Parallel Processing, Lecture Notes in Computer Science, Vol. 1123. Springer-Verlag (1996) 625-632
10. Igarashi, A. Kobayashi, N.: Type-Based Analysis of Usage of Communication Channels for Concurrent Programming Languages. In International Static Analysis Symposium (SAS'97), Lecture Notes in Computer Science, Vol. 1302. Springer-Verlag, (1997) 187-201
11. Ishikawa, Y., Hori, A., Sato, M., Matsuda, M., Nolte, J., Tezuka, H., Konaka, H., Maeda, M., Kubota, K.: Design and Implementation of Metalevel Architecture in C++: MPC++ Approach. In Reflection Symposium'96 (1996) 153-166
12. Jones, N. D., Gomard, C. K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall (1993)
13. Kiczales, G., Rivieres, J.des, Bobrow, D. G.: The Art of the Metaobject Protocol. MIT Press, Cambridge, MA (1991)
14. Kiczales, G. Rodriguez, L.: Efficient Method Dispatch in PCL. In LISP and Functional Programming (LFP'90), ACM (1990) 99-105
15. Kobayashi, N., Nakade, M., Yonezawa, A.: Static Analysis of Communication for Asynchronous Concurrent Programming Languages. In International Static Analysis Symposium (SAS'95), Lecture Notes in Computer Science, Vol. 983. Springer-Verlag (1995) 225-242
16. Kobayashi, N., Pierce, B. C, Turner, D. N.: Linearity and the Pi-Calculus. In Principles of Programming Languages (POPL'96) (1996) 358-371
17. Maes, P.: Concepts and Experiments in Computational Reflection. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'87), SIGPLAN Notices Vol. 22, No. 12. ACM (1987) 147-155
18. Marinescu, M. Goldberg, B.: Partial Evaluation Techniques for Concurrent Programs. In Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97), SIGPLAN Notices, Vol. 32, No. 12. ACM (1997) 47-62
19. Masuhara, H., Matsuoka, S., Asai, K., Yonezawa, A.: Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95), SIGPLAN Notices, Vol. 30, No. 10. ACM (1995) 300-315
20. Masuhara, H., Matsuoka, S., Watanabe, T., Yonezawa, A.: Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'92), SIGPLAN Notices, Vol. 27, No. 10. ACM (1992) 127-145
21. Masuhara, H., Matsuoka, S., Yonezawa, A.: Implementing Parallel Language Constructs Using a Reflective Object-Oriented Language. In Reflection Symposium'96, San Francisco, CA. (1996) 79-91
22. Nakaya, A., Yamamoto, K., Yonezawa, A.: RNA Secondary Structure Prediction Using Highly Parallel Computers. Compt. Appl. Biosci. 11 (1995) 685-692
23. Oyama, Y., Taura, K., Yonezawa, A.: An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus. In Euro-Par '97 Object-Oriented Programming, Lecture Notes in Computer Science, Vol. 1300. Springer-Verlag, (1997)
24. Smith, B. C: Reflection and Semantics in Lisp. In Principles of Programming Languages (POPL'84), ACM (1984) 23-35
25. Sun Microsystems,: Java(TM) Core Reflection: API and Specification, (1997)
26. Taura, K.: Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers. PhD thesis, Department of Information Science, University of Tokyo (1997).
27. Taura, K. Yonezawa, A.: Schematic: A Concurrent Object-Oriented Extension to Scheme. In Object-Based Parallel and Distributed Computation, Lecture Notes in Computer Science, Vol. 1107. Springer-Verlag, (1996) 59-82
28. Watanabe, T. Yonezawa, A.: Reflection in an Object-Oriented Concurrent Language. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'88), SIGPLAN Notices, Vol. 23, No. 11. ACM (1988) 306-315.
29. Yonezawa, A. (ed.): ABCL: An Object-Oriented Concurrent System. MIT Press, Cambridge, MA (1990)