Amanote Research

Amanote Research

    RegisterSign 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

English

Native Code Compilation in SICStus Prolog

1994English

Incremental Knowledge Compilation Using the Extension Rule

Journal of Networks
2013English

Fully Abstract Compilation to JavaScript

ACM SIGPLAN Notices
Computer Science
2013English

An Incremental Compilation Approach for OpenMP Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

The Chemical Abstract Machine

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1992English

Abstract Machine

English

Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs

2014English

Compilation of Glacier Maps for Some Mountains (Abstract)

Annals of Glaciology
Earth-Surface Processes
1986English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy