Models of sharing graphs : a categorical semantics of let and letrec
A general abstract theory for computation involving shared resources is presented. We develop the models of <I>sharing graphs, </I>also known as term graphs, in terms of both syntax and semantics. According to the complexity of the permitted form of sharing, we consider four situations o...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1997
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.652209 |