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...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 19; číslo 5-6; s. 773 - 789
Hlavní autoři:	YERNAUX, GONZAGUE, VANHOOF, WIM
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.09.2019
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!