Search results for "Unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Chi-Hung Chi, Jun-Li Yuan	Sequential Unification and Aggressive Lookahead Mechanisms for Data Memory Accesses.	PaCT	1999	DBLP DOI BibTeX RDF
20	Bruce J. McAdam	On the Unification of Substitutions in Type Interfaces.	IFL	1998	DBLP DOI BibTeX RDF
20	P. Krisko, Peter Marcincák, Peter Mihók, J. Sabol, Peter Vojtás	Low Retrieval Remote Querying Dialogue with Fuzzy Conceptual, Syntactical and Linguistical Unification.	FQAS	1998	DBLP DOI BibTeX RDF
20	Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov	The Decidability of Simultaneous Rigid E-Unification with One Variable.	RTA	1998	DBLP DOI BibTeX RDF
20	Christopher Lynch	The Unification Problem for One Relation Thue Systems.	AISC	1998	DBLP DOI BibTeX RDF
20	Sébastien Limet, Pierre Réty	E-Unification by Means of Tree Tuple Synchronized Grammars.	TAPSOFT	1997	DBLP DOI BibTeX RDF
20	Yuri Gurevich, Andrei Voronkov	Monadic Simultaneous Rigid E-Unification and Related Problems.	ICALP	1997	DBLP DOI BibTeX RDF
20	Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck	Improving Distributed Unification through Type Analysis.	Euro-Par	1997	DBLP DOI BibTeX RDF
20	Tru H. Cao, Peter N. Creasy, Vilas Wuwongse	Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs.	ICCS	1997	DBLP DOI BibTeX RDF
20	Ralph E. Melton, David Garlan	Architectural unification.	CASCON	1997	DBLP BibTeX RDF
20	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
20	Roland Fettig, Bernd Löchner	Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type.	RTA	1996	DBLP DOI BibTeX RDF
20	Lena Magnusson	An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification.	TYPES	1995	DBLP DOI BibTeX RDF
20	Matthias Baaz, Gernot Salzer	Semi-Unification and Generalizations of a Particularly Simple Form.	CSL	1994	DBLP DOI BibTeX RDF
20	Manfred Schmidt-Schauß	Unification Under One-Sided Distributivity with a Multiplicative Unit.	LPAR	1993	DBLP DOI BibTeX RDF
20	Konrad Slind	AC Unification in HOL90.	HUG	1993	DBLP DOI BibTeX RDF
20	Krzysztof R. Apt, Sandro Etalle	On the Unification Free Prolog Programs.	MFCS	1993	DBLP DOI BibTeX RDF
20	Chris Fickert, Thomas A. Sudkamp	Unification based FP interpreters.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	FP
20	Gernot Salzer	The Unification of Infinite Sets of Terms and Its Applications.	LPAR	1992	DBLP DOI BibTeX RDF
20	Christophe Ringeissen	Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras.	LPAR	1992	DBLP DOI BibTeX RDF
20	Limor Fix, Nissim Francez, Orna Grumberg	Program Composition via Unification.	ICALP	1992	DBLP DOI BibTeX RDF
20	Daniel J. Dougherty, Patricia Johann	A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract).	CADE	1992	DBLP DOI BibTeX RDF
20	Alexandre Boudet	Unification in Order-Sorted Algebras with Overloading.	CADE	1992	DBLP DOI BibTeX RDF
20	David A. Wolfram	Rewriting, and Equational Unification: the Higher-Order Cases.	RTA	1991	DBLP DOI BibTeX RDF
20	Daniel J. Dougherty, Patricia Johann	An Improved General E-Unification Method.	CADE	1990	DBLP DOI BibTeX RDF
20	Gian-Luigi Ferrari 0002, Ugo Montanari	Towards the Unification of Models for Concurrency.	CAAP	1990	DBLP DOI BibTeX RDF
20	Mohamed Adi, Claude Kirchner	AC-Unification Race: The System Solving Approach And Its Implementation.	DISCO	1990	DBLP DOI BibTeX RDF
20	Yulin Feng, Junbo Liu	A Temporal Approach to Algebraic Specifications.	CONCUR	1990	DBLP DOI BibTeX RDF
20	Susan M. Merritt	A Top Down Unification of Minimum Cost Spanning Tree Algorithms.	SIGCOMM	1989	DBLP DOI BibTeX RDF
20	Conal Elliott	Higher-order Unification with Dependent Function Types.	RTA	1989	DBLP DOI BibTeX RDF
20	Hans-Joachim Goltz	Functional Data Term Models and Semantic Unification.	ALP	1988	DBLP DOI BibTeX RDF
20	Katsumi Tanaka, Masatoshi Yoshikawa	Towards Abstracting Complex Database Objects: Generalization, Reduction and Unification of Set-type Objects (Extended Abstract).	ICDT	1988	DBLP DOI BibTeX RDF
20	James A. Brown 0001, Ramiro Guerreiro	APL2 implementations of unification.	APL	1987	DBLP DOI BibTeX RDF	APL
20	Joxan Jaffar, Jean-Louis Lassez	From Unification to Constraints.	LP	1987	DBLP DOI BibTeX RDF
20	Gregor Snelting, Wolfgang Henhapl	Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.	POPL	1986	DBLP DOI BibTeX RDF
20	Hubert Comon	Sufficient Completness, Term Rewriting Systems and "Anti-Unification".	CADE	1986	DBLP DOI BibTeX RDF
20	Ursula Martin, Tobias Nipkow	Unification in Boolean Rings.	CADE	1986	DBLP DOI BibTeX RDF
20	Katherine A. Yelick	Combining Unification Algorithms for Confined Regular Equational Theories.	RTA	1985	DBLP DOI BibTeX RDF
20	Jörg H. Siekmann	Universal Unification.	CADE	1984	DBLP DOI BibTeX RDF
20	Peter Wegner	On the Unification of Data and Program Abstraction in Ada.	POPL	1983	DBLP DOI BibTeX RDF
15	Chuan-Kai Lin, Tim Sheard	Pointwise generalized algebraic data types.	TLDI	2010	DBLP DOI BibTeX RDF	pointwise baseline, pointwise unification, pointwise unifier, gadts
15	Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß	Context Matching for Compressed Terms.	LICS	2008	DBLP DOI BibTeX RDF	context variables, tree compression, matching, unification
15	Ye Zhang 0002, Torben Amtoft, Flemming Nielson	From generic to specific: off-line optimization for a general constraint solver.	GPCE	2008	DBLP DOI BibTeX RDF	off-line optimization, solver technology, constraints, program analysis, datalog, unification
15	Didier Rémy, Boris Yakobowski	From ML to MLF: graphic type constraints with efficient type inference.	ICFP	2008	DBLP DOI BibTeX RDF	type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
15	Mohammad Reza Kakoee, Mohammad Riazati, Siamak Mohammadi	Enhancing the Testability of RTL Designs Using Efficiently Synthesized Assertions.	ISQED	2008	DBLP DOI BibTeX RDF	Assertion Synthesis, Assertion Unification, Online Testing
15	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
15	Satish Chandra 0001, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík	Type inference for locality analysis of distributed data structures.	PPoPP	2008	DBLP DOI BibTeX RDF	equality-based constraint system, type inference, unification, x10, partitioned global address space
15	Barbara Dziemidowicz-Gryz	On Learnability of Restricted Classes of Categorial Grammars.	Stud Logica	2007	DBLP DOI BibTeX RDF	learning function, learning algorithm, unification, categorial grammar
15	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
15	Yichuan Jiang, Jiuchuan Jiang, Toru Ishida 0001	Agent coordination by trade-off between locally diffusion effects and socially structural influences.	AAMAS	2007	DBLP DOI BibTeX RDF	local diffusion, unification trend, coordination, multiagent system, social influence
15	Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August	A framework for unrestricted whole-program optimization.	PLDI	2006	DBLP DOI BibTeX RDF	interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
15	Yong Sun, Fang Chen 0001, Yu (David) Shi, Vera Yuk Ying Chung	A novel method for multi-sensory data fusion in multimodal human computer interaction.	OZCHI	2006	DBLP DOI BibTeX RDF	multimodal grammar, speech and gesture multimodal interfaces, unification-based multimodal input fusion
15	Wojciech Plandowski	Satisfiability of word equations with constants is in PSPACE.	J. ACM	2004	DBLP DOI BibTeX RDF	String unification, word equations
15	Hans M. Jacobson	Improved clock-gating through transparent pipelining.	ISLPED	2004	DBLP DOI BibTeX RDF	adaptive pipeline depth, dynamic pipeline scaling, optimal pipeline clocking, pipeline stage unification, transparent pipeline, low power, high performance, microarchitecture, circuits, clock gating
15	Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning	A modal foundation for meta-variables.	MERLIN	2003	DBLP DOI BibTeX RDF	modal type theory, pattern unification, logical frameworks
15	Claudio Gutierrez 0001	Satisfiability of Word Equations with Constants is in Exponential Space.	FOCS	1998	DBLP DOI BibTeX RDF	Makanin's algorithm, word combinatorics, free semigroups, algorithms, unification, word equations
15	Lunjin Lu	A Mode Analysis of Logic Programs by Abstract Interpretation.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	Abstract Unification, Abstract Interpretation, Sharing, Aliasing, Mode
15	Frank Ng, Gregory Butler, Judy Kay	An Intelligent Tutoring System for the Dijkstra-Gries Methodology.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Dijkstra-Gries, symbolic algebra, user modeling, inheritance, intelligent tutoring systems, unification, object-oriented systems, programming methodology, teaching programming, re-use
15	Hassan Aït-Kaci, Andreas Podelski	Functions as Passive Constraints in LIFE.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	?-terms, committed-choice languages, first-order terms, relative simplification, matching, unification, residuation, coroutining, concurrent constraint programming
15	Martin C. Emele, Ulrich Heid, Stefan Momma, Rémi Zajac	Interactions between linguistic constraints: Procedural vs. declarative approaches.	Mach. Transl.	1992	DBLP DOI BibTeX RDF	multilingual generation, typed feature terms, order-sorted unification, constraint solving
15	María Alpuente, Moreno Falaschi, Ferdinando Manzo	Analyses of Inconsistency for Incremental Equational Logic Programming.	PLILP	1992	DBLP DOI BibTeX RDF	Equational logic programming, universal unification, Abstract interpretation, term rewriting systems
15	Gertjan van Noord, Joke Dorrepaal, Pim van der Eijk, Maria Florenza, Herbert Ruessink, Louis des Tombe	An overview of MiMo2.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	Dutch, unification grammar, computability, symmetry, reversibility, transfer, English, declarativity
15	S. Ivanets, N. Ilinsky, M. Krylov	WAM Specification for Parallel Execution on SIMD Computer.	RCLP	1991	DBLP DOI BibTeX RDF	parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer
15	Michael Kaminski, Nissim Francez	Finite-Memory Automata (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	Rabin-Scott finite-state automata, finite-memory automata, infinite alphabets, equality test, unification
15	Ricardo Caferra, Nicolas Zabel	Extending Resolution for Model Construction.	JELIA	1990	DBLP DOI BibTeX RDF	Equational Problems, Disunification, Theorem Proving, Decision Procedures, Unification, Model Construction
15	Jean-Jacques Thiel	Stop Losing Sleep Over Incomplete Data Type Specifications.	POPL	1984	DBLP DOI BibTeX RDF	Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories
15	H. Perdrix	Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible.	STACS	1984	DBLP DOI BibTeX RDF	Fr Système de réécriture, Théorie équationnelle, Paire critique, Cohérence, Terminaison uniforme, Forme normale, Church-Rosser, Preuve automatique, Unification, Confluence
15	Ken-etsu Fujita, Aleksy Schubert	Existential Type Systems with No Types in Terms.	TLCA	2009	DBLP DOI BibTeX RDF
15	Maarika Traat	Information Structure in a Formal Framework.	CICLing	2009	DBLP DOI BibTeX RDF
15	David Vaz, Vítor Santos Costa, Michel Ferreira	User Defined Indexing.	ICLP	2009	DBLP DOI BibTeX RDF
15	Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone	Modal interfaces: unifying interface automata and modal specifications.	EMSOFT	2009	DBLP DOI BibTeX RDF	modal specifications, compatibility, interface automata
15	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	2009	DBLP DOI BibTeX RDF	fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics
15	Davide Grossi	Unifying preference and judgment aggregation.	AAMAS (1)	2009	DBLP BibTeX RDF	collective decision-making, many-valued logic, preference aggregation, judgment aggregation, social-choice theory
15	Jorge Coelho 0001, Mário Florido	XCentric: logic programming for XML processing.	WIDM	2007	DBLP DOI BibTeX RDF	logic programming, XML processing
15	Ken Q. Pu	Service Description and Analysis From a Type Theoretic Approach.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
15	Claudio Sacerdoti Coen, Enrico Tassi	Working with Mathematical Structures in Type Theory.	TYPES	2007	DBLP DOI BibTeX RDF
15	Ryosuke Fujioka, Hiroshi Narazaki	Preference representation in a content-oriented information retrieval system for local assembly minutes.	SMC	2007	DBLP DOI BibTeX RDF
15	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking Unified.	VMCAI	2007	DBLP DOI BibTeX RDF
15	Ana Cavalcanti 0001, Jim Woodcock 0001, Steve Dunne	Angelic nondeterminism in the unifying theories of programming.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Semantics, Refinement, Relations, Predicate transformers
15	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Unifying Theories in ProofPower-Z.	UTP	2006	DBLP DOI BibTeX RDF	Unifying Theories of Programming, theorem prover
15	Michael Furr, Jeffrey S. Foster	Polymorphic Type Inference for the JNI.	ESOP	2006	DBLP DOI BibTeX RDF
15	Xuan Li, Andy King, Lunjin Lu	Collapsing Closures.	ICLP	2006	DBLP DOI BibTeX RDF
15	Joseph A. Goguen	What Is a Concept?	ICCS	2005	DBLP DOI BibTeX RDF
15	Leon J. Osterweil	Unifying Microprocess and Macroprocess Research.	ISPW	2005	DBLP DOI BibTeX RDF
15	Jan-Mark S. Wams, Maarten van Steen	Unifying User-to-User Messaging Systems.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF
15	Holger Gast	Explaining ML Type Errors by Data Flows.	IFL	2004	DBLP DOI BibTeX RDF
15	Miguel García-Remesal, Victor Maojo, Holger Billhardt, José Crespo, Raúl Alonso-Calvo, David Pérez-Rey, Fernando Martin, A. Sousa	ARMEDA II: Supporting Genomic Medicine through the Integration of Medical and Genetic Databases.	BIBE	2004	DBLP DOI BibTeX RDF	ARMEDA II, Genomic Medicine, Heterogeneous Database Integration, INFOGENMED, Bioinformatics, Medical Informatics, Biomedical Informatics
15	Marius C. Bujorianu, Eerke A. Boiten	Towards Correspondence Carrying Specifications.	AMAST	2004	DBLP DOI BibTeX RDF	UML, Z, viewpoints, LOTOS, category theory, partial specification
15	Fabian Mörchen, Alfred Ultsch	Mining Hierarchical Temporal Patterns in Multivariate Time Series.	KI	2004	DBLP DOI BibTeX RDF
15	Bo Huang, Bing-Yi Zhang, Fang Zhou, Ya-Min Sun	Modeling multimodal integration based on colored Petri nets and feature structures.	ICARCV	2004	DBLP DOI BibTeX RDF
15	César Luis Alonso, Fátima Drubi, Judith Gómez-García, José Luis Montaña	Word Equation Systems: The Heuristic Approach.	SBIA	2004	DBLP DOI BibTeX RDF	local search strategies, genetic algorithms, Evolutionary computation, word equations
15	Noureddine Chabini, Wayne H. Wolf	An approach for integrating basic retiming and software pipelining.	EMSOFT	2004	DBLP DOI BibTeX RDF	embedded systems, system-on-chip, timings, instruction-level parallelism, software pipelining, VLIW, retiming, superscalar processor, peak power, code size
15	Sébastien Carlier, J. B. Wells	Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.	PPDP	2004	DBLP DOI BibTeX RDF	expansion variables, type inference, lambda-calculus, intersection types
15	Martin Kardos, Franz J. Rammig	Model Based Formal Verification of Distributed Production Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
15	Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey	Herbrand Constraints in HAL.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
15	Temur Kutsia	Solving Equations Involving Sequence Variables and Sequence Functions.	AISC	2004	DBLP DOI BibTeX RDF
15	Christopher Lynch, Catherine Meadows 0001	Sound Approximations to Diffie-Hellman Using Rewrite Rules.	ICICS	2004	DBLP DOI BibTeX RDF
15	Gábor Alberti, Katalin Balogh, Judit Kleiber, Anita Viszket	Total Lexicalism and GASGrammars: A Direct Way to Semantics.	CICLing	2003	DBLP DOI BibTeX RDF
15	Michal Wozniak 0001	Case- and Rule-Based Algorithms for the Contextual Pattern Recognition Problem.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
15	Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi	Deterministic Higher-Order Patterns for Program Transformation.	LOPSTR	2003	DBLP DOI BibTeX RDF	Higher-order pattern matching, Fusion transformation, Program transformation, Functional programming, Program derivation