LEAN: An intermediate language based on graph rewriting

Abstract
No abstract available

This publication has 2 references indexed in Scilit: