Anti-unification in Constraint Logic Programming

Anti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals. In general one is typically interested in computing what is often called a most specific generalization, that is a gen...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 19; no. 5-6; pp. 773 - 789
Main Authors:	YERNAUX, GONZAGUE, VANHOOF, WIM
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.09.2019
Subjects:	35th International Conference on Logic Programming Algorithms Computation Logic programming Original Article Polynomials Anti-unification (most specific) generalization CLP program analysis
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!