Polymorphic type analysis in logic programs by abstract interpretation (Q4208863)
From MaRDI portal
scientific article; zbMATH DE number 1205563
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polymorphic type analysis in logic programs by abstract interpretation |
scientific article; zbMATH DE number 1205563 |
Statements
Polymorphic type analysis in logic programs by abstract interpretation (English)
0 references
24 November 1998
0 references
polymorphic type analysis of logic programs
0 references
