Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
An appreciation of the work of Reinhard Wilhelm
Program analysis and compilation, theory and practice
Hi-index | 0.00 |