HACL: xxxx

This page is still under construction. Stay tuned.

We just list publications on this project.


[KY93a] [KY93b] [KY95a] [KY95b] [KNY95] [KY94] [KSY94] [NY94] [KY,KPT96]


Naoki Kobayashi, Motoki Nakade, and Akinori 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.

Naoki Kobayashi, Benjamin C. Pierce, and David N. Turner. Linearity and the pi-calculus. In Proceedings of ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, January 1996.

Naoki Kobayashi, Toshihiro Shimizu, and Akinori Yonezawa. Concurrent programming in linear logic. In Theory of Concurrent Computation and Its Applications, volume 902 of RIMS Lecture Notes, pages 103--116, 1994.

Naoki Kobayashi and Akinori Yonezawa. Towards foundations for concurrent object-oriented programming -- types and language design --. to appear in Theory and Practice of Object Systems, John Wiley & Sons.

Naoki Kobayashi and Akinori Yonezawa. Acl -- a concurrent linear logic programming paradigm. In Logic Programming: Proceedings of the 1993 International Symposium, pages 279--294. MIT Press, 1993.

Naoki Kobayashi and Akinori Yonezawa. Logical, testing, and observation equivalence for processes in a linear logic programming. Technical Report 93-4, Department of Information Science, University of Tokyo, 1993. presented at Linear Logic Workshop, Cornell University.

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

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

Naoki Kobayashi and Akinori 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.

Akihiro Nakaya and Naoki Kobayashi Akinori Yonezawa. 線形論理型言語の枠組haclに基づく型つき並列オブジェク ト指向言語. In 11th Conference Proceedings of Japan Society for Software Science andTechnology, pages 485--488, 1994.

TAURA Kenjiro
Mon Dec 18 22:06:26 JST 1995