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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 305-315, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(2), pp. 175-234, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(3), pp. 464-509, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 167-181, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 322-333, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
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)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 221-232, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
75 | Manolis Gergatsoulis, Maria Katzouraki |
Unfold/Fold Transformations For Definite Clause Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 340-354, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
75 | Saumya K. Debray |
Unfold/Fold Transformations and Loop Optimization of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 297-307, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
57 | Nicoletta De Francesco, Antonella Santone |
A Transformation System for Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(12), pp. 1037-1073, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
57 | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
A Transformation System for CLP with Dynamic Scheduling and CCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 137-150, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrent constraint logic programming, transformation, deadlock, coroutining |
55 | Alberto Pettorossi, Maurizio Proietti |
Perfect Model Checking via Unfold/Fold Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 613-628, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
55 | Torben Amtoft |
Unfold/fold Transformations Preserving Termination Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 187-201, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
55 | Taisuke Sato |
An Equivalence Preserving First Order Unfold/fold Transformation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 173-188, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Janis Voigtländer |
Using Circular Programs to Deforest in Accumulating Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 17(1-2), pp. 129-163, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 364-379, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verification of Sets of Infinite State Processes Using Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers, pp. 111-128, 2001, Springer, 3-540-43915-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 172-187, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen |
Controlling Conjunctive Partial Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 152-166, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Annalisa Bossi, Sandro Etalle |
Transforming Acyclic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1081-1096, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 231, pp. 103014, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
36 | Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 39-56, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
36 | Geoff W. Hamilton, Neil D. Jones |
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers, pp. 153-169, 2011, Springer, 978-3-642-29708-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Hirohisa Seki |
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers, pp. 205-220, 2011, Springer, 978-3-642-32210-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Hirohisa Seki |
On Inductive Proofs by Extended Unfold/Fold Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers, pp. 117-132, 2010, Springer, 978-3-642-20550-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Hirohisa Seki |
On Inductive and Coinductive Proofs via Unfold/Fold Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers, pp. 82-96, 2009, Springer, 978-3-642-12591-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Mark Johnson 0001 |
Transforming Projective Bilexical Dependency Grammars into efficiently-parsable CFGs with Unfold-Fold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: ACL 2007, Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics, June 23-30, 2007, Prague, Czech Republic, 2007, The Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
36 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transformation Techniques in Software Engineering ![In: Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
36 | Abhik Roychoudhury, C. R. Ramakrishnan 0001 |
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Development in Computational Logic ![In: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, pp. 261-290, 2004, Springer, 3-540-22152-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 13(3), pp. 387-403, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Hironohu Aoki, Motoki Miura, Jiro Tanaka |
A Web Site Editing System Based on Unfold/ Fold Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Internet Computing ![In: Proceedings of the International Conference on Internet Computing, IC 2002, Las Vegas, Nevada, USA, June 24-27, 2002, pp. 297-302, 2002, CSREA Press, 1-892512-38-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
36 | Alberto Pettorossi, Maurizio Proietti |
Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 41(2-3), pp. 197-230, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 616, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings, pp. 396-413, 1999, Springer, 3-540-66540-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Rym Salem, Khaled Bsaïes |
Unfold/Fold Inductive Proof: An Extension of a Folding Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Multiple Approaches to Intelligent Systems, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings, pp. 612-621, 1999, Springer, 3-540-66076-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Alberto Pettorossi, Maurizio Proietti |
Program Specialization via Algorithmic Unfold/Fold Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 30(3es), pp. 6, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo |
Unfold/Fold Transformations of CCP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 348-365, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Manolis Gergatsoulis |
Unfold/fold Transformations for Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 62(1), pp. 23-29, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
Enhancing Partial Deduction via Unfold/Fold Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings, pp. 146-168, 1996, Springer, 3-540-62718-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Chandrabose Aravindan, Phan Minh Dung |
On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 24(3), pp. 201-217, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
36 | Maurizio Proietti, Alberto Pettorossi |
Total correctness of a goal replacement rule based on the unfold/fold proof method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP-PRODE (1) ![In: 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1, pp. 203-217, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
36 | Annalisa Bossi, Nicoletta Cocco |
Preserving Universal Termination through Unfold/Fold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings, pp. 269-286, 1994, Springer, 3-540-58431-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
universal termination, program transformations |
36 | Khaled Bsaïes |
Implementing the Synthesis of Properties in Unfold/Fold Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 459-460, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Annalisa Bossi, Sandro Etalle |
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 311-331, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Hirohisa Seki |
Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 16(1), pp. 5-23, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Maurizio Proietti, Alberto Pettorossi |
Synthesis of Programs from Unfold/Fold Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 141-158, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
36 | John C. Shepherdson |
Unfold/Fold Transformations of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 2(2), pp. 143-157, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
36 | Taisuke Sato |
Equivalence-Preserving First-Order Unfold/Fold Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 105(1), pp. 57-84, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
36 | Hirohisa Seki |
Unfold/Fold Transformations of Stratified Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 86(1), pp. 107-139, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Philippa Gardner, John C. Shepherdson |
Unfold/Fold Transformations of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic - Essays in Honor of Alan Robinson ![In: Computational Logic - Essays in Honor of Alan Robinson, pp. 565-583, 1991, The MIT Press, 0-262-12156-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
36 | Tadashi Kawamura, Tadashi Kanamori |
Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 75(1&2), pp. 139-156, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Hirohisa Seki |
Unfold/Fold Transformation of Stratified Programs. (long version: TCS 86(1): 107-139 (1991)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 554-568, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
36 | Tadashi Kawamura, Tadashi Kanamori |
Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 413-421, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
36 | Tadashi Kanamori, Kenji Horiuchi |
Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 744-768, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
36 | Hisao Tamaki, Taisuke Sato |
Unfold/Fold Transformation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984, pp. 127-138, 1984, Uppsala University. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
19 | Huu Hai Nguyen, Wei-Ngan Chin |
Enhancing Program Verification with Lemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 355-369, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 180-194, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Hirohisa Seki |
On Negative Unfolding in the Answer Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 168-184, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, pp. 251-266, 2007, Springer, 978-3-540-69735-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 179-195, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Transformational Verification of Parameterized Protocols Using Array Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, pp. 23-43, 2005, Springer, 3-540-32654-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Kazunori Ueda |
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, pp. 138-161, 2002, Springer, 3-540-43959-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Combining Logic Programs and Monadic Second Order Logics by Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers, pp. 160-181, 2002, Springer, 3-540-40438-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Morten Heine Sørensen |
Convergence of Program Transformers in the Metric Space of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings, pp. 315-337, 1998, Springer, 3-540-64591-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Safe Folding/Unfolding with Conditional Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP/HOA ![In: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, Spetember 3-5, 1997, Proceedings, pp. 1-15, 1997, Springer, 3-540-63459-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Alberto Momigliano, Mario Ornaghi |
Towards a Logic for Reasoning About Logic Programs Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings, pp. 226-244, 1997, Springer, 3-540-65074-1. The full citation details ...](Pics/full.jpeg) |
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)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 347-358, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai |
cu-Prolog and its Application to a JPSG Parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 134-143, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Norihiko Yoshida |
A transformational approach to the derivation of hardware algorithms from recurrence equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '88, Orlando, FL, USA, November 12-17, 1988, pp. 433-440, 1988, IEEE Computer Society, 0-8186-0882-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Etsuo Itoh, Hiroshi Nakagawa |
Heuristic Applied in Tree Manipulation Algorithm Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 44-55, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|