30 citations · 57 across the 15 of their papers we have counts for
Showing 2020 · cs.PLShow all
2 papers · 2 filters
cs.PL2020
On the Performance of Bytecode Interpreters in Prolog
Philipp Körner, David Schneider, Michael Leuschel
The semantics and the recursive execution model of Prolog make it very natural to express language interpreters in form of AST (Abstract Syntax Tree) interpreters where the executi…
cs.PL2020
Prolog for Verification, Analysis and Transformation Tools
Michael Leuschel
This article examines the use of the Prolog language for writing verification, analysis and transformation tools. Guided by experience in teaching and the development of verificati…