HACL: xxxx

This page is still under construction. Stay tuned.

We just list publications on this project.

Publications

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

References

KNY95
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.

KPT96
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.

KSY94
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.

KY
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.

KY93a
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.

KY93b
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.

KY94
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.

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

KY95b
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.

NY94
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