Composing Programs in a Rewriting Logic for Declarative Programming

What this record says

Constructor-Based Conditional Rewriting Logic is a general framework for integrating first-order functional and logic programming which gives an algebraic semantics

CATALOG · The abstract is indexed.