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: |