Search results for "anti-unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Ulf Krumnack, Angela Schwering, Helmar Gust, Kai-Uwe Kühnberger	Restricted Higher-Order Anti-Unification for Analogy Making.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
35	Hubert Comon	Sufficient Completness, Term Rewriting Systems and "Anti-Unification".	CADE	1986	DBLP DOI BibTeX RDF
33	Santiago Escobar 0001	Unification and Anti-unification modulo Equational Theories.	UNIF@RTA/TLCA	2013	DBLP DOI BibTeX RDF
33	Frank Pfenning	Unification and Anti-Unification in the Calculus of Constructions	LICS	1991	DBLP DOI BibTeX RDF
29	Rylan Cottrell, Robert J. Walker, Jörg Denzinger	Jigsaw: a tool for the small-scale reuse of source code.	ICSE Companion	2008	DBLP DOI BibTeX RDF	anti-unification, reuse, similarity, correspondence
29	Rylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger	Determining detailed structural correspondence for generalization tasks.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	anti-unification, generalization, similarity, tool support, correspondence
22	Harold Boley	Finite Domains and Exclusions as First-Class Citizens.	ELP	1993	DBLP DOI BibTeX RDF
20	David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova	babble: Learning Better Abstractions with E-Graphs and Anti-unification.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
20	Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia	Equational Anti-Unification over Absorption Theories.	CoRR	2023	DBLP DOI BibTeX RDF
20	David M. Cerna, Temur Kutsia	Anti-unification and Generalization: A Survey.	CoRR	2023	DBLP DOI BibTeX RDF
20	Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho	Towards Fast Nominal Anti-unification of Letrec-Expressions.	CADE	2023	DBLP DOI BibTeX RDF
20	Gonzague Yernaux, Wim Vanhoof	Predicate Anti-unification in (Constraint) Logic Programming.	LOPSTR	2023	DBLP DOI BibTeX RDF
20	David M. Cerna, Temur Kutsia	Anti-unification and Generalization: A Survey.	IJCAI	2023	DBLP DOI BibTeX RDF
20	David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova	babble: Learning Better Abstractions with E-Graphs and Anti-Unification.	CoRR	2022	DBLP DOI BibTeX RDF
20	Michal Buran, David M. Cerna	One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus.	CoRR	2022	DBLP DOI BibTeX RDF
20	Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho	Nominal Anti-Unification with Atom-Variables.	FSCD	2022	DBLP DOI BibTeX RDF
20	Gonzague Yernaux, Wim Vanhoof	Anti-Unification of Unordered Goals.	CSL	2022	DBLP DOI BibTeX RDF
20	María Alpuente, Demis Ballis, Santiago Escobar 0001, Julia Sapiña	Variant-Based Equational Anti-unification.	LOPSTR	2022	DBLP DOI BibTeX RDF
20	Gonzague Yernaux, Wim Vanhoof	Technical Report: Anti-unification of Unordered Goals.	CoRR	2021	DBLP BibTeX RDF
20	David M. Cerna, Temur Kutsia	Idempotent Anti-unification.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
20	David M. Cerna	Anti-unification and the theory of semirings.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Daniele Nantes-Sobrinho	A, C, and AC Nominal Anti-Unification.	UNIF	2020	DBLP BibTeX RDF
20	David M. Cerna, Temur Kutsia	Unital Anti-Unification: Type and Algorithms.	FSCD	2020	DBLP DOI BibTeX RDF
20	Gonzague Yernaux, Wim Vanhoof	Anti-unification in Constraint Logic Programming.	CoRR	2019	DBLP BibTeX RDF
20	Gonzague Yernaux, Wim Vanhoof	Anti-unification in Constraint Logic Programming.	Theory Pract. Log. Program.	2019	DBLP DOI BibTeX RDF
20	David M. Cerna, Temur Kutsia	Higher-Order Equational Pattern Anti-Unification [Preprint].	CoRR	2018	DBLP BibTeX RDF
20	Adam D. Barwell, Christopher Brown 0002, Kevin Hammond	Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification.	Future Gener. Comput. Syst.	2018	DBLP DOI BibTeX RDF
20	Wolfram Kahl	Finite Limits and Anti-unification in Substitution Categories.	WADT	2018	DBLP DOI BibTeX RDF
20	Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro	Type inference for GADTs, outsidein and anti-unification.	SBLP	2018	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret	Term-Graph Anti-Unification.	FSCD	2018	DBLP DOI BibTeX RDF
20	David M. Cerna, Temur Kutsia	Higher-Order Equational Pattern Anti-Unification.	FSCD	2018	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret	Higher-Order Pattern Anti-Unification in Linear Time.	J. Autom. Reason.	2017	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia	Unranked second-order anti-unification.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
20	Boris Konev, Temur Kutsia	Anti-Unification of Concepts in Description Logic EL.	KR	2016	DBLP BibTeX RDF
20	Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão 0001, Rodrigo Geraldo Ribeiro	Type Inference for GADTs and Anti-unification.	SBLP	2015	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret	Nominal Anti-Unification.	RTA	2015	DBLP DOI BibTeX RDF
20	Jochen Burghardt, Birgit Heinz	Implementing Anti-Unification Modulo Equational Theory.	CoRR	2014	DBLP BibTeX RDF
20	Temur Kutsia, Jordi Levy, Mateu Villaret	Anti-unification for Unranked Terms and Hedges.	J. Autom. Reason.	2014	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia	Unranked Second-Order Anti-Unification.	WoLLIC	2014	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret	Nominal Anti-Unification.	UNIF	2014	DBLP BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia	A Library of Anti-unification Algorithms.	JELIA	2014	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret	A Variant of Higher-Order Anti-Unification.	RTA	2013	DBLP DOI BibTeX RDF
20	Alexander Baumgartner, Temur Kutsia	Unranked Anti-Unification with Hedge and Context Variables.	UNIF@RTA/TLCA	2013	DBLP DOI BibTeX RDF
20	Temur Kutsia	Anti-Unification: Algorithms and Applications.	UNIF@RTA/TLCA	2013	DBLP DOI BibTeX RDF
20	Martin Schmidt 0002, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack	Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.	KI	2011	DBLP DOI BibTeX RDF
20	Temur Kutsia, Jordi Levy, Mateu Villaret	Anti-Unification for Unranked Terms and Hedges.	RTA	2011	DBLP DOI BibTeX RDF
20	Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov	Anti-unification Algorithms and Their Applications in Program Analysis.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
20	Koichiro Doi, Tetsuya Yamashita, Akihiro Yamamoto	An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification.	ILP	2006	DBLP DOI BibTeX RDF
20	Peter Idestam-Almquist	Generalization under Implication by Recursive Anti-unification.	ICML	1993	DBLP DOI BibTeX RDF
20	Charles David Page Jr.	Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction		1993	RDF
20	Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry	A Note on the Parallel Complexity of Anti-Unification.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
20	Arthur L. Delcher, Simon Kasif	Efficient Parallel Term Matching and Anti-Unification.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
20	Arthur L. Delcher, Simon Kasif	Efficient Parallel Term Matching and Anti-Unification.	ICLP	1990	DBLP BibTeX RDF
20	Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry	Efficient Parallel Algorithms for Anti-Unification and Relative Complement	LICS	1988	DBLP DOI BibTeX RDF
15	Hyo-Sub Lee, Kyung-Goo Doh	Tree-pattern-based duplicate code detection.	CIKM-DSMM	2009	DBLP DOI BibTeX RDF	reverse engineering, software maintenance, clone detection, tree-pattern
15	Santiago Ontañón, Enric Plaza	On Similarity Measures Based on a Refinement Lattice.	ICCBR	2009	DBLP DOI BibTeX RDF
15	Albert Fornells, Eva Armengol, Elisabet Golobardes, Susana Puig, Josep Malvehy	Experiences Using Clustering and Generalizations for Knowledge Discovery in Melanomas Domain.	ICDM	2008	DBLP DOI BibTeX RDF	Melanoma, Skin Tumour, Dermoscopy, Clustering, Self-Organizing Maps, Knowledge Discovery, Explanations, Medicine
15	Rylan Cottrell, Robert J. Walker, Jörg Denzinger	Semi-automating small-scale source code reuse via structural correspondence.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	jigsaw, semi-automation, small-scale source code reuse, structural correspondences
15	Nishant Sinha 0001	Symbolic Program Analysis Using Term Rewriting and Generalization.	FMCAD	2008	DBLP DOI BibTeX RDF
15	Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger, Angela Schwering	Re-representation in a Logic-Based Model for Analogy Making.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF
15	Jianguo Lu, Masateru Harao, Masami Hagiya	Higher Order Generalization.	JELIA	1998	DBLP DOI BibTeX RDF
15	Jean-Louis Lassez, Kim Marriott	Explicit Representation of Terms Defined by Counter Examples.	FSTTCS	1986	DBLP DOI BibTeX RDF