A Chemical Abstract Machine for Graph Reduction

15 years 6 months ago

Download fpl.cs.depaul.edu

al abstract machine for graph reduction Alan Jeffrey Report 3/92 August 1992 Computer Science School of Cognitive and Computing Sciences University of Sussex Brighton BN1 9QH ISSN 1350–3170

Alan Jeffrey

Real-time Traffic

Al Abstract Machine | August 1992 Computer | MFPS 1993 | Programming Languages | Reduction Alan Jeffrey |

claim paper

» A Calculus for Interaction Nets

» GraphKernels for the Comparative Analysis of Protein Active Sites

» A backend for GHC based on categorical multicombinators

» Automatic generation of explanations AGE

» Model Checking Based on Simultaneous Reachability Analysis

» FSM decomposition by direct circuit manipulation applied to low power design

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1993
Where	MFPS
Authors	Alan Jeffrey

Comments (0)

Sciweavers

A Chemical Abstract Machine for Graph Reduction

Al Abstract Machine | August 1992 Computer | MFPS 1993 | Programming Languages | Reduction Alan Jeffrey |

Explore & Download

Productivity Tools

Sciweavers