Search results for "unfold-fold"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
139	Jirí Vyskocil, Petr Stepánek	Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.	MICAI	2007	DBLP DOI BibTeX RDF	unfold/fold transformation, homeomorphic embedding, logic programming, prolog, partial deduction
122	David Sands	Total Correctness by Local Improvement in the Transformation of Functional Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	operational equivalence, unfold-fold, program transformation, correctness, improvement
113	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	An unfold/fold transformation framework for definite logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	inductive theorem proving, Logic programming, program transformation, unfolding, folding
94	Nicoletta De Francesco, Antonella Santone	Unfold/Fold Transformations of Concurrent Processes.	PLILP	1996	DBLP DOI BibTeX RDF
81	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.	ASIAN	1999	DBLP DOI BibTeX RDF
77	David Sands 0001	Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996))	POPL	1995	DBLP DOI BibTeX RDF
75	Manolis Gergatsoulis, Maria Katzouraki	Unfold/Fold Transformations For Definite Clause Programs.	PLILP	1994	DBLP DOI BibTeX RDF
75	Saumya K. Debray	Unfold/Fold Transformations and Loop Optimization of Logic Programs.	PLDI	1988	DBLP DOI BibTeX RDF
57	Nicoletta De Francesco, Antonella Santone	A Transformation System for Concurrent Processes.	Acta Informatica	1998	DBLP DOI BibTeX RDF
57	Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori	A Transformation System for CLP with Dynamic Scheduling and CCP.	PEPM	1997	DBLP DOI BibTeX RDF	concurrent constraint logic programming, transformation, deadlock, coroutining
55	Alberto Pettorossi, Maurizio Proietti	Perfect Model Checking via Unfold/Fold Transformations.	Computational Logic	2000	DBLP DOI BibTeX RDF
55	Torben Amtoft	Unfold/fold Transformations Preserving Termination Properties.	PLILP	1992	DBLP DOI BibTeX RDF
55	Taisuke Sato	An Equivalence Preserving First Order Unfold/fold Transformation System.	ALP	1990	DBLP DOI BibTeX RDF
45	Janis Voigtländer	Using Circular Programs to Deforest in Accumulating Parameters.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
38	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Automatic Correctness Proofs for Logic Program Transformations.	ICLP	2007	DBLP DOI BibTeX RDF
38	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Verification of Sets of Infinite State Processes Using Program Transformation.	LOPSTR	2001	DBLP DOI BibTeX RDF
38	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka	Verification of Parameterized Systems Using Logic Program Transformations.	TACAS	2000	DBLP DOI BibTeX RDF
38	Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen	Controlling Conjunctive Partial Deduction.	PLILP	1996	DBLP DOI BibTeX RDF
38	Annalisa Bossi, Sandro Etalle	Transforming Acyclic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	acyclic programs, terminating programs, termination
36	Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001	Asynchronous unfold/fold transformation for fixpoint logic.	Sci. Comput. Program.	2024	DBLP DOI BibTeX RDF
36	Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001	Asynchronous Unfold/Fold Transformation for Fixpoint Logic.	FLOPS	2022	DBLP DOI BibTeX RDF
36	Geoff W. Hamilton, Neil D. Jones	Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
36	Hirohisa Seki	Proving Properties of Co-Logic Programs by Unfold/Fold Transformations.	LOPSTR	2011	DBLP DOI BibTeX RDF
36	Hirohisa Seki	On Inductive Proofs by Extended Unfold/Fold Transformation Rules.	LOPSTR	2010	DBLP DOI BibTeX RDF
36	Hirohisa Seki	On Inductive and Coinductive Proofs via Unfold/Fold Transformations.	LOPSTR	2009	DBLP DOI BibTeX RDF
36	Mark Johnson 0001	Transforming Projective Bilexical Dependency Grammars into efficiently-parsable CFGs with Unfold-Fold.	ACL	2007	DBLP BibTeX RDF
36	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs.	Transformation Techniques in Software Engineering	2005	DBLP BibTeX RDF
36	Abhik Roychoudhury, C. R. Ramakrishnan 0001	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
36	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.	Int. J. Found. Comput. Sci.	2002	DBLP DOI BibTeX RDF
36	Hironohu Aoki, Motoki Miura, Jiro Tanaka	A Web Site Editing System Based on Unfold/ Fold Operations.	International Conference on Internet Computing	2002	DBLP BibTeX RDF
36	Alberto Pettorossi, Maurizio Proietti	Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs.	J. Log. Program.	1999	DBLP DOI BibTeX RDF
36	Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan	Generalized Unfold/fold Transformation Systems for Normal Logic Programs.	ICLP	1999	DBLP BibTeX RDF
36	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.	PPDP	1999	DBLP DOI BibTeX RDF
36	Rym Salem, Khaled Bsaïes	Unfold/Fold Inductive Proof: An Extension of a Folding Technique.	IEA/AIE	1999	DBLP DOI BibTeX RDF
36	Alberto Pettorossi, Maurizio Proietti	Program Specialization via Algorithmic Unfold/Fold Transformations.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF
36	Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo	Unfold/Fold Transformations of CCP Programs.	CONCUR	1998	DBLP DOI BibTeX RDF
36	Manolis Gergatsoulis	Unfold/fold Transformations for Disjunctive Logic Programs.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
36	Alberto Pettorossi, Maurizio Proietti, Sophie Renault	Enhancing Partial Deduction via Unfold/Fold Rules.	LOPSTR	1996	DBLP DOI BibTeX RDF
36	Chandrabose Aravindan, Phan Minh Dung	On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs.	J. Log. Program.	1995	DBLP DOI BibTeX RDF
36	Maurizio Proietti, Alberto Pettorossi	Total correctness of a goal replacement rule based on the unfold/fold proof method.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
36	Annalisa Bossi, Nicoletta Cocco	Preserving Universal Termination through Unfold/Fold.	ALP	1994	DBLP DOI BibTeX RDF	universal termination, program transformations
36	Khaled Bsaïes	Implementing the Synthesis of Properties in Unfold/Fold Transformations.	PLILP	1994	DBLP DOI BibTeX RDF
36	Annalisa Bossi, Sandro Etalle	More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics.	META	1994	DBLP DOI BibTeX RDF
36	Hirohisa Seki	Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics.	J. Log. Program.	1993	DBLP DOI BibTeX RDF
36	Maurizio Proietti, Alberto Pettorossi	Synthesis of Programs from Unfold/Fold Proofs.	LOPSTR	1993	DBLP BibTeX RDF
36	John C. Shepherdson	Unfold/Fold Transformations of Logic Programs.	Math. Struct. Comput. Sci.	1992	DBLP DOI BibTeX RDF
36	Taisuke Sato	Equivalence-Preserving First-Order Unfold/Fold Transformation Systems.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
36	Hirohisa Seki	Unfold/Fold Transformations of Stratified Programs.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
36	Philippa Gardner, John C. Shepherdson	Unfold/Fold Transformations of Logic Programs.	Computational Logic - Essays in Honor of Alan Robinson	1991	DBLP BibTeX RDF
36	Tadashi Kawamura, Tadashi Kanamori	Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
36	Hirohisa Seki	Unfold/Fold Transformation of Stratified Programs. (long version: TCS 86(1): 107-139 (1991))	ICLP	1989	DBLP BibTeX RDF
36	Tadashi Kawamura, Tadashi Kanamori	Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation.	FGCS	1988	DBLP BibTeX RDF
36	Tadashi Kanamori, Kenji Horiuchi	Construction of Logic Programs Based on Generalized Unfold/Fold Rules.	ICLP	1987	DBLP BibTeX RDF
36	Hisao Tamaki, Taisuke Sato	Unfold/Fold Transformation of Logic Programs.	ICLP	1984	DBLP BibTeX RDF
19	Huu Hai Nguyen, Wei-Ngan Chin	Enhancing Program Verification with Lemmas.	CAV	2008	DBLP DOI BibTeX RDF	Lemma Proving, Lemma Application, Program Verification, Separation Logic, Entailment
19	Javier Álvez, Paqui Lucio	A Generalization of the Folding Rule for the Clark-Kunen Semantics.	FLOPS	2008	DBLP DOI BibTeX RDF
19	Hirohisa Seki	On Negative Unfolding in the Answer Set Semantics.	LOPSTR	2008	DBLP DOI BibTeX RDF
19	Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin	Automated Verification of Shape and Size Properties Via Separation Logic.	VMCAI	2007	DBLP DOI BibTeX RDF
19	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.	ICLP	2006	DBLP DOI BibTeX RDF
19	Alberto Pettorossi, Maurizio Proietti, Valerio Senni	Transformational Verification of Parameterized Protocols Using Array Formulas.	LOPSTR	2005	DBLP DOI BibTeX RDF
19	Kazunori Ueda	A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
19	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Combining Logic Programs and Monadic Second Order Logics by Program Transformation.	LOPSTR	2002	DBLP DOI BibTeX RDF
19	Morten Heine Sørensen	Convergence of Program Transformers in the Metric Space of Trees.	MPC	1998	DBLP DOI BibTeX RDF
19	María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal	Safe Folding/Unfolding with Conditional Narrowing.	ALP/HOA	1997	DBLP DOI BibTeX RDF
19	Alberto Momigliano, Mario Ornaghi	Towards a Logic for Reasoning About Logic Programs Transformation.	LOPSTR	1997	DBLP DOI BibTeX RDF
19	Maurizio Proietti, Alberto Pettorossi	Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. (long version: TCS 142(1): 89-124 (1995))	PLILP	1991	DBLP DOI BibTeX RDF
19	Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai	cu-Prolog and its Application to a JPSG Parser.	LP	1989	DBLP DOI BibTeX RDF
19	Norihiko Yoshida	A transformational approach to the derivation of hardware algorithms from recurrence equations.	SC	1988	DBLP DOI BibTeX RDF
19	Etsuo Itoh, Hiroshi Nakagawa	Heuristic Applied in Tree Manipulation Algorithm Synthesis.	LP	1985	DBLP DOI BibTeX RDF