Search results for "Unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Michael Hanus	Lazy Unification with Simplification.	ESOP	1994	DBLP DOI BibTeX RDF
42	Christian Prehofer	Decidable Higher-Order Unification Problems.	CADE	1994	DBLP DOI BibTeX RDF
42	Nachum Dershowitz, Subrata Mitra	Higher-Order and Semantic Unification.	FSTTCS	1993	DBLP DOI BibTeX RDF
42	Staffan Bonnier	Unification in Incompletely Specified Theories: A Case Study.	MFCS	1991	DBLP DOI BibTeX RDF
42	Werner Nutt	Unification in Monoidal Theories.	CADE	1990	DBLP DOI BibTeX RDF
42	Paliath Narendran, Friedrich Otto	Some Results on Equational Unification.	CADE	1990	DBLP DOI BibTeX RDF
42	Paris C. Kanellakis, John C. Mitchell	Polymorphic Unification and ML Typing.	POPL	1989	DBLP DOI BibTeX RDF	ML
42	Fritz Henglein	Type Inference and Semi-Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
42	Peter Ruzicka, Igor Prívara	An Almost Linear Robinson Unification ALgorithm.	MFCS	1988	DBLP DOI BibTeX RDF
42	Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman	Semi-Unification.	FSTTCS	1988	DBLP DOI BibTeX RDF
42	Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß	On Equational Theories, Unification and Decidability.	RTA	1987	DBLP DOI BibTeX RDF
42	Gregory F. Johnson, Janet A. Walz	A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference.	POPL	1986	DBLP DOI BibTeX RDF
42	Robert G. Bandes	Constraining-Unification and the Programming Language Unicorn.	POPL	1984	DBLP DOI BibTeX RDF
39	Mark Franzen, Lawrence J. Henschen	A New Approach to Universal Unification and Its Application to AC-Unification.	CADE	1988	DBLP DOI BibTeX RDF
38	Pascual Julián Iranzo, Clemente Rubio-Manzano	A Similarity-Based WAM for Bousi~Prolog.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming
38	Akira Tsumaya, Yuta Matoba, Hidefumi Wakamatsu, Eiji Arai	Dynamic Management Architecture for Project Based Production.	APMS	2007	DBLP DOI BibTeX RDF	Dynamic Management, Parts and Packets Unification, Project Based Production, Scheduling, Material Handling
38	Joachim Niehren, Mateu Villaret	Parallelism and Tree Regular Constraints.	LPAR	2002	DBLP DOI BibTeX RDF	unification, tree automata, computational logic
38	Michael Schroeder 0001, Ralf Schweimeier	Fuzzy argumentation for negotiating agents.	AAMAS	2002	DBLP DOI BibTeX RDF	fuzzy unification, agent communication, fuzzy reasoning
38	Silvana Castano, Valeria De Antonellis, Sabrina De Capitani di Vimercati	Global Viewing of Heterogeneous Data Sources.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	global view, schema analysis and unification, clustering, affinity, Heterogeneous data sources
38	Marko Mäkelä	Optimising Enabling Tests and Unfoldings of Algebraic System Nets.	ICATPN	2001	DBLP DOI BibTeX RDF	reachability analysis, unification, high-level Petri nets, unfolding
38	Krzysztof R. Apt, Alessandro Pellegrini 0002	On the Occur-Check-Free Prolog Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm
38	Edward W. Krauser, Aditya P. Mathur, Vernon Rego	High Performance Software Testing on SIMD Machines.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	mutant unification, program mutation, single instruction multiple data stream, software testing, software reliability, software reliability, program testing, parallel machines, parallel machines, software systems, SIMD machines
38	Hans-Jürgen Bürckert	Solving Disequations in Equational Theories.	CADE	1988	DBLP DOI BibTeX RDF	E-unification, E-disunification, solving equations and disequations, Equational theories
37	Annie Foret	On Mixing Deduction and Substitution in Lambek Categorial Grammars.	LACL	2001	DBLP DOI BibTeX RDF
37	Manfred Schmidt-Schauß, Klaus U. Schulz	Solvability of Context Equations with Two Context Variables is Decidable.	CADE	1999	DBLP DOI BibTeX RDF
37	Ashok Singhal, Yale N. Patt	A High Performance Prolog Processor with Multiple Function Units.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
37	Ashok Singhal, Yale N. Patt	Implementing a Prolog machine with multiple functional units.	MICRO	1988	DBLP BibTeX RDF	Prolog
36	Santiago Escobar 0001	Unification and Anti-unification modulo Equational Theories.	UNIF@RTA/TLCA	2013	DBLP DOI BibTeX RDF
36	Serdar Erbatur, Santiago Escobar 0001, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse	Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.	UNIF	2011	DBLP BibTeX RDF
36	Friedrich Otto, Paliath Narendran, Daniel J. Dougherty	Equational Unification, Word Unification, and 2nd-Order Equational Unification.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
35	Jeremy G. Siek, Manish Vachharajani	Gradual typing with unification-based inference.	DLS	2008	DBLP DOI BibTeX RDF	gradual typing, simply typed lambda calculus, type inference, unification, dynamic typing, static typing
35	Boris Köpf, Heiko Mantel	Transformational typing and unification for automatically correcting insecure programs.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Unification, Language-based security, Information flow control, Security type system
35	Didier Rémy, Boris Yakobowski	A graphical presentation of MLF types with a linear-time unification algorithm.	TLDI	2007	DBLP DOI BibTeX RDF	system SF, graphs, types, unification, binders, MLF
35	Efrat Jaeger, Nissim Francez, Shuly Wintner	Unification Grammars and Off-Line Parsability.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	off-line parsability, parsing termination, unification grammars
35	Shuly Wintner	On the Semantics of Unification Grammars.	Grammars	2003	DBLP DOI BibTeX RDF	unification grammars, modularity, semantics of programming languages
35	Mariela I. Cortés, Marcus Fontoura, Carlos José Pereira de Lucena	Using refactoring and unification rules to assist framework evolution.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	framework redesign and evolution, unification rules, refactoring, object-oriented frameworks
35	Tim Sheard	Generic Unification via Two-Level Types and Parameterized Modules.	ICFP	2001	DBLP DOI BibTeX RDF	parameterized modules, Haskell, generic programs, unification
35	Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti	Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Semantic unification, Hypersets, NP-completeness, Bisimulations, Set theory
35	Silvana Castano, Valeria De Antonellis	Techniques for Process Analysis and Unification.	CAiSE	1996	DBLP DOI BibTeX RDF	Data Similarity, Process unification, Interoperability, Legacy systems, Process analysis, Process reengineering
35	Ming-Yuan Zhu, Xiao-Bai Mo	Mechanical synthesis of a unification algorithm in PowerEpsilon.	COMPSAC	1995	DBLP DOI BibTeX RDF	PowerEpsilon, constructive type theory, proof development system, formal program development system, formal specification, specification, programming, theorem proving, programming theory, type theory, unification algorithm, mechanical synthesis
35	Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Unification and Narrowing in Maude 2.4.	RTA	2009	DBLP DOI BibTeX RDF
35	Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß	Unification with Singleton Tree Grammars.	RTA	2009	DBLP DOI BibTeX RDF
35	Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran	Unification and Matching Modulo Leaf-Permutative Equational Presentations.	IJCAR	2008	DBLP DOI BibTeX RDF
35	Ye Zhang 0002, Flemming Nielson	A Scalable Inclusion Constraint Solver Using Unification.	LOPSTR	2007	DBLP DOI BibTeX RDF
35	Niraj Aswani, Kalina Bontcheva, Hamish Cunningham	Mining Information for Instance Unification.	ISWC	2006	DBLP DOI BibTeX RDF
35	James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, Patricia J. Teller	Unification of verification and validation methods for software systems: progress report and initial case study formulation.	IPDPS	2006	DBLP DOI BibTeX RDF
35	Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada	The Joinability and Unification Problems for Confluent Semi-constructor TRSs.	RTA	2004	DBLP DOI BibTeX RDF
35	Viorica Sofronie-Stokkermans	On Unification for Bonded Distributive Lattices.	CADE	2000	DBLP DOI BibTeX RDF
35	Manuvir Das	Unification-based pointer analysis with directional assignments.	PLDI	2000	DBLP DOI BibTeX RDF
35	Dan Corbett, Robert F. Woodbury	Unification over Constraints in Conceptual Graphs.	ICCS	1999	DBLP DOI BibTeX RDF
35	Sergei G. Vorobyov	forall exists*-Equational Theory of Context Unification is Pi10-Hard.	MFCS	1998	DBLP DOI BibTeX RDF
35	Alberto Oliart, Wayne Snyder	A Fast Algorithm for Uniform Semi-Unification.	CADE	1998	DBLP DOI BibTeX RDF
35	Qing Guo, Paliath Narendran, Sandeep K. Shukla	Unification and Matching in Process Algebras.	RTA	1998	DBLP DOI BibTeX RDF
35	Jean Goubault-Larrecq	Ramified Higher-Order Unification.	LICS	1997	DBLP DOI BibTeX RDF
35	Eric Chasseur, Yves Deville	Logic Program Schemas, Constraints, and Semi-unification.	LOPSTR	1997	DBLP DOI BibTeX RDF
35	Heinz Faßbender, Sebastian Maneth	A Strict Border for the Decidability of E-Unification for Recursive Functions.	ALP	1996	DBLP DOI BibTeX RDF
35	Christoph Weidenbach	Unification in Pseudo-Linear Sort Theories is Decidable.	CADE	1996	DBLP DOI BibTeX RDF
35	Anatoli Degtyarev, Andrei Voronkov	Simultaneous Regid E-Unification Is Undecidable.	CSL	1995	DBLP DOI BibTeX RDF
35	Gernot Salzer	Primal Grammars and Unification Modulo a Binary Clause.	CADE	1994	DBLP DOI BibTeX RDF
35	Tomás E. Uribe	Sorted Unification Using Set Constraints.	CADE	1992	DBLP DOI BibTeX RDF
35	Alan M. Frisch, Anthony G. Cohn 0001	An Abstract View of Sorted Unification.	CADE	1992	DBLP DOI BibTeX RDF
35	Tobias Nipkow, Zhenyu Qian	Reduction and Unification in Lambda Calculi with Subtypes.	CADE	1992	DBLP DOI BibTeX RDF
35	Franz Baader	Characterization of Unification Type Zero.	RTA	1989	DBLP DOI BibTeX RDF
35	Jia-Huai You, P. A. Subrahmanyam	On the Completeness of Narrowing for E-Unification.	KBCS	1989	DBLP DOI BibTeX RDF
35	Tobias Nipkow	Unification in Primal Algebras.	CAAP	1988	DBLP DOI BibTeX RDF
35	Deepak Kapur, Paliath Narendran	NP-Completeness of the Set Unification and Matching Problems.	CADE	1986	DBLP DOI BibTeX RDF
35	Erik Tidén	Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols.	CADE	1986	DBLP DOI BibTeX RDF
35	Jeffrey Scott Vitter, Roger A. Simons	Parallel algorithms for unification and other complete problems in p.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
35	Claude Kirchner	A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm.	CADE	1984	DBLP DOI BibTeX RDF
30	Thomas O. Olwal, Barend J. van Wyk, Karim Djouani, Yskandar Hamam, Patrick Siarry, Ntsibane Ntlatlapa	Autonomous Transmission Power Adaptation for Multi-Radio Multi-Channel Wireless Mesh Networks.	ADHOC-NOW	2009	DBLP DOI BibTeX RDF	Multi-Radio Multi-Channel (MRMC), Power Selection Multi-Radio Multi-Channel Unification Protocol (PMMUP), Wireless Mesh Networks (WMNs)
30	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
30	Soyoung Kwon	A parsing algorithm for Korean implemented in Prolog.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	unification-based grammar, Prolog, parsing, dependency grammar
30	Henning Makholm, J. B. Wells	Type inference, principal typings, and let-polymorphism for first-class mixin modules.	ICFP	2005	DBLP DOI BibTeX RDF	mixin modules, record concatenation, row unification, type systems, polymorphism
30	Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón	Second-Order Matching via Explicit Substitutions.	LPAR	2004	DBLP DOI BibTeX RDF	Higher-Order Unification, Second-Order Matching, Explicit Substitutions
30	Nadji Gauthier, François Pottier	Numbering matters: first-order canonical forms for second-order recursive types.	ICFP	2004	DBLP DOI BibTeX RDF	polymorphism, unification, equality, recursive types
30	A. J. Kfoury, Santiago M. Pericás-Geertsen	Type Inference for Recursive Definitions.	LICS	1999	DBLP DOI BibTeX RDF	type systems, type inference, lambda calculus, unification, software specification
30	Paliath Narendran, Friedrich Otto	The Word Matching Problem Is Undecidable For Finite Special String-Rewriting Systems That Are Confluent.	ICALP	1997	DBLP DOI BibTeX RDF	matching, unification, equational theory, string-rewriting systems
30	Antoni Koscielski, Leszek Pacholski	Complexity of Makanin's Algorithm.	J. ACM	1996	DBLP DOI BibTeX RDF	semantic unification, semi-groups, periodicity, word equations, Diophantine equations
30	Michael R. Donat, Lincoln A. Wallen	Learning and Applying Generalised Solutions using Higher Order Resolution.	CADE	1988	DBLP DOI BibTeX RDF	higher order unification, Resolution, generalisation, Explanation Based Learning
30	Paul Walton Purdom Jr.	Detecting Looping Simplifications.	RTA	1987	DBLP DOI BibTeX RDF	Knuth-Bendix, Matching, Unification, Simplification, Looping, Rewrite rules
30	Christopher Lynch, Barbara Morawska 0001	Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories.	RTA	2005	DBLP DOI BibTeX RDF
30	Christian Urban, Andrew M. Pitts, Murdoch Gabbay	Nominal Unificaiton.	CSL	2003	DBLP DOI BibTeX RDF
30	Stefano Guerrini	Correctness of Multiplicative Proof Nets Is Linear.	LICS	1999	DBLP DOI BibTeX RDF
30	Dieter Hutter, Michael Kohlhase	A Colored Version of the Lambda-Calculus.	CADE	1997	DBLP DOI BibTeX RDF
30	Zhenyu Qian	Higher-Order Equational Logic Programming.	POPL	1994	DBLP DOI BibTeX RDF
30	Henry G. Baker	Unify and Conquer.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
30	Amy P. Felty, Dale Miller 0001	Specifying Theorem Provers in a Higher-Order Logic Programming Language.	CADE	1988	DBLP DOI BibTeX RDF
30	Georg Gottlob, Alexander Leitsch	On the Efficiency of Subsumption Algorithms	J. ACM	1985	DBLP DOI BibTeX RDF
28	Eric Hawley	Strategic unification in IT functional reorganization.	SIGUCCS	2008	DBLP DOI BibTeX RDF	budget consolidation, management, information technology, organization, unification, centralization, strategic planning, decentralization, reorganization
28	José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo	Formal Correctness of a Quadratic Unification Algorithm.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	verification, ACL2, unification algorithm
28	Hasan M. Jamil	A case for parameterized views and relational unification.	SAC	2001	DBLP DOI BibTeX RDF	declarative methods, inheritance and overriding, parameterized views, reasoning unification, SQL, object-relational databases
28	Mauricio Ayala-Rincón, Fairouz Kamareddine	Unification via se-style of explicit substitution.	PPDP	2000	DBLP DOI BibTeX RDF	higher order unification, lambda-calculus, explicit substitution
28	Vernon Rego, Aditya P. Mathur	Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	vector multiprocessors, nonregressive graphs, optimality, parallel programming, parallelism, programming theory, unification, vector processors, sequential programs, source-to-source transformation, program graphs
28	Karl-Hans Bläsius, Jörg H. Siekmann	Partial Unification for Graph Based Equational Reasoning.	CADE	1988	DBLP DOI BibTeX RDF	built-in equality, clause graphs with equality, planning in abstraction spaces, Unification
27	Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch	Unification Modulo Homomorphic Encryption.	FroCoS	2009	DBLP DOI BibTeX RDF
27	Carmen Galvez, Félix de Moya Anegón	The unification of institutional addresses applying parametrized finite-state graphs (P-FSG).	Scientometrics	2006	DBLP DOI BibTeX RDF
27	Brigitte Pientka	Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach.	IJCAR	2006	DBLP DOI BibTeX RDF
27	Yichuan Jiang, Toru Ishida 0001	Concurrent Agent Social Strategy Diffusion with the Unification Trend.	PRIMA	2006	DBLP DOI BibTeX RDF	social law, social strategy, concurrent mechanism, agent, diffusion
27	Charles J. Petrie	Pragmatic Semantic Unification.	IEEE Internet Comput.	2005	DBLP DOI BibTeX RDF	Semantic Web, Semantic Web services
27	Gopalan Nadathur, Natalie Linnell	Practical Higher-Order Pattern Unification with On-the-Fly Raising.	ICLP	2005	DBLP DOI BibTeX RDF