Implementing specifications by dynamic inheritance (Q1326576): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Login: a logic programming language with built-in inheritance / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A transformational approach to negation in logic programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logic and semantic networks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3998268 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3198891 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992826 / rank | |||
Normal rank |
Latest revision as of 15:59, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Implementing specifications by dynamic inheritance |
scientific article |
Statements
Implementing specifications by dynamic inheritance (English)
0 references
18 May 1994
0 references
modularity
0 references
theory composition
0 references
specification
0 references
implementation
0 references
logic programming
0 references
SLD-resolution
0 references
inheritance
0 references