Run-time type computations in the Warren Abstract machine
From MaRDI portal
Publication:4285642
DOI10.1016/0743-1066(94)90049-3zbMath0795.68034MaRDI 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
68N17: Logic programming
Related Items
Specification and correctness proof of a WAM extension with abstract type constraints, Refinement of a typed WAM extension by polymorphic order-sorted types, A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
Uses Software