Run-time type computations in the Warren Abstract machine (Q4285642)
From MaRDI portal
scientific article; zbMATH DE number 529956
Language | Label | Description | Also known as |
---|---|---|---|
English | Run-time type computations in the Warren Abstract machine |
scientific article; zbMATH DE number 529956 |
Statements
Run-time type computations in the Warren Abstract machine (English)
0 references
24 March 1994
0 references
logic programming language PROTOS-L
0 references
Warren abstract machine
0 references