Yonezawa's Publications

Books

1

Object-Based Parallel and Distributed Computing.
Lecture Notes in Computer Science, No.1107, 1996.
(Edited by Jean-Pierre Briot, Jean-Marc Geib, and Akinori Yonezawa)

2

Theory and Practice of Parallel Programming,
Springer Lecture Notes in Computer Science, Vol.907, 1995, 483 pages.
(Edited by Takayasu Ito and Akinori Yonezawa)

3

Object-Oriented Computing II (JSSST WOOC'93), Lecture Notes/Software Science, No.6, Kindaikagakusya, 1994, 73-81 pages.
(Edited by Akinori Yonezawa, Satoshi Matsuoka, and W. Kato)

4

Object Technologies for Advanced Software,
Springer Lecture Notes in Computer Science, Vol. 742, 1993, 543 pages.
(Edited by S. Nishio and A. Yonezawa)

5

Research Directions in Concurrent Object-Oriented Programming,
The MIT Press, 1993, 532 pages.
(Edited by G. Agha, P. Wegner and A. Yonezawa)

6

Proceedings of a JSPS Seminar: Parallel Programming Systems,
World Scientific, 1993, 253 pages.
(Edited by C.K. Yuen and A. Yonezawa)

7

Models and Representations,
Iwanami-Shoten Publisher, 1992, 315 pages (in Japanese).
(A. Yonezawa and E. Shibayama)

8

Concurrency : Theory, Language, and Architecture - UK/Japan Workshop, Oxford, September 1989, Proceedings -,
Springer Lecture Notes in Computer Science Vol. 491, 1991, 339 pages.
(Edited by A. Yonezawa and T. Ito)

9

Encyclopedic Dictionary of Computer Science,
Iwanami-Shoten Publisher, 1990, 1172 pages (in Japanese).
(Edited by M. Nagao, H. Ishida, Y. Inagaki, H. Tanaka, J. Tujii, M. Tokoro, I. Nakata, and A. Yonezawa)

10

ABCL: An Object-Oriented Concurrent System,
The MIT Press, 1990, 329 pages.
(Edited by A. Yonezawa)

11

Proc. the ACM SIGPLAN Notices Workshop on Object-Based Concurrent Programming - San Diego 1988 -,
SIGPLAN Notices Notices 1989, 214 pages.
(Edited by G. Agha, P. Wegner, and A. Yonezawa)

12

Concepts and Characteristics of Knowledge-Based Systems,
North-Holland, 1989, 511 pages.
(Edited by M. Tokoro, Y. Anzai, and A. Yonezawa)

13

Object-Oriented Concurrent Programming,
The MIT Press, 1987, 282pages.
(Edited by A. Yonezawa, and M. Tokoro)

14

RIMS Symposia on Software Science and Engineering - Kyoto 1982 -,
Springer Lecture Notes in Computer Science Vol.147, 1983, 232 pages.
(Edited by E.Goto, K.Furukawa, R.Nakajima, I.Nakata, and A. Yonezawa)

15

Theory of Algorithm Representation and Programming,
Iwanami-Shoten Publisher, 1982, 282 pages (in Japanese).
(I. Kimura and A. Yonezawa)

Invited Papers

16

RNA secondary structure prediction and visualization using highly parallel computers,
Joho Shori, Vol.37. No.10, 1996, pp.946-951. (in Japanese)
(Akihiro Nakaya, Kenji Yamamoto, and Akinori Yonezawa)

17

An Efficient Implementation Scheme of Concurrent Object-Oriented Langugaes on Stock Multicomputers,
Springer Lecture Notes in Computer Science, Vol.748, 1993, pp.402-405.
(K. Taura, S. Matsuoka and A. Yonezawa)

18

Asynchronous Communication Model Based on Linear Logic (Extended Abstract),
Springer Lecture Notes in Computer Science, Vol.748, 1993, pp.331-336.
(N. Kobayashi and A. Yonezawa)

19

Efficient Implementations of Concurrent Object-Oriented Languages on Multicomputers (abstract),
Proceedings of a JSPS Seminar: Parallel Programming Systems, 1993 pp.50-52.
(A. Yonezawa, S. Matsuoka, M. Yasugi, and K. Taura)

20

The Real World Computing Program: MIT's Next Computer Research Initiative,
Science, Vol. 258, 1992, pp.581-582.

21

An Object-Oriented Concurrent Reflective Architecture for Distributed Computing Environments (Extended Abstract),
Proceedings of 29th Annual Allerton Conference on Communication, Control and Computing, Allerton Illinois, 1991.
(Y. Ichisugi, S. Matsuoka, T. Watanabe, and A. Yonezawa)

22

Exception Handling and Real Time Features in an Object-Oriented Concurrent Language,
Concurrency: Theory, Language, and Architecture, Springer Lecture Notes in Computer Science, Vol. 491, 1991, pp.92-109.
(Y. Ichisugi and A. Yonezawa)

23

An Actor-Based Metalevel Architecture for Group-Wide Reflection,
Foundation of Object-Oriented Languages, REX School/Workshop , Noordwijkerhout, 1990, Proceedings. Also in Springer Lecture Notes in Computer Science, Vol.489, 1991, pp.405-425.
(T. Watanabe and A. Yonezawa)

24

A Reflective Object-Oriented Concurrent Language ABCL/R,
Proc. US/Japan Workshop on Parallel Lisp: Languages and Systems, Sendai 1989. Also in Springer Lecture Notes in Computer Science, Vol. 441, 1990, pp.254-256.

25

Optimistic and Pessimistic Synchronization in Distributed Computing,
Proc. US/Japan Workshop on Parallel Lisp: Languages and Systems, Sendai 1989. Also in Springer Lecture Notes in Computer Science, Vol. 441, 1990, pp.257-260.
(E. Shibayama and A. Yonezawa)

26

An Introduction to Object-Based Reflective Concurrent Computation,
Proc. ACM SIGPLAN Workshop on Object-Based Concurrent Programming, San Diego, 1988. Also in SIGPLAN Notices, Vol.24, No.4, 1989, pp.50-54.
(A. Yonezawa and T. Watanabe)

27

Parallel Processing Description to an Object-Oriented Concurrent Language ABCL/1,
The Transactions of the Institute of Electronics, Information and Communication Engineers, Vol.J71-D, No.8, 1988, pp.1415-1422. (in Japanese)

28

Perspectives and Projections of Object-Oriented Computing,
Joho Shori, Vol.29, No.4, 1988, pp.290-294.(in Japanese)

29

An Approach to Object-Oriented Concurrent Programming -- A Language ABCL --,
Proc. AFCET Conference on Object-Oriented Languages, Paris, 1986, pp.125-134.
(A. Yonezawa, H. Matsuda, and E. Shibayama)

30

AI Parallelism and Programming,
Information Processing 86 (Ed. H.J. Kugler), 1986, pp.111-113.

31

Object-Oriented Concurrent Programming and Industrial Software Production,
Springer Lecture Notes in Computer Science, Vol.186, 1985, pp.395-409.
(A. Yonezawa and Y. Matsumoto)

32

Description of an Inventory Control System Based on an Object Oriented Concurrent Programming Methodology,
Joho Shori, Vol.26, No.5, 1985, pp.460-468.(in Japanese)
(E. Shibayama, H. Matsuda, and A. Yonezawa)

Chapters in Books

33

Introduction: An Overview of the ABCL Project,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.1-11.

34

An Object-Oriented Concurrent Computation Model ABCM/1 and its Description Language ABCL/1,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.13-43.
(A. Yonezawa, E. Shibayama, Y. Honda, T. Takada, and J.-P. Briot)

35

Reflection in an Object-Oriented Concurrent Language,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.45-70. (A shorter version appeared as [113])
(T. Watanabe and A. Yonezawa)

36

Inheritance and Synchronization in Object-Oriented Concurrent Programming,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.107-118. (A shorter version appeared as [116])
(J.-P. Briot and A. Yonezawa)

37

Debugging Concurrent Systems Based on Object Groups,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.119-132. (A shorter version appeared as [114])
(Y. Honda and A. Yonezawa)

38

An Implementation of an Object-Oriented Concurrent Programming Language in Distributed Environments,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.133-155.
(T. Takada and A. Yonezawa)

39

Distributed Discrete Event Simulation in ABCL/1,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.157-181.
(E. Shibayama and A. Yonezawa)

40

Object-Oriented Parallel Parsing for context-Free Grammars,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.209-232. (A shorter version appeared as [112])
(A. Yonezawa and I. Ohsawa)

41

The ABCL/1 User's Guide,
ABCL: An Object-Oriented Concurrent System, The MIT Press, 1990, pp.233-308.
(E. Shibayama, Y. Ichisugi, and A. Yonezawa)

42

Distributed Computing in ABCL/1,
Object-Oriented Concurrent Programming (Eds. A. Yonezawa and M. Tokoro), The MIT Press, 1987, pp.91-128.
(E. Shibayama and A. Yonezawa).

43

Modelling and Programming in an Object-Oriented Concurrent Language ABCL/1,
Object-Oriented Concurrent Programming (Eds. A. Yonezawa and M. Tokoro), The MIT Press, 1987, pp.55-90.
(A. Yonezawa et al.).

Refereed Papers

44

An effective garbage collection strategy for parallel programming languages on large scale distributed-memory machines,
Proceedings of ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997.(to appear)
(Kenjiro Taura and Akinori Yonezawa)

45

Fine-grain multithreading with minimal compiler support---a cost effective approach to implementing efficient multithreading languages,
Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation, 1997.(to appear)
(Kenjiro Taura and Akinori Yonezawa)

46

A Calculus with Code Mobility,
H. Bowman and J. Derrick, editors, Formal Methods for Open Object-based Distributed Systems(FMOODS), B!!Vol.2. Chapman and Hall, 1997.
(Tatsurou Sekiguchi and Akinori Yonezawa).

47

A debugging scheme for fine-grain threads on massively parallel processors with a small amount of log information --- replay and racedetection---,
Proc. of Workshop on Parallel Symbolic Languages and Systems1995, Lecture Notes in Computer Science, No.1068, 1996, pp.108-127.
(Tomio Kamada and Akinori Yonezawa)

48

Duplication and partial evaluation,
Lisp and Symbolic Computation, Vol.9, 1996, pp.203-241.
(Kenichi Asai, Satoshi Matsuoka, and Akinori Yonezawa)

49

A compilation technique for parallel reflective language systems Using Partial Evaluation,
Transactions of Information Processing Society of Japan, Vol.37. No.7, July 1996, pp.1290-1298.
(Hidehiki Masuhara, Satoshi Masuhara, and Akinori Yonezawa)

50

Partial evaluation scheme for concurrent languages and itscorrectness,
Euro-Par'96 Parallel Processing, Lecture Notes in Computer Science, Vol.1123, 1996, pp.625-632.
(Haruo Hosoya, Naoki Kobayashi, and Akinori Yonezawa)

51

Visualization of RNA secondary structures using highly parallel computers,
Computer Applications in the Biosciences, Vol.12. No.3, 1996, pp.205-211.
(Akihiro Nakaya, Kenjiro Taura, Kenji Yamamoto, and Akinori Yonezawa)

52

Classification of RNA secondary structures using the techniques of cluster analysis,
Journal of Theoretical Biology, No.183, 1996, pp.105-117.
(Akihiro Nakaya, Akinori Yonezawa, and Kenji Yamamoto)

53

Generalized local propagation: A framework for solving constraint hierarchies,
Principles and Practice of Constraint Programming---CP96, in Lecture Notes in Computer Science, No.1118, August 1996, pages 237-251.
(Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa)

54

Towards foundations for concurrent object-oriented programming --types and language design --,
Theory and Practice of Object Systems, Vol.1. No.4, 1995, pp.243-268.
(Naoki Kobayashi and Akinori Yonezawa)

55

Higher-order concurrent linear logic programming,
Theory and Practice of Parallel Programming, Lecture Notes in Computer Science, Vol.907, 1995, pp.137-166.
(Naoki Kobayashi and Akinori Yonezawa)

56

Asynchronous communication model based on linear logic,
Formal Aspects of Computing, Vol.7. No.2, 1995, pp.113-149.
(Naoki Kobayashi and Akinori Yonezawa)

57

Static analysis of communication for asynchronous concurrent programming languages,
Second International Static Analysis Symposium (SAS'95), Lecture Notes in Computer Science, Vol. 983, 1995, pp.225-242.
(Naoki Kobayashi, Motoki Nakade, and Akinori Yonezawa)

58

Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation,
Proceedings of OOPSLA'95 (SIGPLAN Notices Vol.30, No.10), 1995, pp.300-315.
(Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, and Akinori Yonezawa)

59

Compiling with partial evaluation: An efficient execution scheme of parallel reflective languages,
Joint Symposium on Parallel Processing (JSPP), Fukuoka, May 1995, pp.273-280.
(Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa)

60

StackThreads: An abstract machine for scheduling fine-grain threads on stock cpus,
Proceedings of Workshop on Theory and Practice of Parallel Programming, Springer Lecture Notes in Computer Science, Vol.907, 1995, pp.121-136.
(Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa)

61

RNA secondary structure prediction using highly parallel computers,
Computer Applications in the Biosciences, Vol.11. No.6, 1995, pp.685-692.
(Akihiro Nakaya, Kenji Yamamoto, and Akinori Yonezawa)

62

Efficient satisfaction of constraint hierarchies with inequalities,
Interactive Systems and Software III (JSSST WISS'95), Lecture Notes/Software Science, No.12, 1995, pp.123-132.
(Hiroshi Hosobe, Matsuoka, and Akinori Yonezawa)

63

Locally simultaneous constraint satisfaction,
PPCP'94: Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, Vol.874, 1994, pp.51-62.
(Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, and Akinori Yonezawa)

64

A Complete Type Inference System for Subtyped Recursive Types,
Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, Vol.79, 1994, pp.667-686.
(Tatsurou Sekiguchi and Akinori Yonezawa)

65

Efficient parallel global garbage collection on massively paralle computers,
Proceedings of Supercomputing'94, 1994, pp.79-88.
(Tomio Kamada, Satoshi Matsuoka, and Akinori Yonezawa)

66

Analysis on communication for asynchronous concurretn programming languages (extended abstract),
11th Conference Proceedings of Japan Society for Software Science and Technology, 1994, pp.489-492.
(Naoki Kobayashi, Toshihiro Shimizu, and AKinori Yonezawa)

67

A framework for constructing animations via declarative mapping rules,
IEEE Workshop on Visual Languages, 1994.
(Shin Takahashi, Ken Miyashita, Satoshi Matsuoka, and Akinori Yonezawa)

68

Type-theoretic foundations for concurrent object-oriented programming,
Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'94), 1994, pp.31-45.
(Naoki Kobayashi and Akinori Yonezawa)

69

Locally simultaneous constraint satisfaction,
Interactive Systems and Software I (JSSST WISS'93), Lecture Notes/Software Science, Vol. 7, 1994, pp.49-56. (in Japanese)
(Hiroshi Hosobe, Ken Miyashita, Shin Takahash, Satoshi Matsuoka, and Akinori Yonezawa)

70

PARCS: An mpp-oriented clp language,
Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94), 1994, pp.254-263.
(Kazuhiro Konno, Masaaki Nagatsuka, Naoki Kobayashi, Satoshi Matsuoka, and Akinori Yonezawa)

71

Efficient parallel global garbage collection on massively paralle computers,
Proc. of Joint Symposium on Parallel Processing (JSPP'94), 1994, pp.33-40. ( in Japanese)
(Tomio Kamada, Satoshi Matsuoka, and Akinori Yonezawa)

72

Flexible control of search branch and efficeint pruning methods for prallel constraint logic programming language PARCS,
Proc. of Joint Symposium on Parallel Processing (JSPP'94), 1994, pp.327-334. (in Japanese)
(Masaaki Nagatsuka, Kazuhiro Konno, Naoki Kobayashi, Satoshi Matsuoka, and Akinori Yonezawa)

73

Multiple world representation of mnental states for dialogue processing,
IEICE Transaction on Information and Systems, Vol.E77-D, No.2, 1994, pp.192-208.
(Toru Sugimoto and Akinori Yonezawa)

74

Factors to derive implied meanings and their usage,
Journal of Japan Society of Artificial Intelligence, Vol.9. No.6, 1994, pp.899-907. (in Japanese)
(Takeshi Fuchi and Akinori Yonezawa)

75

Towards performance evaluation of a -body problem algorithm in an object-oriented concurrent language on a date-driven parallel computer,
Object-Oriented Computing II (WOOC'93), April 1994, pp.147-154. (in Japanese)
(Masahiro Yasugi and Akinori Yonezawa)

76

The plan-do style compilation technique for eager data transfer inthread-based execution,
Proc. of the IFIP WG10.3 International Conference on Parallel Architectures and Compilation Techniques, Montréal, Canada, August 1994, pp.57-66.
(Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa)

77

The implementation of a reflective object-oriented concurrent language without a run-time kernel,
Computer Software, Vol.11. No.3, May 1994, pp.65-77.
(Yuuji Ichisugi, Satoshi Matsuoka, and Akinori Yonezawa)

78

Design and implementation of an object-oriented concurrent reflective language ABCL/R2,
Computer Software, Vol.11. No3, May 1994, pp.15-32. (in Japanese)
(Hidehiko Masuhara, Satoshi Matsuoka, and Takuo Watanabe)

79

A meta-level scheduling mechanism in ABCL/R2,
Object-Oriented Computing II (WOOC'93), Lecture Notes/ Software Science, Vol.6, April 1994, pp.31-45.
(Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa)

80

ABCL/ f: A future-based polymorphic typed concurrent object-oriented language -- its design and implementation --,
Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, Discrete Mathematics and Theoretical Computer Science, Vol.18, 1994, pp.275-291.
(Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa)

81

Duplication and partial evaluation to implement reflective languages,
Proceedings of OOPSLA'93 Workshop on Reflection and Metalevel Architectures, 1993. (Kenichi Asai, Satoshi Matsuoka, and Akinroi Yonezawa)

82

Model checking of control-finite CSP programs,
Proc. the 26th Hawaii Internaional Conf. on Systems Science, Vol.2, 1993, pp.174-183.
(Kenichi Asai, Satoshi Matsuoka, and Akinori Yonezawa)

83

A constraint solving algorithm for real-time interaction in user interfaces,
10th JSSST Annual Conference Proceedings, Japan Society for Software Science and Technology, 1993, pp.77-80. (in Japanese)
(Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa, and Tomihisa Kamada)

84

Design and implementation of a distributed object-oriented reflective language without run-time kernel,
Object-Oriented Computing I (WOOC'92), 1993, pp.31-47.
(Yuji Ichisugi, Satoshi Matsuoka, and Akinori Yonezawa.)

85

An algorithm of distributed garbage collection on a multicomputer and its performance evaluation ,
10th Annual Conference Proceedings Japan Society of Software Science and Technology, Japan Society of Software Science and Technology, 1993, pp.22-24. ( in Japanese)
(Tomio Kamada, Satoshi Matsuoka, and Akinori Yonezawa)

86

Asynchronous communication model based on linear logic (extended abstract) ,
Parallel Symbolic Computing: Languages, Sysmtes, and Application -US/Japan Workshop, Proceedings-, Lecture Notes in Computer Science, Vol.748, 1993, pp.331-336.
(Naoki Kobayashi and Akinori Yonezawa)

87

Applying parallel constraint logic programming language to optimization problems,
10th Annual Conference Proceedings Japan Society of SoftwareScience and Technology, Japan Society of Software Science and Technolog, 1993, pp.189-192. (in Japanese)
(Kazuhiro Konno, Masahiro Nagatsuka, Naoki Kobayashi, Satoshi Matsuoka, and Akinori Yonezawa)

88

Object-oriented concurrent reflective languages can be implemented efficiently,
Object-Oriented Computing I (WOOC'92), 1993, pp.209-224.
(Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, and Akinori Yonezawa)

89

A framework for describing mental sates and their dynamic changes of dialog participants,
Transactions of Artificial Intelligence Society of Japan, Vol.8. No.6, 1993. (in Japanese)
(Tsuyoshi Murata and Akinori Yonezawa)

90

An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers,
Parallel Symbolic Computing: Languages, Systems, and Application --US/Japan Workshop, Proceedings--, Lecture Notes in Computer Science, Vol.748, 1993, pp.331-336.
(Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa)

91

ABCL/onEM-4: An efficient implementation of object-oriented concurrent computing system on a data-driven parallel computer,
Object-Oriented Computing I (WOOC'92), 1993, pp.289-304.
(Masahiro Yasugi, Satoshi Matsuoka, and Akinori Yonezawa)

92

Efficient implementations of concurrent object-oriented languages on multicomputers (abstract),
Proc. of a JSPS Seminar: Parallel Programming Sysmtems, 1993, pp.50-52.
(Akinori Yonezawa, Satohsi Matsuoka, Masahiro Yasugi, and Kenjiro Taura)

93

Designing an object-oriented reflective language for massively-parallel provessors,
Proceedings of OOPSLA'93 Workshop on Object-Oriented Reflection and Metalevel Architectures, 1993.
(Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa)

94

Implementing Concurrent Object-Oriented Languages on Multicomputers,
IEEE Parallel & Distributed Technology, Vol.1 No.2, 1993, pp.44-61.
(A. Yonezawa, S. Matsuoka, M, Yasugi and Kenjiro Taura)

95

Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent-Object-Oriented Languages,
Proc. ACM Conf. Object-Oriented Programming Systems, Languages, and Applications, 1993, pp.109-126.
(S. Matsuoka, K. Taura, and A. Yonezawa)

96

Incorporating Locality Management into Garbage Collection in Massively Parallel Object-Oriented Languages,
Proc. Joint Symposiem on Parallel Processing 1993 (JSPP'93), 1993, pp.277-282.
(K. Taura, S. Matsuoka, and A. Yonezawa)

97

Plan Inferences in Dialogue under Dynamical Constraint Programming,
Proceedings of NLULP4, 1993, pp.129--145.
(T. Miyata, K. Hashida, and A. Yonezawa)

98

ACL -- A Concurrent Linear Logic Programming Paradigm,
Proceedings of International Logic Programming Symposium, pp. 279-294, 1993.
(N. Kobayashi and A. Yonezawa)

99

An Efficient Implementation Scheme of Concurrent Object-Oriented Language on Stock Multicomputers,
Proc. ACM Conf. on Principles and Practice of Parallel Programming (PPoPP), San Diego, May 19-21, 1993, pp.218-228, 1993.
(K. Taura, S. Matsuoka, and A. Yonezawa)

100

A General Framwork for Bi-Directional Translation between Abstract and Pictorial Data,
ACM Transactions on Office Information Systems (TOIS), 1992.
(S. Takahashi, S. Matsuoka, A. Yonezawa, and T. Kamada)

101

Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently,
Proc. ACM Conf. Object-Oriented Programming Systems, Languages, and Applications, Vancouver, Canada, Oct., 1992, pp.127-144.
(H. Masuhara, S. Matsuoka, T. Watanabe, and A. Yonezawa)

102

ABCL/onEM-4: A New Software/Hardware Architecture for Object-Oriented Concurrent Computing on an Extended Dataflow Supercomputer,
Proceedings of ACM Int. Conf. on Super Computing, Washington D.C. July 19-23, 1992, pp.93-103.
(M. Yasugi, S. Matsuoka, and A. Yonezawa)

103

Control in parallel constraint logic programming,
Proceedings of Logic Conference'91. To appear in Springer Lecture Notes in Artificial Intelligence, 1992.
(N. Kobayashi, S. Matsuoka, and A. Yonezawa)

104

Object-Oriented Concurrent Reflective Architectures,
Also in Springer Lecture Notes ain Computer Science, Vol.612, pp.211-226, 1992.
(S. Matsuoka, T. Watanabe, Y. Ichisugi, and A. Yonezawa)

105

A General Framwork for Bi-Directional Translations between Abstract and Pictorial Data,
Proceedings of the ACM User Interface Software and Technology'91 (UIST'91), South Carolina, Nov. 11-13, 1991, pp.165-174.
(S. Takahashi, S. Matsuoka, A. Yonezawa, and T. Kamada)

106

Linguistic Supports for Development of Distributed Organizational Information Systems in Object-Oriented Concurrent Computation Frameworks,
Proceedings of ACM Conference on Organizational Computing Systems, Atlanta, November 5-8, 1991, ACM Press, pp. 185-198, 1991.
(K. Wakita and A. Yonezawa)

107

A Hybrid Group Reflective Architecture for Object-Oriented Concurrent Programming,
Proceedings of JSPP'91, pp.421-428. (in Japanese)
(T. Watanabe, S. Matsuoka, and A. Yonezawa)

108

A Fast Parallel Conservative Garbage Collector for Concurrent Object-Oriented Systems,
Proceedings of IEEE International Workshop on Object Orientation in Operating Systems, Palo Alto, Oct, 1991 (I-WOOS'91), pp.87-93.
(S. Matsuoka, S. Furuso, and A. Yonezawa)

109

Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming,
Proceedings of the European Conference on Object-Oriented Programming (ECOOP)'91. Also in Springer Lecture Notes in Computer Science, Vol.512, 1991, pp.231-250.
(S. Matsuoka, T. Watanabe and A. Yonezawa)

110

Reflective Computation in Object-Oriented Concurrent Systems and its Applications,
Proc. the Fifth IEEE International Workshop on Software Specification and Design, Pittsburgh 1989, pp.56-58
(T. Watanabe and A. Yonezawa)

111

An Implementation of an Object-Oriented Concurrent Language in Distributed Environment,
Computer Software, Vol.6, No.1, 1989, pp.50-62, (in Japanese).
(T. Takada and A. Yonezawa)

112

Object-Oriented Parallel Parsing for Contex-Free Grammars,
Proc. Computational Linguistics, Budapest, 1988, pp.773-778.
(A. Yonezawa and I. Ohsawa)

113

Reflection in an Object-Oriented Concurrent Language,
Proc. ACM Conf. Object-Oriented Programming Systems, Languages, and Applications, San Diego 1988, pp.306-315.
(T. Watanabe and A. Yonezawa)

114

Debugging Concurrent Systems Based on Object Groups,
Proc. European Conf. Object-Oriented Programming, Oslo, 1988. Also in Springer Lecture Notes in Computer Science, Vol.322, 1988, pp.267-282.
(Y. Honda and A. Yonezawa)

115

Event-Sequence Method for Qualitative Circuit Analysis,
Transactions of Artificial Intelligence Society of Japan, Vol.3. No.1, 1988, pp.69-77. (in Japanese)
(S. Toyama and A. Yonezawa)

116

Inheritance and Synchronization in Concurrent OOP,
Proc. European Conference on Object-Oriented Programming, Paris 1987. Also in Springer Lecture Notes in Computer Science, Vol.276, 1987, pp.32-40.
(J.-P. Briot and A. Yonezawa)

117

A Japanese Dialog System Applicable to Multiple Discourse Domains,
Transactions of Artificial Intelligence Society of Japan, Vol.2, 1987, pp.206-213. (in Japanese)
(T. Watanabe, I. Ohsawa, and A. Yonezawa)

118

Object-Oriented Concurrent Programming in ABCL/1,
Proc. ACM Conf. on Object-Oriented Programming Systems, Languages and Applications, Oregon, 1986, pp.258-268.
(A. Yonezawa, J.-P. Briot, and E. Shibayama)

119

An Object-Oriented Concurrent Information Processing Model ABCM/1 and its Description Language ABCL/1,
Computer Software, Vol.3, 1986, pp.9-23. (in Japanese)
(A. Yonezawa et al.)

120

An Object-Oriented Approach to Constructing a Japanese Dialog Understanding System,
Computer Software, Vol.2, 1985, pp.11-28. (in Japanese)
(I. Ohsawa and A. Yonezawa)

121

The Rendezvous Concept -- a Programming Tool for Parallel Processing,
J. Information Processing and Cybernetics, Vol.21, No.9, 1985, pp.429-440.
(A. Yonezawa, H. Loeper, and H.-J. Jaekel)

122

A Prolog-Based Natural Language Front-End System,
New Generation Computing, Vol.2, 1984, pp.91-99.
(H. Maruyama and A. Yonezawa)

123

On Object-Oriented Programming,
Computer Software, Vol.1, 1984, pp.29-41. (in Japanese)

124

Modularization and Abstraction in Logic Programming,
New Generation Computing, Vol.1, 1983, pp.169-177.
(A. Yonezawa, K, Furukawa, and R. Nakajima)

125

A Method for Synthesizing Data Retrieving Programs,
Journal of Information Processing, Vol.5. 1982, pp.94-101.

126

Specifying Software Systems with High Internal Concurrency Based on Actor Formalism,
Journal of Information Processing, Vol.2, 1980, pp.208-218.

127

Modelling Distributed Systems,
Machine Intelligence, Vol.9, 1979, pp.41-50.
(A. Yonezawa and C. Hewitt)

128

A Formal Specification Technique for Abstract Data Types with Parallelism,
Springer Lecture Notes in Computer Science, Vol.75, 1979, pp.127-150.

129

Comments on Monitors and Path-Expressions,
Journal of Information Processing, Vol.1, 1979, pp.180-186.

130

Modelling Distributed Systems,
Proc. Int. Joint. Conf. on Artificial Intelligence, August, 1977.
(A. Yonezawa and C. Hewitt)

131

On a Proof Procedure of First Order Predicate Calculus,
Transactions of Information Processing Society of Japan, Vol.14, 1973, pp.106-113. (in Japanese)

Tutorial Papers

132

A Tutorial on Functional Computation Models,
Transactions of Information Processing Society of Japan, Vol. 24, pp.113-122. (in Japanese)

133

A Tutorial on Abstract Data Type Oriented Languages,
Transaction of Information Processing Society of Japan, Vol.22, 1981, pp.525-530. (in Japanese)
(K. Sado and A. Yonezawa)

134

Comments on Data-Flow Machines and Functional Programming,
Transaction of Information Processing Society of Japan, Vol.21, 1980, p.797. (in Japanese)

135

A Tutorial on Actor Theory,
Transaction of Information Processing Society of Japan, Vol.20, 1979, pp.580-589. (in Japanese)

Research Reports

136

Partial evaluator as a compiler for reflective languages,
Technical Report, The University ot Tokyo, Dept. of Info. Sci., 95-10, 1995.
(Kenichi Asai, Hidehiko Masuhara, Satoshi Matsuoka, and Akinori Yonezawa)

137

Roles of a partial evaluator for the reflective language black,
Technical Report, The University ot Tokyo, Dept. of Info. Sci., 94-11, 1994.
(Kenichi Asai, Satoshi Matsuoka, and Akinori Yonezawa)

138

Preference-based theory of intention,
Technical Report, The University ot Tokyo, Dept. of Info. Sci., 94-4, 1993.
(Toru Sugimoto and Akinori Yonezawa)

139

Logical, Testing, and Observation Equivalence for Processes in a Linear Logic Programming,
Technical Report, The Universiry of Tokyo, Dept. of Info. Sci., 93-4, 1993.
(N. Kobayashi and A. Yonezawa)

140

Duplication and Partial Evaluation to Implement Reflective Languages,
OOPSLA'93 Workshop on Reflection and Metalevel Architectures, 1993.
(K. Asai, S. Matsuoka, and A. Yonezawa)

141

An Object-Oriented Concurrent Algorithm of N-Body Problem,
Technical Report, The University of Tokyo, Dept. of Inf. Sci., 92-6, 1992.
(M. Yasugi and A. Yonezawa)

142

Asynchronous Communucation Model Based on Linear Logic,
Technical Report, The University of Tokyo, Dept. of Inf. Sci., 92-5, 1992.
(N. Kobayashi and A. Yonezawa)

143

An Object-Oriented Concurrent Algorithm of N-Body Problem,
8th Annual Conference Proceedings Japan Society of Software Science and Technology, 1991, pp.405-408. (in Japanese)
(M. Yasugi and A. Yonezawa)

144

A Framework for Describing Mental States and its Dynamic Changes within Dialog Participants,
ISPJ SIG Notes-92-NL-87, 1992.
(T. Murata and A. Yonezawa)

145

Multiple World Representation of Mental States for Dialogue Understanding,
ISPJ SIG Notes-91-NL-83, Vol.83, No.5, 1991, pp.31-38.
(T. Sugimoto and A. Yonezawa)

146

Towards User (Application) Language-Level Garbage Collection in Object-Oriented Concurrent Languages,
Proceedings of the OOPSLA'91 Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming, 1991.
(M. Yasugi and A. Yonezawa)

147

Distributed Garbage Collection Using Group Reference Counting,
Technical Report, The University of Tokyo, Dept. of Inf. Sci., 90-014, 1990.
(Y. Ichisugi and A. Yonezawa)

148

Synchronization Constraints With Inheritance: What Is Not Possible - So What Is?,
Technical Report, The University of Tokyo, Dept. of Inf. Sci., 90-010, 1990.
(S. Matsuoka, K. Wakita, and A. Yonezawa)

149

A Concurrent Reflective Computation Model Based on ACTOR Paradigm,
IEICE Technical Report Theoretical Foundation of Computing, 1989, pp.77-86. (in Japanese)
(T. Watanabe and A. Yonezawa)

150

Discrete Event Simulation Based on an Object-Oriented Parallel Computation Model,
Research Report, Tokyo. Inst. of Tech. Dept. of Inf. Sci., C-64, 1984.

151

Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics,
(Ph.D. Thesis), Technical Report, TR-191, MIT Laboratory for Computer Science, Dec. 1977.

152

Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects,
AI-Memo, No.399, MIT Artificial Intelligence Laboratory, 1976.
(A. Yonezawa an C. Hewitt)