Search results for "fold-unfold"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
120	Francis Alexandre	A technique for Transforming Logic Programs by Fold-Unfold Transformations.	PLILP	1992	DBLP DOI BibTeX RDF	definite program, fold-unfold, program transformation, schema
38	Morten Heine Sørensen, Robert Glück, Neil D. Jones	Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.	ESOP	1994	DBLP DOI BibTeX RDF
36	Olivier Danvy	Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM.	J. Funct. Program.	2023	DBLP DOI BibTeX RDF
36	Olivier Danvy	Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant.	J. Funct. Program.	2022	DBLP DOI BibTeX RDF
36	Naoki Kobayashi 0001, Grigory Fedyukovich, Aarti Gupta	Fold/Unfold Transformations for Fixpoint Logic.	TACAS (2)	2020	DBLP DOI BibTeX RDF
36	Ginés Moreno	A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.	WFLP	2003	DBLP DOI BibTeX RDF
36	Colin Runciman	Binding-time Improvement and Fold/Unfold Transformation.	Functional Programming	1994	DBLP DOI BibTeX RDF
36	Thomas Johnsson	Fold-Unfold Transformations on State Monadic Interpreters.	Functional Programming	1994	DBLP DOI BibTeX RDF
36	Dmitri Boulanger, Maurice Bruynooghe	Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation.	J. Symb. Comput.	1993	DBLP DOI BibTeX RDF
36	Michael A. Firth	A fold/unfold transformation system for a non-strict language.		1990	RDF
36	Bertram Fronhöfer, Ulrich Furbach	Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold	Forschungsberichte, TU Munich	1988	RDF
36	Bertram Fronhöfer, Ulrich Furbach	Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis.	GWAI	1986	DBLP DOI BibTeX RDF
19	Pedro J. Morcillo, Ginés Moreno	Modeling Interpretive Steps in Fuzzy Logic Computations.	WILF	2009	DBLP DOI BibTeX RDF	Aggregators, Fuzzy Logic Programming, Cost Measures
19	Ginés Moreno	Building a Fuzzy Transformation System.	SOFSEM	2006	DBLP DOI BibTeX RDF
19	Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi	Program Optimizations and Transformations in Calculation Form.	GTTSE	2005	DBLP DOI BibTeX RDF	Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation
19	Soledad González, Ginés Moreno	Improved Tupling for Optimizing Multi-paradigm Declarative Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
19	Yoshihiko Futamura, Zenjiro Konishi, Robert Glück	WSDFU: Program Transformation System Based on Generalized Partial Computation.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
19	Ginés Moreno	Automatic Optimization of Multi-paradigm Declarative Programs.	IBERAMIA	2002	DBLP DOI BibTeX RDF
19	Alan Mycroft, Richard Sharp	A Statically Allocated Parallel Functional Language.	ICALP	2000	DBLP DOI BibTeX RDF
19	María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal	An Automatic Composition Algorithm for Functional Logic Programs.	SOFSEM	2000	DBLP DOI BibTeX RDF
19	Valérie Gouranton	Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing.	SAS	1998	DBLP DOI BibTeX RDF
19	María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal	Specialization of Lazy Functional Logic Programs.	PEPM	1997	DBLP DOI BibTeX RDF	integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
19	Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano	Tupling Calculation Eliminates Multiple Data Traversals.	ICFP	1997	DBLP DOI BibTeX RDF
19	Julian Richardson, Norbert E. Fuchs	Development of Correct Transformation Schemata for Prolog Programs.	LOPSTR	1997	DBLP DOI BibTeX RDF
19	Wei-Ngan Chin, Siau-Cheng Khoo	Better Consumers for Deforestation (Extended Abstract)	PLILP	1995	DBLP DOI BibTeX RDF
19	Nacéra Bensaou, Irène Guessarian	Transforming Constraint Logic Programs.	STACS	1994	DBLP DOI BibTeX RDF
19	Hanne Riis Nielson, Flemming Nielson	Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations.	ESOP	1990	DBLP DOI BibTeX RDF
19	Laurent Kott	A System for Proving Equivalences of Recursive Programs.	CADE	1980	DBLP DOI BibTeX RDF