Type analysis of prolog using type graphs (Q4327427)
From MaRDI portal
scientific article; zbMATH DE number 741080
Language | Label | Description | Also known as |
---|---|---|---|
English | Type analysis of prolog using type graphs |
scientific article; zbMATH DE number 741080 |
Statements
Type analysis of prolog using type graphs (English)
0 references
6 April 1995
0 references
type analysis of prolog
0 references
compilers
0 references