On-line and off-line partial evaluation: semantic specifications and correctness proofs
From MaRDI portal
Publication:4880487
DOI10.1017/S0956796800001453zbMath0846.68062MaRDI QIDQ4880487
Charles Consel, Siau-Cheng Khoo
Publication date: 12 September 1996
Published in: Journal of Functional Programming (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work