Abstract
A description of a GHC abstract machine and its implementation are given.
Preview
Unable to display preview. Download preview PDF.
References
K. Ueda, Guarded Horn Clauses. ICOT Technical Report TR-103, June 1985.
E. Shapiro, A Subset of Concurrent Prolog and Its Interpreter. ICOT Technical Report TR-003, February 1983.
K.L. Clark and F.G. McCabe, PARLOG: a Parallel Logic Programming Language. Research Report DOC 84/15, Dept. of Computing, Imperial College, London, 1984.
D. H. D. Warren, An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Stanford, October 1983.
A. Houri and E. Shapiro, Tailoring The Warren Abstract Machine for FCP. To appear as Weizmann Institute Technical Report.
C. Mierowsky, Design and Implementation of Flat Concurrent Prolog. Weizmann Institute Technical Report CS84-21, 1984.
M. Codish, Compiling Or-parallelism into And-parallelism. Weizmann Institute Technical Report CS85-18, 1985.
J. Levy, A GHC Abstract Machine and Instruction Set. Weizmann Institute Technical Report CS85-11, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Levy, J. (1986). A GHC abstract machine and instruction set. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_72
Download citation
DOI: https://doi.org/10.1007/3-540-16492-8_72
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16492-0
Online ISBN: 978-3-540-39831-8
eBook Packages: Springer Book Archive