Creating specialised integrity checks through partial evaluation of meta-interpreters
From MaRDI portal
Publication:4223470
DOI10.1016/S0743-1066(97)10012-7zbMath0911.68028MaRDI QIDQ4223470
Michael Leuschel, Danny De Schreye
Publication date: 19 April 1999
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (1)
Uses Software
This page was built for publication: Creating specialised integrity checks through partial evaluation of meta-interpreters