Constraint-based correctness proofs for logic program transformations
type: Item
instance of: scholarly article
title: Constraint-based correctness proofs for logic program transformations
zbMATH Open document ID: 1259.68036
author: Alberto Pettorossi
author: Maurizio Proietti
author: Valerio Senni
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 6148339
zbMATH Keywords: constraints
zbMATH Keywords: logic programming
zbMATH Keywords: program correctness
zbMATH Keywords: program transformation
zbMATH Keywords: transformation rules
MaRDI profile type: Publication
full work available at URL: s00165-012-0233-8
OpenAlex ID: W2039210279
cites work: Q4537519
cites work: A Transformation System for Developing Recursive Programs
cites work: Termination of rewriting
cites work: Q4327612
cites work: Transformations of CLP modules
cites work: SAT Solving for Termination Analysis with Polynomial Interpretations
cites work: Q3783512
cites work: The McCarthy's recursion induction principle: ''oldy'' but ''goody''
cites work: Q3992908
cites work: A transformation system for deductive database modules with perfect model semantics
cites work: Polytool : Polynomial interpretations as a basis for termination analysis of logic programs
cites work: Synthesis and transformation of logic programs using unfold/fold proofs
cites work: Totally correct logic program transformations via well-founded annotations
cites work: Automatic Correctness Proofs for Logic Program Transformations
cites work: Transformations of logic programs on infinite lists
cites work: BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
cites work: Q4494372
cites work: Unfold/fold transformation of stratified programs
cites work: On Inductive and Coinductive Proofs via Unfold/Fold Transformations
cites work: Coinductive Logic Programming
cites work: Continuation-Based Program Transformation Strategies
Wikidata QID: Q130871083
DOI: 10.1007/S00165-012-0233-8
description: scientific article; zbMATH DE number 6148339