Algebraic Transformation Techniques for Functional Languages
From MaRDI portal
Publication:4711452
DOI10.1093/comjnl/31.3.229zbMath0745.68034OpenAlexW1963785528MaRDI QIDQ4711452
Hessam Khoshnevisan, Peter G. Harrison
Publication date: 25 June 1992
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/comjnl/31.3.229
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)