scientific article; zbMATH DE number 1158762
From MaRDI portal
Publication:4391453
zbMath0900.68141MaRDI QIDQ4391453
Maurizio Proietti, Alberto Pettorossi
Publication date: 3 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Unnamed Item ⋮ Tree tuple languages from the logic programming point of view ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Generalization-Driven Semantic Clone Detection in CLP ⋮ Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs. ⋮ Assertion based Inductive Verification Methods for Logic Programs ⋮ Logic programs as specifications in the inductive verification of logic programs ⋮ A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation ⋮ Program development schemata as derived rules
This page was built for publication:
