Extending a partial evaluator which supports separate compilation
From MaRDI portal
Publication:1583351
DOI10.1016/S0304-3975(00)00050-5zbMath0949.68053MaRDI QIDQ1583351
Publication date: 26 October 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Uses Software
Cites Work