Marking Piecewise Observable Purity

Haeri, Seyed Hossein;Van Roy, Peter
(2019) Nordic Workshop on Programming Theory, — Location: Tallinn University of Technology - Estonia (13.November.2019)

Files

PVR-MarkingPiecewiseObservablePurity.pdf
  • Open Access
  • Adobe PDF
  • 1.11 MB
Download

Details

Authors
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., & Van Roy, P. (2019). Marking Piecewise Observable Purity. Nordic Workshop on Programming Theory, Tallinn University of Technology - Estonia. https://hdl.handle.net/2078.5/228825