4 ms·

Anything publicly available?

• carapace 8y ago
  I'm afraid my own work is yet inchoate, but there are decades of research. Here are some papers I've been looking at recently: "Logic Programming and Compiler Writing" David H. D. Warren (this is the kickoff.) "Parsing and Compiling Using Prolog" Jacques Cohen and Timothy J. Hickey "Provably Correct Code Generation: A Case Study" Qian Wang, Gopal Gupta "From Programs to Object Code and back again using Logic Programming: Compilation and Decompilation" Jonathan Peter Bowen "Automatic Derivation of Code Generators from Machine Descriptions" R. G. G. Cattell