×

Refinement of a typed WAM extension by polymorphic order-sorted types. (English) Zbl 0876.68019


MSC:

68N17 Logic programming

Citations:

Zbl 0857.68016

Software:

PROTOS-L
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aït-Kaci, H.:Warren’s Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge, MA, 1991.
[2] Beierle, C. and Börger, E.: Specification and correctness proof of a WAM extension with abstract type constraints.Formal Aspects of Computing, 8(4):428-462, 1996. · Zbl 0857.68016 · doi:10.1007/BF01213533
[3] Beierle, C.: Logic programming with typed unification and its realization on an abstract machine.IBM Journal of Research and Development, 36(3):375-390, May 1992. · doi:10.1147/rd.363.0375
[4] Beierle, C. and Meyer, G.: Run-time type computations in the Warren Abstract Machine.Journal of Logic Programming, 18(2):123-148, February 1994. · Zbl 0795.68034 · doi:10.1016/0743-1066(94)90049-3
[5] Börger, E.: A logical operational semantics of full Prolog. Part I. Selection core and control.CSL’89 ? 3rd Workshop on Computer Science Logic. LNCS 440, pages 36-64. Springer-Verlag, Berlin, 1990.
[6] Börger, E. and Rosenzweig, D.: The WAM ? definition and compiler correctness. In C. Beierle and L. Plumer, editors,Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, chapter 2, pages 20-90. Elsevier Science B.V./North-Holland, Amsterdam, 1995. · Zbl 0832.68024
[7] Hanus, M.: Horn clause programs with polymorphic types: Semantics and resolution.Theoretical Computer Science, 89:63-106, 1991. · Zbl 0741.68029 · doi:10.1016/0304-3975(90)90107-S
[8] Mycroft, A. and O’Keefe, R. A.: A polymorphic type system for Prolog.Artificial Intelligence, 23:295-307, 1984. · Zbl 0543.68076 · doi:10.1016/0004-3702(84)90017-1
[9] Smolka, G.: TEL (Version 0.9), Report and User Manual. SEKI-Report SR 87-17, FB Informatik, Universität Kaiserslautern, 1988.
[10] Smolka, G.:Logic Programming over Polymorphically Order-Sorted Types. PhD thesis, FB Informatik, Univ. Kaiserslautern, 1989. · Zbl 0708.68016
[11] Warren, D. H. D.: An Abstract PROLOG Instruction Set. Technical Report 309, SRI, 1983.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.