Search results for "Rewriting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Alan Nash, Luc Segoufin, Victor Vianu	Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report.	ICDT	2007	DBLP DOI BibTeX RDF
28	Jef Wijsen	On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints.	DBPL	2007	DBLP DOI BibTeX RDF
28	Guillem Godoy, Eduard Huntingford	Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems.	RTA	2007	DBLP DOI BibTeX RDF
28	Rémy Haemmerlé, François Fages	Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.	RTA	2007	DBLP DOI BibTeX RDF
28	Rachid Echahed, Nicolas Peltier	Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.	RTA	2007	DBLP DOI BibTeX RDF
28	Hans Zantema, Johannes Waldmann	Termination by Quasi-periodic Interpretations.	RTA	2007	DBLP DOI BibTeX RDF
28	Christof Löding	Reachability Problems on Regular Ground Tree Rewriting Graphs.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
28	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the Confluence of lambda-Calculus with Conditional Rewriting.	FoSSaCS	2006	DBLP DOI BibTeX RDF
28	Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001	Processes for Adhesive Rewriting Systems.	FoSSaCS	2006	DBLP DOI BibTeX RDF
28	Carlos Morra	Configware Design Space Exploration Using Rewriting Logic.	FPL	2006	DBLP DOI BibTeX RDF
28	Shenghua Bao, Lei Zhang 0007, Chenxi Lin, Yong Yu 0001	A Semantic Rewriting Approach to Automatic Information Providing Web Service Composition.	ASWC	2006	DBLP DOI BibTeX RDF
28	Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski	GrGen: A Fast SPO-Based Graph Rewriting Tool.	ICGT	2006	DBLP DOI BibTeX RDF
28	Dan Zhao, John Mylopoulos, Iluju Kiringa, Verena Kantere	An ECA Rule Rewriting Mechanism for Peer Data Management Systems.	EDBT	2006	DBLP DOI BibTeX RDF
28	Bernhard Gramlich, Salvador Lucas	Generalizing Newman's Lemma for Left-Linear Rewrite Systems.	RTA	2006	DBLP DOI BibTeX RDF
28	Dietrich Kuske, Markus Lohrey	Decidable First-Order Theories of One-Step Rewriting in Trace Monoids.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
28	Paul Klint, Tijs van der Storm, Jurgen J. Vinju	Term Rewriting Meets Aspect-Oriented Programming.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
28	Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries	Infinitary Rewriting: From Syntax to Semantics.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
28	Lukasz Kaiser	Confluence of Right Ground Term Rewriting Systems Is Decidable.	FoSSaCS	2005	DBLP DOI BibTeX RDF
28	Clara Bertolissi	The Graph Rewriting Calculus: Confluence and Expressiveness.	ICTCS	2005	DBLP DOI BibTeX RDF
28	Jeroen Ketema, Jakob Grue Simonsen	Infinitary Combinatory Reduction Systems.	RTA	2005	DBLP DOI BibTeX RDF
28	James Cheney	Equivariant Unification.	RTA	2005	DBLP DOI BibTeX RDF
28	Michael Gordon Abbott, Neil Ghani, Christoph Lüth	Abstract Modularity.	RTA	2005	DBLP DOI BibTeX RDF
28	Grigore Rosu	From Conditional to Unconditional Rewriting.	WADT	2004	DBLP DOI BibTeX RDF
28	Andrea Calì	Query Answering by Rewriting in GLAV Data Integration Systems Under Constraints.	SWDB	2004	DBLP DOI BibTeX RDF
28	M. R. K. Krishna Rao	Inductive Inference of Term Rewriting Systems from Positive Data.	ALT	2004	DBLP DOI BibTeX RDF
28	Hartmut Ehrig, Barbara König 0001	Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.	FoSSaCS	2004	DBLP DOI BibTeX RDF
28	Leonid A. Kalinichenko, Dmitry O. Martynov, Sergey A. Stupnikov	Query Rewriting Using Views in a Typed Mediator Environment.	ADBIS	2004	DBLP DOI BibTeX RDF
28	Qingyuan Bai, Jun Hong 0001, Michael F. McTear	Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views.	ADVIS	2004	DBLP DOI BibTeX RDF
28	Paul Klint	How Understanding and Restructuring Differ from Compiling - A Rewriting Perspective.	IWPC	2003	DBLP DOI BibTeX RDF
28	Alfons Geser, Dieter Hofbauer, Johannes Waldmann	Match-Bounded String Rewriting Systems.	MFCS	2003	DBLP DOI BibTeX RDF
28	Stefano Crespi-Reghizzi, Matteo Pradella	Tile Rewriting Grammars.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
28	Sergio Greco, Ester Zumpano	On the rewriting and efficient computation of bound disjunctive datalog queries.	PPDP	2003	DBLP DOI BibTeX RDF	magic-set technique, logic programming, constraints, theory, disjunctive datalog
28	Yingying Tao, Qiang Zhu 0001, Calisto Zuzarte, Wing Lau	Optimizing large star-schema queries with snowflakes via heuristic-based query rewriting.	CASCON	2003	DBLP BibTeX RDF	query optimization, database management system, query rewrite, complex query, query graph
28	Julien Forest, Delia Kesner	Expression Reduction Systems with Patterns.	RTA	2003	DBLP DOI BibTeX RDF
28	Algis Rudys, Dan S. Wallach	Enforcing Java Run-Time Properties Using Bytecode Rewriting.	ISSS	2002	DBLP DOI BibTeX RDF
28	Miroslav N. Velev	Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer.	DATE	2002	DBLP DOI BibTeX RDF
28	Dietrich Kuske, Markus Lohrey	On the Theory of One-Step Rewriting in Trace Monoids.	ICALP	2002	DBLP DOI BibTeX RDF
28	Chad Huneycutt, Joshua B. Fryman, Kenneth M. Mackenzie	Software Caching using Dynamic Binary Rewriting for Embedded Devices.	ICPP	2002	DBLP DOI BibTeX RDF
28	Chang-Sup Park, Myoung-Ho Kim, Yoon-Joon Lee	Rewriting OLAP Queries Using Materialized Views and Dimension Hierarchies in Data Warehouses.	ICDE	2001	DBLP DOI BibTeX RDF
28	Klaus Havelund, Grigore Rosu	Monitoring Programs Using Rewriting.	ASE	2001	DBLP DOI BibTeX RDF
28	Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov	Relating Strands and Multiset Rewriting for Security Protocol Analysis.	CSFW	2000	DBLP DOI BibTeX RDF
28	Jaco van de Pol, Hans Zantema	Binary Decision Diagrams by Shard Rewriting.	MFCS	2000	DBLP DOI BibTeX RDF
28	Joseph A. Goguen, Kai Lin, Grigore Rosu	Circular Coinductive Rewriting.	ASE	2000	DBLP DOI BibTeX RDF
28	Thomas Noll 0001	On Coherence Properties in Team Rewriting Models of Concurrency.	CONCUR	1999	DBLP DOI BibTeX RDF
28	Thomas Arts, Jürgen Giesl	Applying Rewriting Techniques to the Verification of Erlang Processes.	CSL	1999	DBLP DOI BibTeX RDF
28	Isabel Pita, Narciso Martí-Oliet	Using Reflection to Specify Transaction Sequences in Rewriting Logic.	WADT	1998	DBLP DOI BibTeX RDF
28	Macha Nikolskaïa, Antoine Rauzy, David James Sherman	Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods.	FMCAD	1998	DBLP DOI BibTeX RDF
28	Hongwei Xi	Towards Automated Termination Proofs through "Freezing".	RTA	1998	DBLP DOI BibTeX RDF
28	Deepak Kapur	Shostak's Congruence Closure as Completion.	RTA	1997	DBLP DOI BibTeX RDF
28	José Meseguer 0001	Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report.	CONCUR	1996	DBLP DOI BibTeX RDF
28	Michel Bauderon	A Uniform Approach to Graph Rewriting: The Pullback Approach.	WG	1995	DBLP DOI BibTeX RDF
28	Andrea Corradini 0001	Term Rewriting in CT-Sigma.	TAPSOFT	1993	DBLP DOI BibTeX RDF
28	Gianni Aguzzi, U. Modigliani	Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems.	FSTTCS	1993	DBLP DOI BibTeX RDF
28	David A. Plaisted	Polynomial Time Termination and Constraint Satisfaction Tests.	RTA	1993	DBLP DOI BibTeX RDF
28	Michael Hanus	Incremental Rewriting in Narrowing Derivations.	ALP	1992	DBLP DOI BibTeX RDF
28	Berthold Hoffmann	Term Rewriting with Sharing and Memoïzation.	ALP	1992	DBLP DOI BibTeX RDF
28	Bernhard Gramlich	Generalized Sufficient Conditions for Modular Termination of Rewriting.	ALP	1992	DBLP DOI BibTeX RDF
28	Yves Bertot	Origin Functions in Lambda-Calculus and Term Rewriting Systems.	CAAP	1992	DBLP DOI BibTeX RDF
28	Ugo Montanari, Francesca Rossi 0001	Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics.	CAAP	1992	DBLP DOI BibTeX RDF
28	Friedrich Otto	Some Undecidability Results for Weakly Confluent Monadic String-Rewriting Systems.	AAECC	1991	DBLP DOI BibTeX RDF
28	Aart Middeldorp, Yoshihito Toyama	Completeness of Combinations of Constructor Systems.	RTA	1991	DBLP DOI BibTeX RDF
28	Uday S. Reddy	Term Rewriting Induction.	CADE	1990	DBLP DOI BibTeX RDF
28	Val Tannen, Jean H. Gallier	Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence.	ICALP	1989	DBLP DOI BibTeX RDF
28	Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep	Towards an Intermediate Language based on Graph Rewriting.	PARLE (2)	1987	DBLP DOI BibTeX RDF
28	Mandalagiri S. Chandrasekhar, J. P. Privitera, K. W. Conradt	Application of Term Rewriting Techniques to Hardware Design Verification.	DAC	1987	DBLP DOI BibTeX RDF
28	Leo Bachmair, David A. Plaisted	Associative Path Orderings.	RTA	1985	DBLP DOI BibTeX RDF
27	Garrett Wolf, Aravind Kalavagattu, Hemal Khatri, Raju Balakrishnan, Bhaumik Chokshi, Jianchun Fan, Yi Chen 0001, Subbarao Kambhampati	Query processing over incomplete autonomous databases: query rewriting using learned data dependencies.	VLDB J.	2009	DBLP DOI BibTeX RDF	Incomplete databases, Uncertainty, Query rewriting
27	Jörg Endrullis, Johannes Waldmann, Hans Zantema	Matrix Interpretations for Proving Termination of Term Rewriting.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Matrix interpretations, Satisfiability, Termination, Term rewriting
27	Nasreddine Aoumeur, Gunter Saake	A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS.	UNISCON	2008	DBLP DOI BibTeX RDF	Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic
27	Clara Bertolissi, Maribel Fernández	A rewriting framework for the composition of access control policies.	PPDP	2008	DBLP DOI BibTeX RDF	distributed systems, access control, security policies, term rewriting
27	Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe Chassot, Mohamed Jmaiel	Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism.	CSTST	2008	DBLP DOI BibTeX RDF	rule-driven, autonomic computing, graph rewriting
27	Raúl Gutiérrez, Salvador Lucas, Xavier Urbain	Usable Rules for Context-Sensitive Rewrite Systems.	RTA	2008	DBLP DOI BibTeX RDF	termination, term rewriting, Dependency pairs
27	Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide	WinHIPE: an IDE for functional programming based on rewriting and visualization.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	programming environments, functional programming, tracing, term rewriting, program visualization, program animation, expression evaluation
27	Keiichirou Kusakari, Masahiko Sakai	Enhancing dependency pair method using strong computability in simply-typed term rewriting.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Simply-typed term rewriting system, Plain function- passing, Strong computability, Termination, Dependency pair
27	Rémi Eyraud, Colin de la Higuera, Jean-Christophe Janodet	LARS: A learning algorithm for rewriting systems.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Learning context-free languages, Rewriting systems
27	Jaydeep Marathe, Frank Mueller 0001, Tushar Mohan, Sally A. McKee, Bronis R. de Supinski, Andy Yoo	METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	data trace compression, data trace generation, program instrumentation, cache analysis, Dynamic binary rewriting
27	Gordon Fraser 0001, Franz Wotawa	Using LTL rewriting to improve the performance of model-checker based test-case generation.	A-MOST	2007	DBLP DOI BibTeX RDF	LTL rewriting, test-case generation with model-checkers, automated software testing
27	Mark Hills 0001, Grigore Rosu	A rewriting approach to the design and evolution of object-oriented languages.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	object-oriented languages, language design, formal analysis, rewriting logic, language semantics
27	Musab AlTurki, José Meseguer 0001	Real-time rewriting semantics of orc.	PPDP	2007	DBLP DOI BibTeX RDF	orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
27	Mark Hills 0001, Grigore Rosu	On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.	FMOODS	2007	DBLP DOI BibTeX RDF	model checking, analysis, object-oriented languages, language design, rewriting logic
27	Jacques Chabin, Pierre Réty	Visibly Pushdown Languages and Term Rewriting.	FroCoS	2007	DBLP DOI BibTeX RDF	term rewriting, tree languages
27	Matt Kaufmann, J Strother Moore	Double rewriting for equivalential reasoning in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	double-rewrite, verification, formal methods, rewriting, congruences, equivalence relations
27	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude term rewriting language.	AAMAS	2006	DBLP DOI BibTeX RDF	prototyping, term rewriting, agent programming languages
27	Rakesh M. Verma, Ara Hayrapetyan	A new decidability technique for ground term rewriting systems with applications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma
27	Bjorn De Sutter, Bruno De Bus, Koen De Bosschere	Link-time binary rewriting techniques for program compaction.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	code abstraction, linker, whole-program optimization, compaction, interprocedural analysis, Program representation, binary rewriting
27	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	A rewriting-based inference system for the NRL protocol analyzer: grammar generation.	FMSE	2005	DBLP DOI BibTeX RDF	formal methods, protocol verification, rewriting logic
27	Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles 0001, Joaquín Salvachúa, Luis Llana, Margarita Bradley	Transforming Information in RDF to Rewriting Logic.	FMOODS	2005	DBLP DOI BibTeX RDF	Semantic Web, formal methods, RDF, rewriting logic, Maude
27	Wojciech Moczydlowski, Alfons Geser	Termination of Single-Threaded One-Rule Semi-Thue Systems.	RTA	2005	DBLP DOI BibTeX RDF	uniform termination, one-rule, single-rule, single-threaded, well-behaved, termination, string rewriting, semi-Thue system
27	Jeremy E. Dawson, Rajeev Goré	A General Theorem on Termination of Rewriting.	CSL	2004	DBLP DOI BibTeX RDF	well-founded ordering, recursive path ordering, termination, rewriting
27	Stefan Blom	An Approximation Based Approach to Infinitary Lambda Calculi.	RTA	2004	DBLP DOI BibTeX RDF	infinitary rewriting, lambda calculus
27	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet	Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394
27	Manfred Göbel	Rewriting Techniques and Degree Bounds for Higher Order Symmetric Polynomials.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Higher order symmetry, Degree bounds, Rewriting techniques, Generators, Symmetric polynomials
27	Kevin Chen-Chuan Chang, Hector Garcia-Molina, Andreas Paepcke	Predicate Rewriting for Translating Boolean Queries in a Heterogeneous Information System.	ACM Trans. Inf. Syst.	1999	DBLP DOI BibTeX RDF	predicate rewriting, query subsumption, filtering, content-based retrieval, query translation, Boolean queries
27	George A. Papadopoulos	Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework.	PDP	1996	DBLP DOI BibTeX RDF	Concurrent Object-Oriented Programming Techniques, Records, Term Graph Rewriting
27	Michael Bertol, Volker Diekert	Trace Rewriting: Computing Normal Forms in Time O(n log n).	STACS	1996	DBLP DOI BibTeX RDF	rewriting modulo a partial commutation, Mazurkiewicz traces
27	Marc Bergman, Pierre Deransart	Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog.	CAAP	1981	DBLP DOI BibTeX RDF	proof of equational properties, Knuth-Bendix algorithm, PROLOG, operational semantics, Abstract Data Type, rewriting systems
27	Takahito Aoto 0001, Junichi Yoshida, Yoshihito Toyama	Proving Confluence of Term Rewriting Systems Automatically.	RTA	2009	DBLP DOI BibTeX RDF
27	Kazunori Ueda	Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.	RTA	2008	DBLP DOI BibTeX RDF
27	José Meseguer 0001	Localized Fairness: A Rewriting Semantics.	RTA	2005	DBLP DOI BibTeX RDF
27	Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati	Natural Narrowing for General Term Rewriting Systems.	RTA	2005	DBLP DOI BibTeX RDF