• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Logics of parallel object-oriented programming languages

Research Project

Project/Area Number 05044214
Research Category

Grant-in-Aid for Overseas Scientific Survey.

Allocation TypeSingle-year Grants
Research InstitutionUniversity of Tokyo

Principal Investigator

YONEZAWA Akinori  Graduate School of Science, Univ. of Tokyo, Professor, 大学院理学系研究科, 教授 (00133116)

Co-Investigator(Kenkyū-buntansha) JONES Cliff  Depatrment of Computer Science, Univ. of Manchester, Lecture, 計算機科学科, 講師
KOBAYASHI Naoki  Graduate School of Science, Univ. of Tokyo, Research Associate, 大学院理学系研究科, 助手
HONDA Kohei  Faculty of Science and Technology, Keio Univ., JSPS Fellowship, 理工学部, 学振特別研究員
WATANABE Takuo  Department of Information Science, JAIST, Assistant Professor, 情報科学研究科, 助教授 (20222408)
SHIBAYAMA Etsuya  Faculty of Science, Tokyo Institute of Technology, Assistant Professor, 理学部, 助教授 (80162642)
TOKORO Mario  Faculty of Science and Technology, Keio Univ., Professor, 理工学部, 教授 (10051898)
Project Period (FY) 1993
Project Status Completed (Fiscal Year 1993)
Keywordsconcurrent computation model / concurrent object-orientation / linear logic / pi-cauculus
Research Abstract

As the visit to UK was made by A.Yonezawa, K.Kobayashi, and K.Honda at the very end of the fiscal year of 1993, the concrete technical results obtained by the academic exchange and discussions during the visit were not explicit. However, the technical discussions with Prof.C.Jones, Prof.I.Watson, Dr.J.Sargeant(Manchester Univ.), Prof.R.Milner, Prof.R.Burstall, Dr.C.Stirling, Dr.B.Pierce, Dr.D.Turner, Dr.D.Walker (Edinburgh Univ.), Prof.Abramsky (Imperial College, London) have deepened our understanding of technical issues and given new directions of our research. Also, our technical achievements made prior to the visit, which are itemized below, gave strong influences to the courses of research development on the UK-side.
The followings are a summary of our major technical achievements :
(I)N.Kobayashi and A.Yonezawa :
.Establishing the operational and model theoretic semantics of ACL(^*).
.Defining process equivalencies in ACL.
.Introducing type systems in ACL.
(^*)ACL is the linear logic based asynchronous concurrent computation framework developed by Kobayashi and Yonezawa.
(II)K. Honda :
.Establishing a type theory in upsilon-calculus(^*).
.Developing a theory of combinators in upsilon-calculus.
(^*)upsilon-calculus is an asynchronous process calculus developed by K. Honda.

Report

(1 results)
  • 1993 Final Research Report Summary
  • Research Products

    (34 results)

All Other

All Publications (34 results)

  • [Publications] Akinori Yonezawa and Satoshi Matsuoka and Masahiro Yasugi and Kenjiro Taura: "Implementing Concurrent Object-Oriented Languages on Multicomputers" IEEE Parallel & Distributed Technology. Vol.1 No.2. 24-61 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Mario Tokoro: "The Society of Objects Addendum to the Proceedings of ACM Conference on Object-Oriented Programming" Systems,Languages and Applications. Washington D.C.(1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Asynchronous Communication Model Based on Linear Logic" to appear in Journal of Formal Aspects of Computing. Springer-Verlag.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "ACL-A Concurrent Linear Logic Programming Paradigm" Proceedings of International Logic Programming Symposium. 279-294 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Asynchronous Communication Model Based on Linear Logic(Extended Abstract)" Parallel Symbolic Computing,Languages,Systems,and Applications -US/Japan Workshop,Cambridge,MA,USA,Oct.1992,Proceedings-.Also in Springer LNCS. Vol.748. 331-336 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Logical,Testing,and Observation Equivalence for Processes in a Linear Logic Programming" Technical Report. The Universiry of Tokyo,Dept.of Info.Sci.,93-4(presented at Linear Logic Workshop,Cornell University).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] K.Taura,S.Matsuoka and A.Yonezawa: "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. 218-228 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] K.Taura,S.Matsuoka and A.Yonezawa: "Incorporating Locality Management into Garbage Collection in Massively Parallel Object-Oriented Languages" Proc.Joint Symposiem on Parallel Processing 1993(JSPP'93). 277-282 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Asynchronous Communication Model Based on Linear Logic(Extended Abstract)" Parallel Symbolic Computing:Languages,Systems,and Applications.Also in Springer LNCS. Vol.784. (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "ACL--A Concurrent Linear Logic Programming Paradigm" Proceedings of International Logic Programming Symposium. MIT Press. 279-294 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Logical,Testing,and Observation Equivalence for Processes in a Linear Logic Programming" Proceedings.Linear Logic Workshop,Cornell University,June 1993.(Also Research Report,93-4,Department of Information Science,University of Tokyo,1993).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kohei Honda: "Types for Dyadic Interaction" CONCUR'93.Also in Springer LNCS. Vol.612. 504-523 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kohei Honda and Nobuko Yoshida: "On Redction-Based Process Semantics" Proceedings of FST/TCS'93.Also in Springer LNCS. Vol.761. 371-387 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kohei Honda and Nobuko Yoshida: "Combinatory Representation of Mobile Processes" Proceedings of POPL'94. 346-360 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kohei Honda and Nobuko Yoshida: "Replication in Concurrent Combinators" Proceedings of TACS'94. (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] G.Agha,P.Wegner & A.Yonezawa,eds.: "Research Firections in Concurrent Object-Oriented Programming" MIT Press, 532 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] S.Nishio & A.Yonezawa,eds.: "Object Technologies for Advanced Software" Springer Verlag, 543 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Akinori Yonezawa and Satoshi Matsuoka and Masahiro Yasugi and Kenjiro Taura: "Implementing Concurrent Object-Oriented Language on Multicomputers"" IEEE Parallel & Distributed Technology. Vol.1 No.2. 24-61 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Mario Tokoro: "The Society of Objects Addendum to the Proceeding of ACM Conference on Object-Oriented Programming" Systems, Language and Applications, Washington D.C.(1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Asynchronous Communication Model Based on Linear Logic" to appear in Journal of Formal Aspects of Computing, Springer-Verlag.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "ACL--A Concurrent Linear Logic Programming Paradigm" Proceedings of International Logic Programming Symposium. 279-294 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Asynchronous Communication Model Based on Linear Logic (Extended Abstract)" Parallel Symbolic Computing, Language, Systems, and Applications -US/Japan Workshop, Cambridge, MA, USA. Oct. 1992, Proceedings-. Also in Springer LNCS. Vol.748. 331-336 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Logical, Testing, and Observation Equivalence for Processes in Linear Logic Programming" Technical Report, The Universiry of Tokyo, Dept. of Info. Sci., 93-4(presented at Linear Logic Workshop, Cornell University).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] K.Taura, S.Matsuoka and A.Yonezawa: "An Efficient Implementation Scheme of Concurrent Object-Oriented Language on Stock Multicompuers" Proc. ACM Conf. on Principles and Practice of Parallel Programming (PPOPP), San Diego, May 19-21. 218-228 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] K.Taura, S.Matsuoka and A.Yonezawa: ""Incorporating Locality Management into Garbage Collection in Massively Parallel Object-Oriented Language"" Proc. Joint Symposiem on Parallel Processing 1993 (JSPP'93). 277-282 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Asynchronous Communication Model Based on Linear Logic (Extended Abstract)" Parallel Symbolic Computing : Language, Systems, and Applications. Also in Springer LNCS. Vol.784. (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "ACL--A Concurrent Linear Logic Programming Paradigm" Proceedings of International Logic Programming Symposium, MIT Press. 279-294 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Naoki Kobayashi and Akinori Yonezawa: "Logical, Testing, and Observation Equivalence for Processes in a Linear Logic Programming" Proceedings. Linear Logic Workshop, Cornell University, June 1993. (Also Research Report, 93-4, Department of Information Science, University of Tokyo, 1993).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kohei Honda: "Types for Dyadic Interaction" CONCUR'93. Also in Springer LNCS. Vol.612. 504-523 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kohei Honda and Nobuko Yoshida: "On Redction -Based Process Semantics" Proceedings of FST/TCS'93. Also in Springer LNCS. Vol.761. 371-387 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kohei Honda and Nobuko Yoshida: "Combinatory Representation of Mobile Processes" Proceedings of POPL'94. 346-360 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] Kohei Honda and Nobuko Yoshida: "Replication in Concurrent Combinators" Proceedings of TACS'94. (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] G.Agha, P.Wegner & A.Yonezawa, eds.: MIT Press. Research Firections in Concurrent Object-Oriented Programming, 532 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary
  • [Publications] S.Nishio & A.Yonezawa, eds.: Springer Verlag. Object Technologies for Advanced Software, 543 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1993 Final Research Report Summary

URL: 

Published: 1995-02-07   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi