article · 2014

Concurrent Programming in Linear Logic

Naoki Shimizu, Toshihiro Yonezawa, Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa

Cited by 0Abstract and details only

Abstract

HACL is a novel asynchronous concurrent programming language developed based on linear logic. It provides fruitful mechanisms for concurrent program-ming including higher-order concurrency and an elegant $\\mathrm{M}\\mathrm{L}$-style type system. Although HACL provides only a small set of primitive constructs, various con-structs for communication and synchronization between processes are definable in terms of primitive asynchronous message passing and higher-order processes. In this paper, we demonstrate the power of HACL by showing several programming examples. For readers who are not familiar with linear logic and concurrent linear logic programming, we also give a brief introduction to the logical background of HACL. 1

Cite this paper

APA 7

Shimizu, N., Yonezawa, T., Kobayashi, N., Shimizu, T., & Yonezawa, A. (2014). Concurrent Programming in Linear Logic.

MLA 9

Shimizu, Naoki, et al. “Concurrent Programming in Linear Logic.” 2014.

Chicago

Shimizu, Naoki, Toshihiro Yonezawa, Naoki Kobayashi, Toshihiro Shimizu, and Akinori Yonezawa. 2014. “Concurrent Programming in Linear Logic.”

Harvard

Shimizu, N. et al. (2014) ‘Concurrent Programming in Linear Logic’.

BibTeX

@article{shimizu2014concurrent,
  title = {{Concurrent Programming in Linear Logic}},
  author = {Shimizu, Naoki and Yonezawa, Toshihiro and Kobayashi, Naoki and Shimizu, Toshihiro and Yonezawa, Akinori},
  year = {2014}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.