Two-level languages for program optimization
From MaRDI portal
Publication:1826626
DOI10.1016/j.tcs.2003.11.013zbMath1072.68030MaRDI QIDQ1826626
Publication date: 6 August 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2003.11.013
68Q55: Semantics in the theory of computing
18C50: Categorical semantics of formal languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work