Implementing specifications by dynamic inheritance

DOI10.1007/BF03037341zbMath0804.68023MaRDI QIDQ1326576

Christopher J. Hogger, Amir Tomer

Publication date: 18 May 1994

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

inheritanceimplementationlogic programmingspecificationSLD-resolutionmodularitytheory composition

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Cites Work

• Login: a logic programming language with built-in inheritance
• Logic and semantic networks
• A transformational approach to negation in logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implementing specifications by dynamic inheritance