Two-level languages for program optimization
From MaRDI portal
Publication:1826626
DOI10.1016/j.tcs.2003.11.013zbMath1072.68030OpenAlexW2045394797MaRDI 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
Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
This page was built for publication: Two-level languages for program optimization