Logics of parallel object-oriented programming languages

点击翻译按钮获取中文摘要

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.