A Partial Evaluator of Lisp Programs Written in Prolog.

Kenneth M. Kahn

Published in: ICLP (1982)

Keyphrases

programs written
programming language
operating system
source code
general purpose
high level
object oriented
real time
distributed systems
evaluation process
scripting languages
database
logic programming
model checking
highly parallel
programming paradigms