Rule-based synthesis using ADTs and term rewriting

Harald-Reto Fonio, Adam Pawlak. Rule-based synthesis using ADTs and term rewriting. Journal of Systems Architecture, 34(1-5):81-84, 1992. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.