Search results for "WRS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Alberto Verdejo, Narciso Martí-Oliet	Basic completion strategies as another application of the Maude strategy language	WRS	2011	DBLP DOI BibTeX RDF
1	Hans Zantema	Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic	WRS	2011	DBLP DOI BibTeX RDF
1	Walid Belkhir, Alain Giorgetti	Lazy AC-Pattern Matching for Rewriting	WRS	2011	DBLP DOI BibTeX RDF
1	Matthias Raffelsieper	Productivity of Non-Orthogonal Term Rewrite Systems	WRS	2011	DBLP DOI BibTeX RDF
1	Detlef Plump	The Design of GP 2	WRS	2011	DBLP DOI BibTeX RDF
1	Santiago Escobar 0001 (eds.)	Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011.	WRS	2011	DBLP DOI BibTeX RDF
1	Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner	Extensional and Intensional Strategies	WRS	2009	DBLP DOI BibTeX RDF
1	Maribel Fernández (eds.)	Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009.	WRS	2009	DBLP DOI BibTeX RDF
1	Eduardo Bonelli, Pablo Barenbaum	Superdevelopments for Weak Reduction	WRS	2009	DBLP DOI BibTeX RDF
1	Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine	Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices	WRS	2009	DBLP DOI BibTeX RDF
1	Ariel Gonzalez, Carlos Luna 0001	Specification of Products and Product Lines	WRS	2009	DBLP DOI BibTeX RDF
1	Besik Dundua, Temur Kutsia, Mircea Marin	Strategies in PRholog	WRS	2009	DBLP DOI BibTeX RDF
1	Hans Zantema, Matthias Raffelsieper	Stream Productivity by Outermost Termination	WRS	2009	DBLP DOI BibTeX RDF
1	Bernhard Gramlich, Felix Schernhammer	Extending Context-Sensitivity in Term Rewriting	WRS	2009	DBLP DOI BibTeX RDF
1	Sergio Antoy, Yoshihito Toyama (eds.)	Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004	WRS	2005	DBLP BibTeX RDF
1	Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom	Vicious Circles in Orthogonal Term Rewriting Systems.	WRS	2004	DBLP DOI BibTeX RDF
1	Francisco Durán 0001	Maude's Internal Strategies.	WRS	2004	DBLP DOI BibTeX RDF
1	Ralf Lämmel	Programmable Rewriting Strategies in Haskell: -- White Paper --.	WRS	2004	DBLP DOI BibTeX RDF
1	Jeroen Ketema	Some Undecidable Approximations of TRSs.	WRS	2004	DBLP DOI BibTeX RDF
1	Salvador Lucas	Strategies in Programming Languages Today.	WRS	2004	DBLP DOI BibTeX RDF
1	Sergio Antoy, Yoshihito Toyama	Preface.	WRS	2004	DBLP DOI BibTeX RDF
1	Irène Durand	A Tool for Term Rewrite Systems and Tree Automata.	WRS	2004	DBLP DOI BibTeX RDF
1	Claude Kirchner	Strategic Rewriting.	WRS	2004	DBLP DOI BibTeX RDF
1	Olivier Danvy	From Reduction-based to Reduction-free Normalization.	WRS	2004	DBLP DOI BibTeX RDF
1	Francisco Durán 0001, Manuel Roldán, Antonio Vallecillo	Invariant-Driven Strategies for Maude.	WRS	2004	DBLP DOI BibTeX RDF
1	Mizuhito Ogawa	Call-by-need reduction for membership conditional term rewriting Systems.	WRS	2003	DBLP DOI BibTeX RDF
1	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
1	Manuel Clavel	Strategies and user interfaces in Maude at work.	WRS	2003	DBLP DOI BibTeX RDF
1	Stéphane Lengrand	Call-by-value, call-by-name, and strong normalization for the classical sequent calculus.	WRS	2003	DBLP DOI BibTeX RDF
1	Jorge Sousa Pinto	Weak reduction and garbage collection in interaction nets.	WRS	2003	DBLP DOI BibTeX RDF
1	Jürgen Giesl, Hans Zantema	Simulating liveness by reduction strategies.	WRS	2003	DBLP DOI BibTeX RDF
1	Monica Nesi, Giuseppina Rucci, Massimo Verdesca	A rewriting strategy for protocol verification.	WRS	2003	DBLP DOI BibTeX RDF
1	Zurab Khasidashvili, John R. W. Glauert	An Abstract Concept of Optimal Implementation.	WRS	2003	DBLP DOI BibTeX RDF
1	Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack	Rewrite strategies in the rewriting calculus.	WRS	2003	DBLP DOI BibTeX RDF
1	Bernhard Gramlich, Salvador Lucas (eds.)	3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings	WRS	2003	DBLP BibTeX RDF
1	Karina Olmos, Eelco Visser	Strategies for Source-to-Source Constant Progagation.	WRS	2002	DBLP DOI BibTeX RDF
1	Aart Middeldorp	Approximations for Strategies and Termination.	WRS	2002	DBLP DOI BibTeX RDF
1	Pierre Réty, Julie Vuotto	Regular Sets of Descendants by Leftmost Strategy.	WRS	2002	DBLP DOI BibTeX RDF
1	Bernhard Gramlich, Salvador Lucas	Preface.	WRS	2002	DBLP DOI BibTeX RDF
1	Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal	An Operational Semantics for Declarative Multi-Paradigm Languages.	WRS	2002	DBLP DOI BibTeX RDF
1	Mark van den Brand, Paul Klint, Jurgen J. Vinju	Term Rewriting with Type-safe Traversal Functions.	WRS	2002	DBLP DOI BibTeX RDF
1	John R. W. Glauert, Zurab Khasidashvili	An Abstract Böhm-normalization.	WRS	2002	DBLP DOI BibTeX RDF
1	Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein	Applying ELAN Strategies in Simulating Processors over Simple Architectures.	WRS	2002	DBLP DOI BibTeX RDF
1	Vincent van Oostrom, Roel C. de Vrijer	Four equivalent equivalences of reductions.	WRS	2002	DBLP DOI BibTeX RDF
1	Ralf Lämmel	The Sketch of a Polymorphic Symphony.	WRS	2002	DBLP DOI BibTeX RDF
1	Bernhard Gramlich, Salvador Lucas (eds.)	2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings	WRS	2002	DBLP BibTeX RDF
1	Sergio Antoy	Evaluation Strategies for Functional Logic Programming.	WRS	2001	DBLP DOI BibTeX RDF
1	Paul Klint	Is Strategic Programming a Viable Paradigm?	WRS	2001	DBLP DOI BibTeX RDF
1	Quang Huy Nguyen 0002	Compact Normalisation Trace via Lazy Rewriting.	WRS	2001	DBLP DOI BibTeX RDF
1	Eelco Visser	A Survey of Strategies in Program Transformation Systems.	WRS	2001	DBLP DOI BibTeX RDF
1	René Vestergaard	The Simple Type Theory of Normalization by Evaluation.	WRS	2001	DBLP DOI BibTeX RDF
1	María Alpuente, Francisco J. Correa, Moreno Falaschi	Declarative Debugging of Functional Logic Programs.	WRS	2001	DBLP DOI BibTeX RDF
1	Bernhard Gramlich, Salvador Lucas	1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface.	WRS	2001	DBLP DOI BibTeX RDF
1	Tetsuo Ida	Hot Topics in Reduction Strategies - A Panelist's View.	WRS	2001	DBLP DOI BibTeX RDF
1	Jaco van de Pol	Just-in-time: On Strategy Annotations.	WRS	2001	DBLP DOI BibTeX RDF
1	Ralf Lämmel	Generic Sort-Preserving Traversal Strategies.	WRS	2001	DBLP DOI BibTeX RDF
1	Patricia Johann, Eelco Visser	Fusing Logic and Control with Local Transformations: An Example Optimization.	WRS	2001	DBLP DOI BibTeX RDF
1	Michael Hanus	Reduction Strategies for Declarative Programming.	WRS	2001	DBLP DOI BibTeX RDF
1	Bernhard Gramlich, Salvador Lucas (eds.)	1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001	WRS	2001	DBLP BibTeX RDF

Publications at "WRS"( http://dblp.L3S.de/Venues/WRS )