Zobrazeno 1 - 10
of 641
pro vyhledávání: '"Warren Abstract Machine"'
Autor:
Christoph Beierle, Gregor Meyer
Publikováno v:
The Journal of Logic Programming. 18(2):123-148
The type concept of the logic programming language PROTOS-L supports sorts, subsort relationships, and parametric polymorphism. Due to the order-sortedness, types are also present at run time, replacing parts of the deduction process required in an u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e826c1fba1e17e874cffa43aabebf84
Autor:
David M. Russinoff
Publikováno v:
The Journal of Logic Programming. 13(4):367-412
We extend the theory of Prolog to provide a framework for the study of Prolog compilation technology. For this purpose, we first demonstrate the semantic equivalence of two Prolog interpreters: a conventional SLD-refutation procedure and one that emp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::947534e6f1b9f4a9d2b18da8afbceb9e
Publikováno v:
Automated and Algorithmic Debugging ISBN: 3540574174
AADEBUG
AADEBUG
This paper presents a twofold proposal to understand the Warren Abstract Machine. A stepwise definition of the WAM by using abstract data types (for every WAM component) is briefly presented. Furthermore, we describe a visual environment which can be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75c9b38e6b0efdb0cd3e39678aa683fe
https://doi.org/10.1007/bfb0019413
https://doi.org/10.1007/bfb0019413
Publikováno v:
The Journal of Logic Programming. 14:187-222
Extending logic programming towards structuring concepts such as modules, blocks, taxonomy of logic theories and viewpoints leads, from the implementation point of view, to the development of more complex, specialized execution models to achieve acce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23ecfb02b80ba8c2948d11d134fd30fd
https://doi.org/10.1016/0743-1066(92)90011-q
https://doi.org/10.1016/0743-1066(92)90011-q
Publikováno v:
9th International Conference on Automated Deduction ISBN: 354019343X
CADE
CADE
Most of the efficient implementations of Prolog are based on Warren's abstract machine [1,4]. Evan Tick [3] has argued that a substantial percentage of execution time in such implementations is directly related to the creation and the use of choice p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0561bb8700116613cafe960335b556e
https://doi.org/10.1007/bfb0012840
https://doi.org/10.1007/bfb0012840
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Maciej Pirog, Jeremy Gibbons
Based on Danvy et al.'s functional correspondence, we give a further example of gradual re finement of an interpreter into a known, low-level abstract machine underlying real-world compilers, by deriving an abstract model of the Warren Abstract Machi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8f45402cd53fe399cc6bcaefdcb231b8
https://ora.ox.ac.uk/objects/uuid:5aee9a95-00f4-49e5-bb23-a2d3ca7d628f
https://ora.ox.ac.uk/objects/uuid:5aee9a95-00f4-49e5-bb23-a2d3ca7d628f