Search results for "rewriting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Enno Ohlebusch	On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems.	CAAP	1994	DBLP DOI BibTeX RDF
22	Valentinas Kriauciukas, Michal Walicki	Reasoning and Rewriting with Set-Relations I: Ground Completeness.	CSL	1994	DBLP DOI BibTeX RDF
22	Femke van Raamsdonk	Confluence and Superdevelopments.	RTA	1993	DBLP DOI BibTeX RDF
22	Andrea Sattler-Klein	Infinite, Canonical String Rewriting Systems Generated by Completion.	LPAR	1992	DBLP DOI BibTeX RDF
22	David A. McAllester	Grammar Rewriting.	CADE	1992	DBLP DOI BibTeX RDF
22	Anne-Cécile Caron	Decidability of Reachability and Disjoint Union of Term Rewriting Systems.	CAAP	1992	DBLP DOI BibTeX RDF
22	Steffen van Bakel, Sjaak Smetsers, Simon Brock	Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems.	CAAP	1992	DBLP DOI BibTeX RDF
22	Andrea Corradini 0001, Francesca Rossi 0001, Francesco Parisi-Presicce	Logic Programming as Hypergraph Rewriting.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
22	Dieter Hofbauer	Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding.	RTA	1991	DBLP DOI BibTeX RDF
22	Stefan Krischer, Alexander Bockmayr	Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test.	RTA	1991	DBLP DOI BibTeX RDF
22	Andrea Sattler-Klein	Divergence Phenomena during Completion.	RTA	1991	DBLP DOI BibTeX RDF
22	Jacques Chabin, Pierre Réty	Narrowing Directed by a Graph of Terms.	RTA	1991	DBLP DOI BibTeX RDF
22	Nachum Dershowitz, Naomi Lindenstrauss	An Abstract Concurrent Machine for Rewriting.	ALP	1990	DBLP DOI BibTeX RDF
22	Robert Nieuwenhuis, Fernando Orejas, Albert Rubio	TRIP: An Implementation of Clausal Rewriting.	CADE	1990	DBLP DOI BibTeX RDF
22	Anders Bondorf	A Self-Applicable Partial Evaluator for Term Rewriting Systems.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF	elementary matching operations, partially static structures, Decision trees, pattern matching, abstract interpretation, functional languages, binding time analysis
22	Rebecca Parsons Selke	A Rewriting Semantics for Program Dependence Graphs.	POPL	1989	DBLP DOI BibTeX RDF
22	D. L. McBurney, M. Ronan Sleep	Graph Rewriting as a Computational Model.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
22	Dallas Lankford	Generalized Gröbner Bases: Theory and Applications. A Condensation.	RTA	1989	DBLP DOI BibTeX RDF
22	Hantao Zhang 0001, Deepak Kapur	Consider Only General Superpositions in Completion Procedures.	RTA	1989	DBLP DOI BibTeX RDF
22	Wadoud Bousdira, Jean-Luc Rémy	Hierarchical Contextual Rewriting with Several Levels.	STACS	1988	DBLP DOI BibTeX RDF
22	Yoshihito Toyama	On the Church-Rosser property for the direct sum of term rewriting systems.	J. ACM	1987	DBLP DOI BibTeX RDF
22	Friedrich Otto	Some Results about Confluence on a Given Congruence Class.	RTA	1987	DBLP DOI BibTeX RDF
22	Stéphane Kaplan	Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs.	ESOP	1986	DBLP DOI BibTeX RDF
22	Hanpei Koike, Hidehiko Tanaka	Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting.	LP	1986	DBLP DOI BibTeX RDF
22	Jean-Pierre Jouannaud	Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types.	CAAP	1983	DBLP DOI BibTeX RDF
22	Alberto Pettorossi	Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems.	ICALP	1981	DBLP DOI BibTeX RDF
22	Frank Buschmann	Gardening Your Architecture, Part 2: Reengineering and Rewriting.	IEEE Softw.	2011	DBLP DOI BibTeX RDF	functional quality, developmental quality, operational quality, software engineering, software, refactoring, reengineering, rewriting
22	Amin Mesmoudi, Michael Mrissa, Mohand-Said Hacid	Combining Configuration and Query Rewriting for Web Service Composition.	ICWS	2011	DBLP DOI BibTeX RDF	composition, Semantic Web services, configuration, query rewriting
22	Bishop Brock, Matt Kaufmann, J Strother Moore	Rewriting with Equivalence Relations in ACL2.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Refinement, Rewriting, Congruence, Equivalence relations
22	Pankaj Kohli, Bezawada Bruhadeshwar	FormatShield: A Binary Rewriting Defense against Format String Attacks.	ACISP	2008	DBLP DOI BibTeX RDF	Format String Attacks, Intrusion Detection, System Security, Binary Rewriting
22	Oliver Denninger, Tom Gelhausen, Rubino Geiß	Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD.	AGTIVE	2007	DBLP DOI BibTeX RDF	omnigraph, supergraph, hypergraph, Graph rewriting
22	Max I. Kanovich	A Note on Rewriting Proofs and Fibonacci Numbers.	LFCS	2007	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, Fibonacci numbers, strong normalization, Church-Rosser property, integer partitions
22	Caetano Traina Jr., Agma J. M. Traina, Marcos R. Vieira, Adriano S. Arantes, Christos Faloutsos	Efficient processing of complex similarity queries in RDBMS through query rewriting.	CIKM	2006	DBLP DOI BibTeX RDF	similarity predicates, query rewriting
22	Junhu Wang, Rodney W. Topor, Michael J. Maher	Rewriting Union Queries Using Views.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	global schema, union query, implication constraint, contained rewriting, data integration, constraint, query, view
22	Bo Luo, Dongwon Lee 0001, Wang-Chien Lee, Peng Liu 0005	QFilter: fine-grained run-time XML access control via NFA-based query rewriting.	CIKM	2004	DBLP DOI BibTeX RDF	data security and privacy, query rewriting, XML security
22	Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette	Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Self-stabilization, Rewriting systems
22	Kazuhiro Ogata 0001, Shigenori Ioroi, Kokichi Futatsugi	Optimizing Term Rewriting Using Discrimination Nets With Specialization.	SAC	1999	DBLP DOI BibTeX RDF	discrimination nets, optimization, term rewriting, specialization
22	Adriana B. Compagnoni, Maribel Fernández	On Object Calculus with Algebraic Rewriting.	PLILP	1997	DBLP DOI BibTeX RDF	Object calculi, Combined calculi, Type systems, Rewriting
22	Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey	A Semantic Model of VHDL for Validating Rewriting Algebras.	EUROMICRO	1996	DBLP DOI BibTeX RDF	rewriting algebras validation, declarative style, process-folding, CAD tool optimization, VHDL, formal model, semantic model, hardware description languages, interval temporal logic, dynamic semantics
22	Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt	Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems.	J. ACM	1995	DBLP DOI BibTeX RDF	left-linearity, term-rewriting systems, confluence
22	Richard Banach, George A. Papadopoulos	Linear behaviour of term graph rewriting programs.	SAC	1995	DBLP DOI BibTeX RDF	linear concurrent programming, programming languages for distributed execution, term graph rewriting
22	Gregory Kucherov, Michaël Rusinowitch	On ground reducibility problem for word rewriting systems with variables.	SAC	1994	DBLP DOI BibTeX RDF	decidability, string matching, rewriting, pattern languages
22	Yabo Wang, David Lorge Parnas	Simulating the Behaviour of Software Modules by Trace Rewriting.	ICSE	1993	DBLP BibTeX RDF	formal specification method, module interface specification, module simulation, trace assertion method, software tool, finite state machine, term rewriting
22	Herbert Göttler	Graph Grammars, A New Paradigma for Implementing Visual Languages.	RTA	1989	DBLP DOI BibTeX RDF	CR classification system (1987): D.1 Programming Techniques D.2.1 Requirements/Specification, D.2.2 Tools and Techniques, D.2.6 Programming Environments, E.1 Data Structures, F.4.2 Grammars and other Rewriting Systems - additional: Graph Grammars, Syntax-directed Editors, Diagram Languages
22	Abdelilah Kandri-Rody, Deepak Kapur, Paliath Narendran	An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras.	RTA	1985	DBLP DOI BibTeX RDF	Unification Problem, Finitely Presented Algebras, Commutative Algebras, Gröbner Basis, Knuth-Bendix Completion Procedure, Term Rewriting, Word Problem, Polynomial Ideals
21	Hubie Chen, Stefan Mengel	Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity.	ICDT	2024	DBLP DOI BibTeX RDF
21	Francisco Durán 0001, Daniela Martínez, Camilo Rocha	Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
21	Sebastian Mödersheim	Rewriting Privacy.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
21	Vivek Nigam, Carolyn L. Talcott	Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT.	WRLA@ETAPS	2022	DBLP DOI BibTeX RDF
21	Roy Overbeek, Jörg Endrullis	From Linear Term Rewriting to Graph Rewriting with Preservation of Termination.	GCM@STAF	2021	DBLP DOI BibTeX RDF
21	Cyrille Chenavier, Maxime Lucas	Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions.	CoRR	2020	DBLP BibTeX RDF
21	Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer	Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
21	Thierry Boy de la Tour, Rachid Echahed	Combining Parallel Graph Rewriting and Quotient Graphs.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
21	José Meseguer 0001, Stephen Skeirik	Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification.	WRLA@ETAPS	2020	DBLP DOI BibTeX RDF
21	Yoshiaki Kanazawa, Naoki Nishida 0001	On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems.	WPTE@FSCD	2018	DBLP DOI BibTeX RDF
21	Carlos Olarte, Elaine Pimentel, Camilo Rocha	Proving Structural Properties of Sequent Systems in Rewriting Logic.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
21	Francisco Durán 0001, Camilo Rocha, Gwen Salaün	Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
21	Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada	Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
21	Sergio Ramírez, Miguel Romero 0005, Camilo Rocha, Frank Valencia	Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming.	WRLA@ETAPS	2018	DBLP DOI BibTeX RDF
21	Shinnosuke Mizutani, Naoki Nishida 0001	Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction.	WPTE@FSCD	2017	DBLP DOI BibTeX RDF
21	Koko Muroya, Dan R. Ghica	Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting.	WPTE@FSCD	2017	DBLP DOI BibTeX RDF
21	Ryota Nakayama, Naoki Nishida 0001, Masahiko Sakai	Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems.	WPTE@FSCD	2016	DBLP DOI BibTeX RDF
21	Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet	Labelled Graph Rewriting Meets Social Networks.	WRLA	2016	DBLP DOI BibTeX RDF
21	Traian-Florin Serbanuta, Liviu P. Dinu	Maximally Parallel Contextual String Rewriting.	WRLA	2016	DBLP DOI BibTeX RDF
21	Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau	A faithful encoding of programmable strategies into term rewriting systems.	RTA	2015	DBLP DOI BibTeX RDF
21	Thomas Genet, Yann Salmon 0001	Reachability Analysis of Innermost Rewriting.	RTA	2015	DBLP DOI BibTeX RDF
21	Lars Hellström	Network Rewriting II: Bi- and Hopf Algebras.	RTA	2015	DBLP DOI BibTeX RDF
21	Florence Clerc, Samuel Mimram	Presenting a Category Modulo a Rewriting System.	RTA	2015	DBLP DOI BibTeX RDF
21	Anupam Das 0002, Lutz Straßburger	No complete linear term rewriting system for propositional logic.	RTA	2015	DBLP DOI BibTeX RDF
21	Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama	Confluence of Orthogonal Nominal Rewriting Systems Revisited.	RTA	2015	DBLP DOI BibTeX RDF
21	Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva 0001	A Coinductive Framework for Infinitary Rewriting and Equational Reasoning.	RTA	2015	DBLP DOI BibTeX RDF
21	Carolyn L. Talcott	Executable Formal Models in Rewriting Logic (Invited Talk).	RTA	2015	DBLP DOI BibTeX RDF
21	Adrián Palacios, Germán Vidal	Towards Modelling Actor-Based Concurrency in Term Rewriting.	WPTE@RDP	2015	DBLP DOI BibTeX RDF
21	Lukasz Czajka 0001	Confluence of nearly orthogonal infinitary term rewriting systems.	RTA	2015	DBLP DOI BibTeX RDF
21	David Sabel	Structural Rewriting in the pi-Calculus.	WPTE@RTA/TLCA	2014	DBLP DOI BibTeX RDF
21	Carlos Lombardi, Alejandro Ríos 0001, Roel de Vrijer	Proof Terms for Infinitary Rewriting.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
21	Daniel de Carvalho, Jakob Grue Simonsen	An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
21	Nao Hirokawa, Georg Moser	Automated Complexity Analysis Based on Context-Sensitive Rewriting.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
21	Takahito Aoto 0001, Yoshihito Toyama, Kazumasa Uchida	Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
21	Hans Zantema, Barbara König 0001, H. J. Sander Bruggink	Termination of Cycle Rewriting.	RTA-TLCA	2014	DBLP DOI BibTeX RDF
21	Naoki Nishida 0001, Makishi Yanagisawa, Karl Gmeiner	On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings.	WPTE@RTA/TLCA	2014	DBLP DOI BibTeX RDF
21	Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita	Conditional Narrowing Modulo in Rewriting Logic and Maude.	WRLA	2014	DBLP DOI BibTeX RDF
21	Camilo Rocha, José Meseguer 0001, César A. Muñoz	Rewriting Modulo SMT and Open System Analysis.	WRLA	2014	DBLP DOI BibTeX RDF
21	Hongtao Wang, Fangdong Chen, Bin Li 0012, Dong Zhang, Houqiang Li	A Video Communication System Based on Spatial Rewriting and ROI Rewriting.	MMM (2)	2013	DBLP DOI BibTeX RDF
21	Anupam Das 0002	Rewriting with Linear Inferences in Propositional Logic.	RTA	2013	DBLP DOI BibTeX RDF
21	Alexander Bau, Markus Lohrey, Eric Nöth, Johannes Waldmann	Compression of Rewriting Systems for Termination Analysis.	RTA	2013	DBLP DOI BibTeX RDF
21	Tomoko Hashida, Kohei Nishimura, Takeshi Naemura	Hand-rewriting: automatic rewriting similar to natural handwriting.	ITS	2012	DBLP DOI BibTeX RDF
21	Tomoko Hashida, Kohei Nishimura, Takeshi Naemura	Hand-rewriting: automatic rewriting like natural handwriting.	SIGGRAPH Emerging Technologies	2012	DBLP DOI BibTeX RDF
21	Tomoko Hashida, Kohei Nishimura, Takeshi Naemura	Hand-rewriting: automatic rewriting like natural handwriting.	SIGGRAPH Posters	2012	DBLP DOI BibTeX RDF
21	Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge	A Term Rewriting System for Kuratowski's Closure-Complement Problem.	RTA	2012	DBLP DOI BibTeX RDF
21	Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic	A Rewriting Framework for Activities Subject to Regulations.	RTA	2012	DBLP DOI BibTeX RDF
21	Patrick Bahr	Infinitary Term Graph Rewriting is Simple, Sound and Complete.	RTA	2012	DBLP DOI BibTeX RDF
21	Jeroen Ketema	Reinterpreting Compression in Infinitary Rewriting.	RTA	2012	DBLP DOI BibTeX RDF
21	Soren Bjerg Andersen, Jakob Grue Simonsen	Term Rewriting Systems as Topological Dynamical Systems.	RTA	2012	DBLP DOI BibTeX RDF
21	Vincent van Oostrom, Hans Zantema	Triangulation in Rewriting.	RTA	2012	DBLP DOI BibTeX RDF
21	Carsten Fuhs, Cynthia Kop	Polynomial Interpretations for Higher-Order Rewriting.	RTA	2012	DBLP DOI BibTeX RDF
21	Andrea Corradini 0001, Frank Drewes	Term Graph Rewriting and Parallel Term Rewriting	TERMGRAPH	2011	DBLP DOI BibTeX RDF
21	Gianluca Correndo, Nigel Shadbolt	Translating expressive ontology mappings into rewriting rules to implement query rewriting.	OM	2011	DBLP BibTeX RDF
21	Hans Zantema	Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic	WRS	2011	DBLP DOI BibTeX RDF
21	Walid Belkhir, Alain Giorgetti	Lazy AC-Pattern Matching for Rewriting	WRS	2011	DBLP DOI BibTeX RDF