Checking modes of HAL programs (Q5715448)
From MaRDI portal
scientific article; zbMATH DE number 2242964
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking modes of HAL programs |
scientific article; zbMATH DE number 2242964 |
Statements
Checking modes of HAL programs (English)
0 references
3 January 2006
0 references
strong modes
0 references
mode checking
0 references
regular grammars
0 references
constraint logic programming languages
0 references
CLP languages
0 references
