Differential logic programs: Programming methodologies and semantics (Q1126260)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Differential logic programs: Programming methodologies and semantics |
scientific article |
Statements
Differential logic programs: Programming methodologies and semantics (English)
0 references
8 December 1996
0 references
differential logic programs
0 references
reusability
0 references
code sharing
0 references
information hiding
0 references