Search results for "rewriting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Marek Olszewski, Jeremy Cutler, J. Gregory Steffan	JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory.	PACT	2007	DBLP DOI BibTeX RDF
22	Ulrike Ranger, Erhard Weinell	The Graph Rewriting Language and Environment PROGRES.	AGTIVE	2007	DBLP DOI BibTeX RDF
22	Sam Lindley	Extensional Rewriting with Sums.	TLCA	2007	DBLP DOI BibTeX RDF
22	Stephan Falke 0001, Deepak Kapur	Dependency Pairs for Rewriting with Non-free Constructors.	CADE	2007	DBLP DOI BibTeX RDF
22	Oana Andrei, Hélène Kirchner	Graph Rewriting and Strategies for Modeling Biochemical Networks.	SYNASC	2007	DBLP DOI BibTeX RDF
22	Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler	Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints.	RR	2007	DBLP DOI BibTeX RDF
22	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Based Programming.	All About Maude	2007	DBLP DOI BibTeX RDF
22	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Reflection, Metalevel Computation, and Strategies.	All About Maude	2007	DBLP DOI BibTeX RDF
22	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	System Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
22	Tiago Lopes Telecken, José Valdeni de Lima	Increasing XML interoperability in Visual Rewriting Systems.	WebMedia	2006	DBLP DOI BibTeX RDF	interoperability, visual languages, SVG
22	Maria-Esther Vidal, Louiqa Raschid, Natalia Marquez, Marelis Cardenas, Yao Wu	Query Rewriting in the Semantic Web7.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
22	Ralf Rantzau, Christoph Mangold	Laws for Rewriting Queries Containing Division Operators.	ICDE	2006	DBLP DOI BibTeX RDF
22	Giorgio Delzanno, Roberto Montagna	Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.	ICTAC	2006	DBLP DOI BibTeX RDF
22	Giorgio Delzanno, Javier Esparza, Jirí Srba	Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols.	ATVA	2006	DBLP DOI BibTeX RDF
22	Carlos Morra, M. Sackmann, Sunil Shukla, Jürgen Becker 0001, Reiner W. Hartenstein	From Equation to VHDL: Using Rewriting Logic for Automated Function Generation.	FPL	2006	DBLP DOI BibTeX RDF
22	Jörg Endrullis, Johannes Waldmann, Hans Zantema	Matrix Interpretations for Proving Termination of Term Rewriting.	IJCAR	2006	DBLP DOI BibTeX RDF
22	Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz	Consistency and Completeness of Rewriting in the Calculus of Constructions.	IJCAR	2006	DBLP DOI BibTeX RDF
22	Steve Barker, Maribel Fernández	Term Rewriting for Access Control. (PDF / PS)	DBSec	2006	DBLP DOI BibTeX RDF
22	Verena Kantere, Timos K. Sellis	Reusing Classical Query Rewriting in P2P Databases.	DBISP2P	2006	DBLP DOI BibTeX RDF
22	Chafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun'delanji Vestergaard, René Vestergaard	Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.	CMSB	2006	DBLP DOI BibTeX RDF
22	Jinghua Groppe, Sven Groppe	Satisfiability-Test, Rewriting and Refinement of Users' XPath Queries According to XML Schema Definitions.	ADBIS	2006	DBLP DOI BibTeX RDF
22	M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer	Prototyping 3APL in the Maude Term Rewriting Language.	CLIMA	2006	DBLP DOI BibTeX RDF
22	Andrew Walenstein, Rachit Mathur, Mohamed R. Chouchane, Arun Lakhotia	Normalizing Metamorphic Malware Using Term Rewriting.	SCAM	2006	DBLP DOI BibTeX RDF
22	Ming-Yee Iu, Willy Zwaenepoel	Queryll: Java Database Queries Through Bytecode Rewriting.	Middleware	2006	DBLP DOI BibTeX RDF
22	Yo Ohta, Masahito Hasegawa	A Terminating and Confluent Linear Lambda Calculus.	RTA	2006	DBLP DOI BibTeX RDF
22	Mathieu Turuani	The CL-Atse Protocol Analyser.	RTA	2006	DBLP DOI BibTeX RDF
22	Traian-Florin Serbanuta, Grigore Rosu	Computationally Equivalent Elimination of Conditions.	RTA	2006	DBLP DOI BibTeX RDF
22	Ian Wehrman, Aaron Stump, Edwin M. Westbrook	Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.	RTA	2006	DBLP DOI BibTeX RDF
22	Kohji Tomita, Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa	Self-description for Construction and Execution in Graph Rewriting Automata.	ECAL	2005	DBLP DOI BibTeX RDF
22	Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse	Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.	LPAR	2005	DBLP DOI BibTeX RDF
22	José Meseguer 0001	A Rewriting Logic Sampler.	ICTAC	2005	DBLP DOI BibTeX RDF
22	Artur Boronat, José A. Carsí, Isidro Ramos	Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine.	CSMR	2005	DBLP DOI BibTeX RDF
22	Karina Olmos, Eelco Visser	Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules.	CC	2005	DBLP DOI BibTeX RDF
22	Xia Yang, Mong-Li Lee, Tok Wang Ling, Gillian Dobbie	A Semantic Approach to Query Rewriting for Integrated XML Data.	ER	2005	DBLP DOI BibTeX RDF
22	Serge Abiteboul, Tova Milo, Omar Benjelloun	Regular rewriting of active XML and unambiguity.	PODS	2005	DBLP DOI BibTeX RDF
22	Jin Ho You, Seong Chae Seo, Young Dae Kim, Jun Yong Choi, Sang Jun Lee, Byung Ki Kim	Kimchi: A Binary Rewriting Defense Against Format String Attacks.	WISA	2005	DBLP DOI BibTeX RDF
22	Aurelia Profir, Emilian Gutuleac, Elena Boian	Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets.	SYNASC	2005	DBLP DOI BibTeX RDF
22	Jin Ho You, Seong Chae Seo, Young Dae Kim, Jun Yong Choi, Sang Jun Lee, Byung Ki Kim	Protection Against Format String Attacks by Binary Rewriting.	CIS (2)	2005	DBLP DOI BibTeX RDF
22	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.	FroCoS	2005	DBLP DOI BibTeX RDF
22	Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini	On the equivalence and rewriting of aggregate queries.	Acta Informatica	2004	DBLP DOI BibTeX RDF
22	Xiaochun Yang 0001, Bin Wang 0015, Guoren Wang, Ge Yu 0001	A Query Rewriting System for Enhancing the Queriability of Form-Based Interface.	ICADL	2004	DBLP DOI BibTeX RDF
22	Antoine Meyer	On Term Rewriting Systems Having a Rational Derivation.	FoSSaCS	2004	DBLP DOI BibTeX RDF
22	Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema	Finding Finite Automata That Certify Termination of String Rewriting.	CIAA	2004	DBLP DOI BibTeX RDF
22	José Meseguer 0001, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
22	Niels Van Eetvelde, Dirk Janssens	Extending Graph Rewriting for Refactoring.	ICGT	2004	DBLP DOI BibTeX RDF
22	Oded Shmueli, George A. Mihaila, Sriram Padmanabhan	Query-Customized Rewriting and Deployment of DB-to-XML Mappings.	EDBT	2004	DBLP DOI BibTeX RDF
22	Frédéric Blanqui	A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems.	RTA	2004	DBLP DOI BibTeX RDF
22	Sébastien Limet, Gernot Salzer	Proving Properties of Term Rewrite Systems via Logic Programs.	RTA	2004	DBLP DOI BibTeX RDF
22	Abdelhak Seriai	An Object-Oriented Representation and Reasoning Model to Rewriting Queries Using Views.	IDEAS	2003	DBLP DOI BibTeX RDF
22	Abdelhak Seriai	Object Oriented Mechanisms to Rewriting Queries Using Views.	DEXA	2003	DBLP DOI BibTeX RDF
22	Mauricio Ayala-Rincón, Rodrigo Borges Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein	Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic.	SBCCI	2003	DBLP DOI BibTeX RDF
22	Daniela Besozzi, Giancarlo Mauri, György Vaszil, Claudio Zandron	Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
22	Cristina Borralleras, Albert Rubio	Monotonic AC-Compatible Semantic Path Orderings.	RTA	2003	DBLP DOI BibTeX RDF
22	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	The Maude 2.0 System.	RTA	2003	DBLP DOI BibTeX RDF
22	Gilles Barthe, Sorin Stratulat	Validation of the JavaCard Platform with Implicit Induction Techniques.	RTA	2003	DBLP DOI BibTeX RDF
22	Jean-Louis Giavitto	Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems.	RTA	2003	DBLP DOI BibTeX RDF
22	Feng Chen 0006, Grigore Rosu, Ram Prasad Venkatesan	Rule-Based Analysis of Dimensional Safety.	RTA	2003	DBLP DOI BibTeX RDF
22	Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu	A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms.	RTA	2003	DBLP DOI BibTeX RDF
22	Christof Löding	Model-Checking Infinite Systems Generated by Ground Tree Rewriting.	FoSSaCS	2002	DBLP DOI BibTeX RDF
22	Nasreddine Aoumeur, Gunter Saake	Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.	CAiSE	2002	DBLP DOI BibTeX RDF
22	Daniela Besozzi, Giancarlo Mauri, Claudio Zandron	Parallel Rewriting P Systems without Target Conflicts.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
22	Hideaki Suzuki	String Rewriting Grammar Optimized Using an Evolvability Measure.	ECAL	2001	DBLP DOI BibTeX RDF
22	Thomas Genet, Valérie Viet Triem Tong	Reachability Analysis of Term Rewriting Systems with Timbuk.	LPAR	2001	DBLP DOI BibTeX RDF
22	Jacek Plodzien, Kazimierz Subieta	Applying Low-Level Query Optimization Techniques by Rewriting.	DEXA	2001	DBLP DOI BibTeX RDF
22	Claudio Zandron, Claudio Ferretti, Giancarlo Mauri	Two Normal Forms for Rewriting P Systems.	MCU	2001	DBLP DOI BibTeX RDF
22	Nadia Nedjah, Luiza de Macedo Mourelle	Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting.	CIAA	2001	DBLP DOI BibTeX RDF
22	Alessandro Armando, Clemens Ballarin	Maple's evaluation process as constraint contextual rewriting.	ISSAC	2001	DBLP DOI BibTeX RDF	Maple
22	Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Matching Power.	RTA	2001	DBLP DOI BibTeX RDF
22	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
22	Thomas Genet, Francis Klay	Rewriting for Cryptographic Protocol Verification.	CADE	2000	DBLP DOI BibTeX RDF
22	Barbara König 0001	A General Framework for Types in Graph Rewriting.	FSTTCS	2000	DBLP DOI BibTeX RDF
22	Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin	CDR: A Rewriting Based Tool to Design FPLA Circuits.	AISC	2000	DBLP DOI BibTeX RDF
22	José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos	Formalizing Rewriting in the ACL2 Theorem Prover.	AISC	2000	DBLP DOI BibTeX RDF
22	Paolo Bottoni, Maria Francesca Costabile, Piero Mussio	Specification and dialogue control of visual interaction through visual rewriting systems.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	control automaton, dialogue control, visual languages
22	Peter J. Rodgers, Natalia Vidal	A Demonstration of the Grrr Graph Rewriting Programming Language.	AGTIVE	1999	DBLP DOI BibTeX RDF
22	Marinus J. Plasmeijer, Marko C. J. D. van Eekelen	Term Graph Rewriting and Mobile Expressions in Functional Languages.	AGTIVE	1999	DBLP DOI BibTeX RDF
22	Yahia Rabih, Michel Schneider	Analysis of Active Database Rules Behavior Using Rewriting Logic.	DEXA	1999	DBLP DOI BibTeX RDF
22	Peter J. Rodgers, Natalia Vidal	Pragmatic Graph Rewriting Modifications.	VL	1999	DBLP DOI BibTeX RDF
22	Joachim Kröger, Regina Illner, Steffen Rost, Andreas Heuer 0001	Query Rewriting and Search in CROQUE.	ADBIS	1999	DBLP DOI BibTeX RDF
22	Ian Welch, Robert J. Stroud	Kava - A Reflective Java Based on Bytecode Rewriting.	Reflection and Software Engineering	1999	DBLP DOI BibTeX RDF
22	Friedrich Otto	On S-Regular Prefix-Rewriting Systems and Automatic Structures.	COCOON	1999	DBLP DOI BibTeX RDF
22	Jürgen Giesl, Aart Middeldorp	Transforming Context-Sensitive Rewrite Systems.	RTA	1999	DBLP DOI BibTeX RDF
22	Stephan Kepser, Jörn Richts	UNIMOK: A System for Combining Equational Unification Algorithm.	RTA	1999	DBLP DOI BibTeX RDF
22	Hélène Touzet	A Characterisation of Multiply Recursive Functions with Higman's Lemma.	RTA	1999	DBLP DOI BibTeX RDF
22	Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang 0001	Clifford Term Rewriting for Geometric Reasoning in 3D.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
22	W. Marco Schorlemmer	Term Rewriting in a Logic of Special Relations.	AMAST	1998	DBLP DOI BibTeX RDF
22	Renate Klempien-Hinrichs	Net Refinement by Pullback Rewriting.	FoSSaCS	1998	DBLP DOI BibTeX RDF
22	Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach	Building Program Optimizers with Rewriting Strategies.	ICFP	1998	DBLP DOI BibTeX RDF	ML
22	Stéphane Fèvre, Dongming Wang 0001	Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.	AISC	1998	DBLP DOI BibTeX RDF
22	Friedrich Otto, Andrea Sattler-Klein, Klaus Madlener	Automatic Monoids Versus Monoids with Finite Convergent Presentations.	RTA	1998	DBLP DOI BibTeX RDF
22	Enno Ohlebusch	Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation.	RTA	1998	DBLP DOI BibTeX RDF
22	Irène Durand, Aart Middeldorp	Decidable Call by Need Computations in term Rewriting (Extended Abstract).	CADE	1997	DBLP DOI BibTeX RDF
22	Maribel Fernández, Ian Mackie	Interaction Nets and Term Rewriting Systems (Extended Abstract).	CAAP	1996	DBLP DOI BibTeX RDF
22	Giulio Balestreri	Term Rewriting Systems: An h-Categorical Semantic.	DISCO	1996	DBLP DOI BibTeX RDF
22	Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer	Graph Rewriting Semantics for Functional Programming Languages.	CSL	1996	DBLP DOI BibTeX RDF
22	Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema	Relative Undecidability in Term Rewriting.	CSL	1996	DBLP DOI BibTeX RDF
22	Vincent van Oostrom	Higher-Order Families.	RTA	1996	DBLP DOI BibTeX RDF
22	Taro Suzuki, Aart Middeldorp, Tetsuo Ida	Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides.	RTA	1995	DBLP DOI BibTeX RDF
22	Roberto Di Cosmo, Delia Kesner	Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi.	ICALP	1994	DBLP DOI BibTeX RDF
22	Karl-Heinz Buth	Simulation of SOS Definitions with Term Rewriting Systems.	ESOP	1994	DBLP DOI BibTeX RDF