Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/babel.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Egon Börger, F.J. López-Fraguas, and M. Rodríguez-Artalejo, "Towards a Mathematical Specification of a Graph-Narrowing Machine," Technical Report DIA 94/5, March 1994, Dep. de Informatica y Automatica, Universidad Complutense, Madrid. |
|---|---|
| Summary: | An extension of the ASM for Prolog to the functional logic programming language Babel. |
| Subjects: | Programming Languages |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/babel.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT