A Translator from C to a Lambda-Calculus Representation.

Published in: ACM SIGPLAN Notices (1996)

Keyphrases

lambda calculus
predicate calculus
artificial intelligence
programming language
knowledge representation
open source
semantic network
databases
data structure
natural language
general purpose
database design