Side effects and aliasing can have simple axiomatic descriptions (Q3694663)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Side effects and aliasing can have simple axiomatic descriptions |
scientific article |
Statements
Side effects and aliasing can have simple axiomatic descriptions (English)
0 references
1985
0 references
aliasing
0 references
completeness
0 references
expression language
0 references
LISP
0 references
side effect
0 references
programming languages
0 references
Algol 68
0 references
