FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Models of Computation that Conserve Data

Author: Ian Mackie

Paper Information

Title:Models of Computation that Conserve Data
Authors:Ian Mackie
Proceedings:DCM DCM Pre-proceedingsd
Editor: Sandra Alves
Keywords:Linearity, Reversibility, Interaction nets, geometry of interaction
Abstract:

ABSTRACT. Conservation of data is an idea to build programming languages and hardware that support fixed-space programs: data cannot be created or destroyed. In this paper we give some motivations for this work and discuss some related ideas such as linearity and reversibility. We then give some examples of models of computation that can be adapted to work in this way. We conclude by discussing some ongoing work in this area.

Pages:8
Talk:Jul 08 10:00 (Session 37)
Paper: