Abstract
First-order languages based on rewrite rules share many features with functional languages, but one difference is that matching and rewriting can be made much more expressive and powerful by incorp...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have