Run-time type computations in the Warren Abstract machine

DOI10.1016/0743-1066(94)90049-3zbMath0795.68034OpenAlexW2031532267MaRDI QIDQ4285642

Christoph Beierle, Gregor Meyer

Publication date: 24 March 1994

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(94)90049-3

zbMATH Keywords

Warren abstract machinelogic programming language PROTOS-L

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

A complete semantics of \(\mathbb{K}\) and its translation to Isabelle ⋮ Specification and correctness proof of a WAM extension with abstract type constraints ⋮ Refinement of a typed WAM extension by polymorphic order-sorted types

Uses Software

• PROTOS-L

This page was built for publication: Run-time type computations in the Warren Abstract machine