Marking Piecewise Observable Purity

Haeri, Seyed Hossein
(2019) 31st Nordic Workshop on Programming Theory — Location: Tallinn, Estonia (13.November.2019)

Files

paper22.pdf
  • Open Access
  • Adobe PDF
  • 328.01 KB
Download

Details

Authors
  • Haeri, Seyed HosseinUCLouvain
    Author
Abstract
We present a calculus for distributed programming with explicit node annotation, builtin ports, and pure blocks. To the best of our knowledge, this is the first calculus for distributed programming, in which the effects of certain code blocks can go unobserved, making those blocks pure. This is to promote a new paradigm for distributed programming, in which the programmer strives to move as much code as possible into pure blocks. The purity of such blocks wins familiar benefits of pure functional programming.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Haeri, S. H. (2019). Marking Piecewise Observable Purity. Informal Proceedings of the 31st Nordic Workshop on Programming Theory. Published. 31st Nordic Workshop on Programming Theory, Tallinn, Estonia. https://doi.org/10.23658/taltech.nwpt/2019