A verified prolog compiler for the Warren Abstract Machine
From MaRDI portal
Publication:4015948
DOI10.1016/0743-1066(92)90054-7zbMath0754.68037WikidataQ123182249 ScholiaQ123182249MaRDI QIDQ4015948
Publication date: 10 November 1992
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(92)90054-7
68N20: Theory of compilers and interpreters
68Q60: Specification and verification (program logics, model checking, etc.)
68T99: Artificial intelligence
68N17: Logic programming
Related Items
An Improved Proof-Theoretic Compilation of Logic Programs, C-expressions: A variable-free calculus for equational logic programming, Specification, verification and prototyping of an optimized compiler, TWAM: a certifying abstract machine for logic programs, Specification and correctness proof of a WAM extension with abstract type constraints