Programming Languages and Systems

DOI10.1007/11575467zbMath1159.68361MaRDI QIDQ5493387

Hugh Anderson, Ştefan Andrei, Beatrice Luca, Siau-Cheng Khoo

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Horn clauses as an intermediate representation for program analysis and transformation

Uses Software

• QEPCAD
• REDLOG