Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language

Publisher Website

1 January 1987

book chapter
Published by Springer Nature

p. 221-276
https://doi.org/10.1007/978-3-662-40145-3_6

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980
The Vienna Development Method: The Meta-Language
Lecture Notes in Computer Science, 1978