Search results for "Confluence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Laurent Granvilliers, Éric Monfroy	Constraint Propagation: Between Abstract Models and ad hoc Strategies.	CP	2000	DBLP DOI BibTeX RDF
10	Eduardo Bonelli, Delia Kesner, Alejandro Ríos 0001	A de Bruijn Notation for Higher-Order Rewriting.	RTA	2000	DBLP DOI BibTeX RDF
10	Burghard von Karger	Temporal Algebra.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
10	Yukiyoshi Kameyama	A Type-Theoretic Study on Partial Continuations.	IFIP TCS	2000	DBLP DOI BibTeX RDF
10	Kajal T. Claypool, Chandrakant Natarajan, Elke A. Rundensteiner	Optimizing Performance of Schema Evolution Sequences.	Objects and Databases	2000	DBLP DOI BibTeX RDF	Optimization, Object-Oriented Databases, Schema Evolution
10	Michel Parigot	Strong Normalization of Second Order Symmetric lambda-Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF
10	Uwe Aßmann, Andreas Ludwig	Aspect Weaving with Graph Rewriting.	GCSE	1999	DBLP DOI BibTeX RDF
10	Ali Behforooz, Frederick Hudson	Software Engineering for Real-Time High Reliability Applications.	ECBS	1999	DBLP DOI BibTeX RDF
10	Masahiko Sato 0001, Takafumi Sakurai, Rod M. Burstall	Explicit Environments.	TLCA	1999	DBLP DOI BibTeX RDF
10	Serenella Cerrito, Delia Kesner	Pattern Matching as Cut Elimination.	LICS	1999	DBLP DOI BibTeX RDF
10	Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio	Paramodulation with Non-Monotonic Orderings.	LICS	1999	DBLP DOI BibTeX RDF	term rewriting, automated deduction
10	Gilles Barthe, Maria João Frade	Constructor Subtyping.	ESOP	1999	DBLP DOI BibTeX RDF
10	Peter Baumgartner 0001, Norbert Eisinger, Ulrich Furbach	A Confluent Connection Calculus.	CADE	1999	DBLP DOI BibTeX RDF
10	Mary Lou Soffa	Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.	SAS	1999	DBLP DOI BibTeX RDF
10	Andreas Jakoby	The Average Time Complexity to Compute Prefix Functions in Processor Networks.	STACS	1999	DBLP DOI BibTeX RDF
10	Yoshihiro Adachi, Suguru Kobayashi, Kensei Tsuchida, Takeo Yaku	An NCE Context-Sensitive Graph Grammar for Visual Design Languages.	VL	1999	DBLP DOI BibTeX RDF	Context-sensitive graph grammar, Diagrammatic languages, Formal definition of VPLs, Reusing visual code, Visual language
10	Femke van Raamsdonk	Higher-Order Rewriting.	RTA	1999	DBLP DOI BibTeX RDF
10	Aart Middeldorp	Term Rewriting.	CSL	1999	DBLP DOI BibTeX RDF
10	Friedrich Otto	On S-Regular Prefix-Rewriting Systems and Automatic Structures.	COCOON	1999	DBLP DOI BibTeX RDF
10	Jean-Jacques Lévy, Luc Maranget	Explicit Substitutions and Programming Languages.	FSTTCS	1999	DBLP DOI BibTeX RDF
10	Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà	Active-U-Datalog: Integrating Active Rules in a Logical Update Language.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
10	Panos Kardasis, Pericles Loucopoulos	Aligning Legacy Information Systems to Business Processes.	CAiSE	1998	DBLP DOI BibTeX RDF
10	Peter Heller	Hardware/Software Co-Design: The Next Embedded System Design Challenge (Panel).	DAC	1998	DBLP DOI BibTeX RDF
10	Naoki Kobayashi 0001	A Partially Deadlock-Free Typed Process Calculus.	LICS	1997	DBLP DOI BibTeX RDF
10	Nachum Dershowitz	When are Two Rewrite Systems More than None?	MFCS	1997	DBLP DOI BibTeX RDF
10	John A. Stankovic, Sang Hyuk Son, Jörg Liebeherr	BeeHive: Global Multimedia Database Support for Dependable, Real-Time Applications.	ARTDB	1997	DBLP DOI BibTeX RDF
10	James Bailey 0001, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard	Abstract Interpretation of Active Rules and its Use in Termination Analysis.	ICDT	1997	DBLP DOI BibTeX RDF
10	Steven O. Kimbrough, William J. Vachula	Towards a Logic Model for Object-Oriented Systems Analysis and Design.	HICSS (5)	1997	DBLP DOI BibTeX RDF
10	Luc Bougé, David Cachera	A logical framework to prove properties of Alpha programs.	ASAP	1997	DBLP DOI BibTeX RDF
10	Anna Philippou, David Walker 0008	A Rigorous Analysis of Concurrent Operations on B-Trees.	CONCUR	1997	DBLP DOI BibTeX RDF
10	Nachum Dershowitz	Innocuous Constructor-Sharing Combinations.	RTA	1997	DBLP DOI BibTeX RDF
10	Raymond K. Wong 0001, H. Lewis Chau	Method Dispatching and Type Safety for Objects with Multiple Roles.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	objects with roles, type calculus, object-oriented databases
10	Massimo Marchiori	On the Expressive Power of Rewriting.	FSTTCS	1997	DBLP DOI BibTeX RDF
10	Frédéric Benhamou	Heterogeneous Constraint Solving.	ALP	1996	DBLP DOI BibTeX RDF
10	Tobias Nipkow	More Church-Rosser Proofs (in Isabelle/HOL).	CADE	1996	DBLP DOI BibTeX RDF
10	Wayne Snyder, James G. Schmolze	Rewrite Semantics for Production Rule Systems: Theory and Applications.	CADE	1996	DBLP DOI BibTeX RDF
10	Bernhard Gramlich	On Proving Termination by Innermost Termination.	RTA	1996	DBLP DOI BibTeX RDF
10	Christoph Lüth	Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem.	RTA	1996	DBLP DOI BibTeX RDF
10	Gilles Barthe, Paul-André Melliès	On the Subject Reduction Property for Algebraic Type Systems.	CSL	1996	DBLP DOI BibTeX RDF
10	Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema	Relative Undecidability in Term Rewriting.	CSL	1996	DBLP DOI BibTeX RDF
10	Thomas W. Reps, Susan Horwitz, Shmuel Sagiv	Precise Interprocedural Dataflow Analysis via Graph Reachability.	POPL	1995	DBLP DOI BibTeX RDF	C
10	David R. Sutton, Carol Small	Extending Functional Database Languages to Update Completeness.	BNCOD	1995	DBLP DOI BibTeX RDF
10	Anna Philippou, David Walker 0008	On Sharing and Determinacy in Concurrent Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
10	Jean-Marc DeBaud, Spencer Rugaber	A software re-engineering method using domain models.	ICSM	1995	DBLP DOI BibTeX RDF	software re-engineering method, software reengineering technology, executable domain model, target artifact, abstract domain driven representation, artifact evolution, future work, reverse engineering, reverse engineering, object-oriented programming, systems analysis, program comprehension, domain models, object oriented framework, domain analysis, systems re-engineering, program evolution
10	Susan B. Davidson, Anthony Kosky, Barbara A. Eckman	Facilitating Transformations in a Human Genome Project Database.	CIKM	1994	DBLP DOI BibTeX RDF
10	Jürgen Avenhaus, Carlos Loría-Sáenz	On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs.	LPAR	1994	DBLP DOI BibTeX RDF
10	Sergio Antoy, Aart Middeldorp	A Sequential Reduction Strategy.	ALP	1994	DBLP DOI BibTeX RDF
10	Delia Kesner	Reasoning about Layered, Wildcard and Product Patterns.	ALP	1994	DBLP DOI BibTeX RDF
10	Robert Muller	A Staging Calculus and its Application to the Verification of Translators.	POPL	1994	DBLP DOI BibTeX RDF
10	Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval	Correctness of Automated Distribution of Sequential Programs.	PARLE	1993	DBLP DOI BibTeX RDF	distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics
10	Jean H. Gallier	Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract).	RTA	1993	DBLP DOI BibTeX RDF
10	Walter Dosch	Reduction Relations in Strict Applicative Language.	ISTCS	1992	DBLP DOI BibTeX RDF
10	Berthold Hoffmann	Term Rewriting with Sharing and Memoïzation.	ALP	1992	DBLP DOI BibTeX RDF
10	Bernhard Gramlich	Generalized Sufficient Conditions for Modular Termination of Rewriting.	ALP	1992	DBLP DOI BibTeX RDF
10	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo	A Calculus for Overloaded Functions with Subtyping.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
10	Stephen Ponzio, Ray Strong	Semisynchrony and Real-Time (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
10	Michel Parigot	Free Deduction: An Analysis of "Computations" in Classical Logic.	RCLP	1991	DBLP DOI BibTeX RDF
10	Matthias Mutz	Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior.	CAV	1991	DBLP DOI BibTeX RDF
10	Larry Kerschberg	Methodologies for Data/Knowledge/Information Engineering: Will the Twain Meet? (Extended Abstract).	ISMIS	1991	DBLP DOI BibTeX RDF
10	Anne-Cécile Caron	Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
10	Jeremy Gunawardena	Geometric Logic, Causality and Event Structures.	CONCUR	1991	DBLP DOI BibTeX RDF
10	Maria Paola Bonacina, Jieh Hsiang	On Fairness of Completion-Based Theorem Proving Strategies.	RTA	1991	DBLP DOI BibTeX RDF
10	Aart Middeldorp, Yoshihito Toyama	Completeness of Combinations of Constructor Systems.	RTA	1991	DBLP DOI BibTeX RDF
10	Françoise Bellegarde	Program Transformation and Rewriting.	RTA	1991	DBLP DOI BibTeX RDF
10	Ralph W. Wilkerson, Blayne E. Mayfield	The Role of Term Symmetry in E-Completion Procedures.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
10	Rakesh M. Verma, I. V. Ramakrishnan	Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems.	ICALP	1990	DBLP DOI BibTeX RDF
10	James A. Altucher, Prakash Panangaden	A Mechanically Assisted Constructive Proof in Category Theory.	CADE	1990	DBLP DOI BibTeX RDF
10	Peter Padawitz	Inductive Proofs by Resolution and Paramodulation.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
10	Christiane Frougny	Linear Numeration Systems, Theta-Developments and Finite Automata.	STACS	1989	DBLP DOI BibTeX RDF
10	Jürgen Avenhaus, Dieter Wissmann	Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups.	ISSAC	1989	DBLP DOI BibTeX RDF
10	Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar	Canonical Conditional Rewrite Systems.	CADE	1988	DBLP DOI BibTeX RDF
10	Wadoud Bousdira, Jean-Luc Rémy	Hierarchical Contextual Rewriting with Several Levels.	STACS	1988	DBLP DOI BibTeX RDF
10	Stéphane Kaplan	Algebraic and Operational Semantics of Positive/Negative Conditional Algebraic Specification.	FSTTCS	1988	DBLP DOI BibTeX RDF
10	Françoise Bellegarde, Pierre Lescanne	Transformation Ordering.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
10	Jieh Hsiang, Michaël Rusinowitch	On Word Problems in Equational Theories.	ICALP	1987	DBLP DOI BibTeX RDF
10	Zhenyu Qian	Structured Contextual Rewriting.	RTA	1987	DBLP DOI BibTeX RDF
10	Stéphane Kaplan	Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs.	ESOP	1986	DBLP DOI BibTeX RDF