Amanote Research
Register
Sign In
Incremental Global Compilation of Prolog With the Vienna Abstract Machine
doi 10.7551/mitpress/4298.003.0038
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1995
Authors
Unknown
Publisher
The MIT Press
Related search
The Vienna Abstract Machine
Native Code Compilation in SICStus Prolog
Incremental Knowledge Compilation Using the Extension Rule
Journal of Networks
Fully Abstract Compilation to JavaScript
ACM SIGPLAN Notices
Computer Science
An Incremental Compilation Approach for OpenMP Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Chemical Abstract Machine
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Abstract Machine
Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs
Compilation of Glacier Maps for Some Mountains (Abstract)
Annals of Glaciology
Earth-Surface Processes