Search results for "rewriting"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Takahito Aoto 0001, Toshiyuki Yamada, Yuki Chiba	Natural Inductive Theorems for Higher-Order Rewriting.	RTA	2011	DBLP DOI BibTeX RDF
21	Friedrich Neurauter, Aart Middeldorp	Revisiting Matrix Interpretations for Proving Termination of Term Rewriting.	RTA	2011	DBLP DOI BibTeX RDF
21	Marc Brockschmidt, Carsten Otto, Jürgen Giesl	Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting.	RTA	2011	DBLP DOI BibTeX RDF
21	Ashish Tiwari 0001	Rewriting in Practice.	RTA	2011	DBLP DOI BibTeX RDF
21	Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe	Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity.	RTA	2011	DBLP DOI BibTeX RDF
21	Takahito Aoto 0001, Yoshihito Toyama	A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems.	RTA	2011	DBLP DOI BibTeX RDF
21	Patrick Bahr	Modes of Convergence for Term Graph Rewriting.	RTA	2011	DBLP DOI BibTeX RDF
21	Sophie Tison	Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?.	RTA	2011	DBLP DOI BibTeX RDF
21	Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen	Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.	RTA	2011	DBLP DOI BibTeX RDF
21	Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise	Rewriting-based Quantifier-free Interpolation for a Theory of Arrays.	RTA	2011	DBLP DOI BibTeX RDF
21	Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky	A Rewriting-Logic-Based Technique for Modeling Thermal Systems	RTRTS	2010	DBLP DOI BibTeX RDF
21	Bernhard Gramlich, Felix Schernhammer	Termination of Rewriting with and Automated Synthesis of Forbidden Patterns	IWS	2010	DBLP DOI BibTeX RDF
21	Kristoffer H. Rose	Higher-order Rewriting for Executable Compiler Specifications	HOR	2010	DBLP DOI BibTeX RDF
21	Maribel Fernández, Olivier Namet	Strategic programming on graph rewriting systems	IWS	2010	DBLP DOI BibTeX RDF
21	Musab AlTurki, José Meseguer 0001	Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis	RTRTS	2010	DBLP DOI BibTeX RDF
21	Stefan Kahrs	Infinitary Rewriting: Foundations Revisited.	RTA	2010	DBLP DOI BibTeX RDF
21	Patrick Bahr	Partial Order Infinitary Term Rewriting and Böhm Trees.	RTA	2010	DBLP DOI BibTeX RDF
21	Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom	Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting.	RTA	2010	DBLP DOI BibTeX RDF
21	Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl	Automated Termination Analysis of Java Bytecode by Term Rewriting.	RTA	2010	DBLP DOI BibTeX RDF
21	Jakob Grue Simonsen	Weak Convergence and Uniform Normalization in Infinitary Rewriting.	RTA	2010	DBLP DOI BibTeX RDF
21	Samuel Mimram	Computing Critical Pairs in 2-Dimensional Rewriting Systems.	RTA	2010	DBLP DOI BibTeX RDF
21	Mark Hills 0001, Grigore Rosu	A Rewriting Logic Semantics Approach to Modular Program Analysis.	RTA	2010	DBLP DOI BibTeX RDF
21	Irène Durand, Géraud Sénizergues, Marc Sylvestre	Termination of linear bounded term rewriting systems.	RTA	2010	DBLP DOI BibTeX RDF
21	Natarajan Shankar	Rewriting, Inference, and Proof.	WRLA	2010	DBLP DOI BibTeX RDF
21	Fernando Rosa-Velardo	Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.	WRLA	2010	DBLP DOI BibTeX RDF
21	Michael Katelman, Sean Keller, José Meseguer 0001	Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.	WRLA	2010	DBLP DOI BibTeX RDF
21	Kyungmin Bae, José Meseguer 0001	The Linear Temporal Logic of Rewriting Maude Model Checker.	WRLA	2010	DBLP DOI BibTeX RDF
21	José Meseguer 0001	Twenty Years of Rewriting Logic.	WRLA	2010	DBLP DOI BibTeX RDF
21	Traian-Florin Serbanuta, Grigore Rosu	K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.	WRLA	2010	DBLP DOI BibTeX RDF
21	Rakesh M. Verma	Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
21	Bernhard Gramlich, Felix Schernhammer	Extending Context-Sensitivity in Term Rewriting	WRS	2009	DBLP DOI BibTeX RDF
21	Beatriz Alarcón, Salvador Lucas	Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting.	PROLE	2008	DBLP DOI BibTeX RDF
21	Kyungmin Bae, José Meseguer 0001	A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting.	RULE	2008	DBLP DOI BibTeX RDF
21	Steve Barker, Clara Bertolissi, Maribel Fernández	Action Control by Term Rewriting.	SecReT@LICS/CSF	2008	DBLP DOI BibTeX RDF
21	Adrià Gascón, Guillem Godoy, Florent Jacquemard	Closure of Tree Automata Languages under Innermost Rewriting.	WRS@RTA	2008	DBLP DOI BibTeX RDF
21	Jonathan K. Millen	Rewriting Techniques in the Constraint Solver.	SecReT@LICS/CSF	2008	DBLP DOI BibTeX RDF
21	Oana Agrigoroaiei, Gabriel Ciobanu	Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors.	WRLA	2008	DBLP DOI BibTeX RDF
21	Stephan Falke 0001, Deepak Kapur	Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures.	WRS@RTA	2008	DBLP DOI BibTeX RDF
21	Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo	A Rewriting Semantics for Maude Strategies.	WRLA	2008	DBLP DOI BibTeX RDF
21	Mark Hills 0001	Memory Representations in Rewriting Logic Semantics Definitions.	WRLA	2008	DBLP DOI BibTeX RDF
21	Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari	Hierarchical Design Rewriting with Maude.	WRLA	2008	DBLP DOI BibTeX RDF
21	Rachid Echahed, Nicolas Peltier	A Needed Rewriting Strategy for Data-Structures with Pointers.	RTA	2008	DBLP DOI BibTeX RDF
21	Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe	Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems.	WRS@RDP	2007	DBLP DOI BibTeX RDF
21	Felix Schernhammer, Bernhard Gramlich	Termination of Lazy Rewriting Revisited.	WRS@RDP	2007	DBLP DOI BibTeX RDF
21	Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner	Towards a Sharing Strategy for the Graph Rewriting Calculus.	WRS@RDP	2007	DBLP DOI BibTeX RDF
21	Masahiko Sakai, Yi Wang	Undecidable Properties on Length-Two String Rewriting Systems.	WRS@RDP	2007	DBLP DOI BibTeX RDF
21	Guillem Godoy, Eduard Huntingford, Ashish Tiwari 0001	Termination of Rewriting with Right-Flat Rules.	RTA	2007	DBLP DOI BibTeX RDF
21	Dominique Duval, Rachid Echahed, Frédéric Prost	Modeling Pointer Redirection as Cyclic Term-graph Rewriting.	TERMGRAPH@ETAPS	2006	DBLP DOI BibTeX RDF
21	Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot	From Functional Programs to Interaction Nets via the Rewriting Calculus.	WRS@FLoC	2006	DBLP DOI BibTeX RDF
21	Muck van Weerdenburg	An Account of Implementing Applicative Term Rewriting.	WRS@FLoC	2006	DBLP DOI BibTeX RDF
21	José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça	A Local Graph-rewriting System for Deciding Equality in Sum-product Theories.	TERMGRAPH@ETAPS	2006	DBLP DOI BibTeX RDF
21	Michael Katelman, José Meseguer 0001	A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis.	WRLA	2006	DBLP DOI BibTeX RDF
21	Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta	Rewriting Logic Systems.	WRLA	2006	DBLP DOI BibTeX RDF
21	Anderson Santana de Oliveira	Rewriting-Based Access Control Policies.	SecReT@ICALP	2006	DBLP DOI BibTeX RDF
21	Azadeh Farzan, José Meseguer 0001	Partial Order Reduction for Rewriting Semantics of Programming Languages.	WRLA	2006	DBLP DOI BibTeX RDF
21	Gustavo Santos-García, Miguel Palomino	Solving Sudoku Puzzles with Rewriting Rules.	WRLA	2006	DBLP DOI BibTeX RDF
21	Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister	A Rewriting Logic Framework for Soft Constraints.	WRLA	2006	DBLP DOI BibTeX RDF
21	Sergio Antoy, Daniel W. Brown, Su-Hui Chiang	Lazy Context Cloning for Non-Deterministic Graph Rewriting.	TERMGRAPH@ETAPS	2006	DBLP DOI BibTeX RDF
21	Naoki Nishida 0001, Tomohiro Mizutani, Masahiko Sakai	Transformation for Refining Unraveled Conditional Term Rewriting Systems.	WRS@FLoC	2006	DBLP DOI BibTeX RDF
21	Ahmed Bouajjani, Javier Esparza	Rewriting Models of Boolean Programs.	RTA	2006	DBLP DOI BibTeX RDF
21	Alessandro Armando, Luca Compagna, Silvio Ranise	Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
21	Stefano Guerrini	Sharing Implementations of Graph Rewriting Systems.	TERMGRAPH	2004	DBLP DOI BibTeX RDF
21	Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang	Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.	TERMGRAPH	2004	DBLP DOI BibTeX RDF
21	Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom	Vicious Circles in Orthogonal Term Rewriting Systems.	WRS	2004	DBLP DOI BibTeX RDF
21	Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi	Ambient Graph Rewriting.	WRLA	2004	DBLP DOI BibTeX RDF
21	Ralf Lämmel	Programmable Rewriting Strategies in Haskell: -- White Paper --.	WRS	2004	DBLP DOI BibTeX RDF
21	Luigi Liquori, Benjamin Wack	The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].	WRLA	2004	DBLP DOI BibTeX RDF
21	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types.	WRLA	2004	DBLP DOI BibTeX RDF
21	Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner	A Rewriting Calculus for Cyclic Higher-order Term Graphs.	TERMGRAPH	2004	DBLP DOI BibTeX RDF
21	Christiano Braga, José Meseguer 0001	Modular Rewriting Semantics in Practice.	WRLA	2004	DBLP DOI BibTeX RDF
21	Claude Kirchner	Strategic Rewriting.	WRS	2004	DBLP DOI BibTeX RDF
21	Herman Geuvers, Rob Nederpelt	Rewriting for Fitch Style Natural Deductions.	RTA	2004	DBLP DOI BibTeX RDF
21	Martin Kappes	Multi-Bracketed Contextual Rewriting Grammars with Obligatory Rewriting.	Grammars and Automata for String Processing	2003	DBLP BibTeX RDF
21	Mizuhito Ogawa	Call-by-need reduction for membership conditional term rewriting Systems.	WRS	2003	DBLP DOI BibTeX RDF
21	Bernhard Gramlich, Salvador Lucas	Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings.	WRS	2003	DBLP DOI BibTeX RDF
21	Guillaume Feuillade, Thomas Genet	Reachability in Conditional Term Rewriting Systems.	FTP	2003	DBLP DOI BibTeX RDF
21	Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe	Narrowing-based simulation of term rewriting systems with extra variables.	WFLP	2003	DBLP DOI BibTeX RDF
21	Clara Bertolissi, Horatiu Cirstea, Claude Kirchner	Translating Combinatory Reduction Systems into the Rewriting Calculus.	RULE@RDP	2003	DBLP DOI BibTeX RDF
21	Ginés Moreno	A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.	WFLP	2003	DBLP DOI BibTeX RDF
21	Monica Nesi, Giuseppina Rucci, Massimo Verdesca	A rewriting strategy for protocol verification.	WRS	2003	DBLP DOI BibTeX RDF
21	Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack	Rewrite strategies in the rewriting calculus.	WRS	2003	DBLP DOI BibTeX RDF
21	Fabio Gadducci, Ugo Montanari	Comparing logics for rewriting: rewriting logic, action calculi and tile logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
21	Maribel Fernández, Ian Mackie	Call-by-Value lambda-Graph Rewriting Without Rewriting.	ICGT	2002	DBLP DOI BibTeX RDF
21	Kazuhiro Ogata 0001, Kokichi Futatsugi	Rewriting-Based Verification of Authentication Protocols.	WRLA	2002	DBLP DOI BibTeX RDF
21	Manuel Clavel, José Meseguer 0001, Miguel Palomino	Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.	WRLA	2002	DBLP DOI BibTeX RDF
21	Grit Denker, Jonathan K. Millen	Modeling Group Communication Protocols Using Multiset Term Rewriting.	WRLA	2002	DBLP DOI BibTeX RDF
21	Fabio Gadducci, Ugo Montanari	Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002.	WRLA	2002	DBLP DOI BibTeX RDF
21	Andrea Corradini 0001, Fabio Gadducci, Wolfram Kahl, Barbara König 0001	Inequational Deduction as Term Graph Rewriting.	TERMGRAPH	2002	DBLP DOI BibTeX RDF
21	Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Rewriting Calculus with(out) Types.	WRLA	2002	DBLP DOI BibTeX RDF
21	Mark van den Brand, Paul Klint, Jurgen J. Vinju	Term Rewriting with Type-safe Traversal Functions.	WRS	2002	DBLP DOI BibTeX RDF
21	Enno Ohlebusch	Conditional Term Graph Rewriting with Indirect Sharing.	TERMGRAPH	2002	DBLP DOI BibTeX RDF
21	Adam Bakewell	Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency.	TERMGRAPH	2002	DBLP DOI BibTeX RDF
21	Roberto Bruni, José Meseguer 0001, Ugo Montanari	Tiling Transactions in Rewriting Logic.	WRLA	2002	DBLP DOI BibTeX RDF
21	Salvador Lucas	Lazy Rewriting and Context-Sensitive Rewriting.	WFLP	2001	DBLP DOI BibTeX RDF
21	Enno Ohlebusch	Implementing conditional term rewriting by graph rewriting.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
21	Quang Huy Nguyen 0002	Compact Normalisation Trace via Lazy Rewriting.	WRS	2001	DBLP DOI BibTeX RDF
21	Bernhard Gramlich, Salvador Lucas	1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface.	WRS	2001	DBLP DOI BibTeX RDF
21	Eelco Visser	Stratego: A Language for Program Transformation Based on Rewriting Strategies.	RTA	2001	DBLP DOI BibTeX RDF
21	Jonathan K. Millen	Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk.	WRLA	2000	DBLP DOI BibTeX RDF
21	Joseph A. Goguen, Kai Lin, Grigore Rosu	Behavioral and Coinductive Rewriting.	WRLA	2000	DBLP DOI BibTeX RDF