publications:
- title: "Operational semantics for declarative multi-paradigm languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jsc.2004.01.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2004.01.001"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/AlbertHHOV05"
  cites: 0
  citedby: 0
  journal: "Journal of Symbolic Computation"
  volume: "40"
  number: "1"
  pages: "795-829"
  kind: "article"
  key: "AlbertHHOV05"
- title: "Polygenetic Partial Evaluation of Lazy Functional Logic Programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1998"
  tags:
  - "laziness"
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertAFIV98"
  cites: 0
  citedby: 0
  pages: "151-164"
  booktitle: "1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998"
  editor:
  - name: "José Luis Freire-Nistal"
    link: "https://researchr.org/alias/jos%C3%A9-luis-freire-nistal"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Manuel Vilares Ferro"
    link: "https://researchr.org/alias/manuel-vilares-ferro"
  kind: "inproceedings"
  key: "AlbertAFIV98"
- title: "List-Processing Optimizations in a Multi-Paradigm Declarative Language"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "César Ferri"
    link: "https://researchr.org/alias/c%C3%A9sar-ferri"
  - name: "Frank Steiner"
    link: "https://researchr.org/alias/frank-steiner"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/AlbertFSV00%3A0"
  cites: 0
  citedby: 0
  pages: "184-194"
  booktitle: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  kind: "inproceedings"
  key: "AlbertFSV00:0"
- title: "Preserving Sharing in the Partial Evaluation of Lazy Functional Programs"
  author:
  - name: "Sebastian Fischer"
    link: "https://researchr.org/alias/sebastian-fischer"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-78769-3_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78769-3_6"
  tags:
  - "laziness"
  - "functional programming"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/FischerSTV07"
  cites: 0
  citedby: 0
  pages: "74-89"
  booktitle: "Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers"
  editor:
  - name: "Andy King"
    link: "https://researchr.org/alias/andy-king"
  volume: "4915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78768-6"
  kind: "inproceedings"
  key: "FischerSTV07"
- title: "Dynamic slicing based on redex trails"
  author:
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1014007.1014020"
  links:
    doi: "http://doi.acm.org/10.1145/1014007.1014020"
  tags:
  - "rule-based"
  - "slicing"
  researchr: "https://researchr.org/publication/OchoaSV04"
  cites: 0
  citedby: 0
  pages: "123-134"
  booktitle: "Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004"
  editor:
  - name: "Nevin Heintze"
    link: "https://researchr.org/alias/nevin-heintze"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  publisher: "ACM"
  isbn: "1-58113-835-0"
  kind: "inproceedings"
  key: "OchoaSV04"
- title: "A semantics for tracing declarative multi-paradigm programs"
  author:
  - name: "Bernd Brassel"
    link: "https://researchr.org/alias/bernd-brassel"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1013963.1013984"
  links:
    doi: "http://doi.acm.org/10.1145/1013963.1013984"
  tags:
  - "semantics"
  - "programming paradigms"
  researchr: "https://researchr.org/publication/BrasselHHV04"
  cites: 0
  citedby: 0
  pages: "179-190"
  booktitle: "Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy"
  editor:
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "David Scott Warren"
    link: "https://researchr.org/alias/david-scott-warren"
  publisher: "ACM"
  isbn: "1-58113-819-9"
  kind: "inproceedings"
  key: "BrasselHHV04"
- title: "A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2002"
  doi: "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-01.pdf"
  links:
    doi: "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-01.pdf"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertHV02"
  cites: 0
  citedby: 0
  journal: "Journal of Functional and Logic Programming"
  volume: "2002"
  kind: "article"
  key: "AlbertHV02"
- title: "Dynamic slicing of lazy functional programs based on redex trails"
  author:
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10990-008-9023-7"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-008-9023-7"
  tags:
  - "laziness"
  - "rule-based"
  - "functional programming"
  - "slicing"
  researchr: "https://researchr.org/publication/OchoaSV08"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "21"
  number: "1-2"
  pages: "147-192"
  kind: "article"
  key: "OchoaSV08"
- title: "A Unifying View of Functional and Logic Program Specialization"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289121.289130"
  links:
    doi: "http://doi.acm.org/10.1145/289121.289130"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFV98"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "30"
  number: "3es"
  pages: "9"
  kind: "article"
  key: "AlpuenteFV98"
- title: "A Compositional Semantics for Conditional Term Rewriting Systems"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "María José Ramis"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ramis"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1994"
  tags:
  - "semantics"
  - "term rewriting"
  - "composition"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteFRV94%3A0"
  cites: 0
  citedby: 0
  pages: "171-182"
  booktitle: "Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France"
  editor:
  - name: "Henri E. Bal"
    link: "https://researchr.org/alias/henri-e.-bal"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AlpuenteFRV94:0"
- title: "Specialization of Lazy Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258993.259015"
  links:
    doi: "http://doi.acm.org/10.1145/258993.259015"
  tags:
  - "laziness"
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFJV97"
  cites: 0
  citedby: 0
  pages: "151-162"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "AlpuenteFJV97"
- title: "Safe Folding/Unfolding with Conditional Narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1997"
  researchr: "https://researchr.org/publication/AlpuenteFMV97"
  cites: 0
  citedby: 0
  pages: "1-15"
  booktitle: "Algebraic and Logic Programming, 6th International Joint Conference, ALP  97 - HOA  97, Southampton, U.K., Spetember 3-5, 1997, Proceedings"
  editor:
  - name: "Michael Hanus"
    link: "https://researchr.org/alias/michael-hanus"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "Karl Meinke"
    link: "https://researchr.org/alias/karl-meinke"
  volume: "1298"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63459-2"
  kind: "inproceedings"
  key: "AlpuenteFMV97"
- title: "Using Narrowing Approximations to Optimize Equational Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "María José Ramis"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ramis"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1993"
  tags:
  - "optimization"
  - "logic programming"
  - "logic"
  - "program optimization"
  researchr: "https://researchr.org/publication/AlpuenteFRV93"
  cites: 0
  citedby: 0
  pages: "127-142"
  booktitle: "8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993"
  editor:
  - name: "Domenico Saccà"
    link: "https://researchr.org/alias/domenico-sacc%C3%A0"
  kind: "inproceedings"
  key: "AlpuenteFRV93"
- title: "Safe Folding/Unfolding with Conditional Narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1997"
  researchr: "https://researchr.org/publication/AlpuenteFMV97%3A0"
  cites: 0
  citedby: 0
  pages: "347-358"
  booktitle: "1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997"
  editor:
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Marisa Navarro"
    link: "https://researchr.org/alias/marisa-navarro"
  - name: "Alberto Policriti"
    link: "https://researchr.org/alias/alberto-policriti"
  kind: "inproceedings"
  key: "AlpuenteFMV97:0"
- title: "Symbolic Profiling for Multi-paradigm Declarative Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2372/23720148.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2372/23720148.htm"
  researchr: "https://researchr.org/publication/AlbertV01%3A0"
  cites: 0
  citedby: 0
  pages: "148-167"
  booktitle: "Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers"
  editor:
  - name: "Alberto Pettorossi"
    link: "https://researchr.org/alias/alberto-pettorossi"
  volume: "2372"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43915-3"
  kind: "inproceedings"
  key: "AlbertV01:0"
- title: "Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs"
  author:
  - name: "Gustavo Arroyo"
    link: "https://researchr.org/alias/gustavo-arroyo"
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-71410-1_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71410-1_6"
  tags:
  - "graph-rewriting"
  - "partial evaluation"
  - "rewriting"
  researchr: "https://researchr.org/publication/ArroyoRSV06"
  cites: 0
  citedby: 0
  pages: "60-76"
  booktitle: "Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers"
  editor:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  volume: "4407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71409-5"
  kind: "inproceedings"
  key: "ArroyoRSV06"
- title: "Lazy call-by-value evaluation"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Sebastian Fischer"
    link: "https://researchr.org/alias/sebastian-fischer"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291193"
  links:
    doi: "http://doi.acm.org/10.1145/1291151.1291193"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/BrasselHFHV07"
  cites: 0
  citedby: 0
  pages: "265-276"
  booktitle: "Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007"
  editor:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  publisher: "ACM"
  isbn: "978-1-59593-815-2"
  kind: "inproceedings"
  key: "BrasselHFHV07"
- title: "Dynamic Slicing Techniques for Petri Nets"
  author:
  - name: "Marisa Llorens"
    link: "https://researchr.org/alias/marisa-llorens"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.12.037"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.12.037"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/LlorensOSTV08"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "223"
  pages: "153-165"
  kind: "article"
  key: "LlorensOSTV08"
- title: "Narrowing Approximations as an Optimization for Equational Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "María José Ramis"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ramis"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1993"
  tags:
  - "optimization"
  - "logic programming"
  - "logic"
  - "program optimization"
  researchr: "https://researchr.org/publication/AlpuenteFRV93%3A0"
  cites: 0
  citedby: 0
  pages: "391-409"
  booktitle: "Programming Language Implementation and Logic Programming, 5th International Symposium, PLILP 93, Tallinn, Estonia, August 25-27, 1993, Proceedings"
  editor:
  - name: "Maurice Bruynooghe"
    link: "https://researchr.org/alias/maurice-bruynooghe"
  - name: "Jaan Penjam"
    link: "https://researchr.org/alias/jaan-penjam"
  volume: "714"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57186-8"
  kind: "inproceedings"
  key: "AlpuenteFRV93:0"
- title: "Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2042/20420103.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2042/20420103.htm"
  tags:
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertAV00a"
  cites: 0
  citedby: 0
  pages: "103-124"
  booktitle: "Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers"
  editor:
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  volume: "2042"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42127-0"
  kind: "inproceedings"
  key: "AlbertAV00a"
- title: "A Compositional Semantics for Conditional Term Rewriting Systems"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "María José Ramis"
    link: "https://researchr.org/alias/mar%C3%ADa-jos%C3%A9-ramis"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1994"
  tags:
  - "semantics"
  - "term rewriting"
  - "composition"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlpuenteFRV94"
  cites: 0
  citedby: 0
  pages: "62-76"
  booktitle: "1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Roberto Barbuti"
    link: "https://researchr.org/alias/roberto-barbuti"
  - name: "Isidro Ramos"
    link: "https://researchr.org/alias/isidro-ramos"
  kind: "inproceedings"
  key: "AlpuenteFRV94"
- title: "A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs"
  author:
  - name: "Gustavo Arroyo"
    link: "https://researchr.org/alias/gustavo-arroyo"
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Salvador Tamarit"
    link: "https://researchr.org/alias/salvador-tamarit"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00515-2_4"
  tags:
  - "functional programming"
  - "higher-order transformations"
  - "systematic-approach"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/ArroyoRTV08"
  cites: 0
  citedby: 0
  pages: "40-54"
  booktitle: "Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers"
  editor:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  volume: "5438"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00514-5"
  kind: "inproceedings"
  key: "ArroyoRTV08"
- title: "Operational Semantics for Functional Logic Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#002"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#002"
  tags:
  - "semantics"
  - "operational semantics"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertHHOV02a"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "76"
  pages: "1-19"
  kind: "article"
  key: "AlbertHHOV02a"
- title: "Run-Time Profiling of Functional Logic Programs"
  author:
  - name: "Bernd Brassel"
    link: "https://researchr.org/alias/bernd-brassel"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11506676_12"
  links:
    doi: "http://dx.doi.org/10.1007/11506676_12"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/BrasselHHSV04"
  cites: 0
  citedby: 0
  pages: "182-197"
  booktitle: "Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers"
  editor:
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  volume: "3573"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26655-0"
  kind: "inproceedings"
  key: "BrasselHHSV04"
- title: "On the rationality of Petri net languages"
  author:
  - name: "Rüdiger Valk"
    link: "https://researchr.org/alias/r%C3%BCdiger-valk"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1977"
  researchr: "https://researchr.org/publication/ValkV77"
  cites: 0
  citedby: 0
  pages: "319-328"
  booktitle: "Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings"
  editor:
  - name: "H. Tzschach"
    link: "https://researchr.org/alias/h.-tzschach"
  - name: "H. Waldschmidt"
    link: "https://researchr.org/alias/h.-waldschmidt"
  - name: "Hermann K.-G. Walter"
    link: "https://researchr.org/alias/hermann-k.-g.-walter"
  volume: "48"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-08138-0"
  kind: "inproceedings"
  key: "ValkV77"
- title: "Improving Functional Logic Programs by Difference-Lists"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "César Ferri"
    link: "https://researchr.org/alias/c%C3%A9sar-ferri"
  - name: "Frank Steiner"
    link: "https://researchr.org/alias/frank-steiner"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1961/19610237.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1961/19610237.htm"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertFSV00"
  cites: 0
  citedby: 0
  pages: "237-254"
  booktitle: "Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference,  Penang, Malaysia, November 25-27, 2000, Proceedings"
  editor:
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  - name: "Masahiko Sato"
    link: "https://researchr.org/alias/masahiko-sato"
  volume: "1961"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41428-2"
  kind: "inproceedings"
  key: "AlbertFSV00"
- title: "Narrowing-Driven Partial Evaluation of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1996"
  tags:
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFV96"
  cites: 0
  citedby: 0
  pages: "45-61"
  booktitle: "Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings"
  editor:
  - name: "Hanne Riis Nielson"
    link: "https://researchr.org/alias/hanne-riis-nielson"
  volume: "1058"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61055-3"
  kind: "inproceedings"
  key: "AlpuenteFV96"
- title: "Using PE to Automate Program Composition"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/AlpuenteFMV00%3A0"
  cites: 0
  citedby: 0
  pages: "169-183"
  booktitle: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  kind: "inproceedings"
  key: "AlpuenteFMV00:0"
- title: "Un Sistema de Transformación para Programas Multiparadigma"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "César Ferri"
    link: "https://researchr.org/alias/c%C3%A9sar-ferri"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  doi: "http://tornado.dia.fi.upm.es/caepia/numeros/8/alpuente.ps.gz"
  links:
    doi: "http://tornado.dia.fi.upm.es/caepia/numeros/8/alpuente.ps.gz"
  researchr: "https://researchr.org/publication/AlpuenteFFMV99"
  cites: 0
  citedby: 0
  journal: "Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial"
  volume: "8"
  pages: "27-35"
  kind: "article"
  key: "AlpuenteFFMV99"
- title: "Ensuring the quasi-termination of needed narrowing computations"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.ipl.2006.09.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2006.09.010"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/RamosSV07"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "101"
  number: "5"
  pages: "220-226"
  kind: "article"
  key: "RamosSV07"
- title: "Realistic Program Specialization in a Multi-Paradigm Language"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  tags:
  - "programming languages"
  - "programming paradigms"
  - "programming"
  researchr: "https://researchr.org/publication/AlbertHV00%3A0"
  cites: 0
  citedby: 0
  pages: "104-119"
  booktitle: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  kind: "inproceedings"
  key: "AlbertHV00:0"
- title: "A Practical Partial Evaluator for a Multi-Paradigm Declarative Language"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2024/20240326.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2024/20240326.htm"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertHV01"
  cites: 0
  citedby: 0
  pages: "326-342"
  booktitle: "Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings"
  editor:
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  - name: "Kazunori Ueda"
    link: "https://researchr.org/alias/kazunori-ueda"
  volume: "2024"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41739-7"
  kind: "inproceedings"
  key: "AlbertHV01"
- title: "Forward slicing of functional logic programs by partial evaluation"
  author:
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S1471068406002870"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068406002870"
  tags:
  - "functional programming"
  - "slicing"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/SilvaV07"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "7"
  number: "1-2"
  pages: "215-247"
  kind: "article"
  key: "SilvaV07"
- title: "Improving Control in Functional Logic Program Specialization"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1503/15030262.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1503/15030262.htm"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertAFJV98"
  cites: 0
  citedby: 0
  pages: "262-277"
  booktitle: "Static Analysis, 5th International Symposium, SAS  98, Pisa, Italy, September 14-16, 1998, Proceedings"
  editor:
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  volume: "1503"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65014-8"
  kind: "inproceedings"
  key: "AlbertAFJV98"
- title: "Incremental Equational Constraint Analyses"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1993"
  tags:
  - "constraints"
  - "incremental"
  researchr: "https://researchr.org/publication/AlpuenteFV93"
  cites: 0
  citedby: 0
  pages: "657"
  booktitle: "ILPS"
  kind: "inproceedings"
  key: "AlpuenteFV93"
- title: "An Operational Semantics for Declarative Multi-Paradigm Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#004"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/AlbertHHOV02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "70"
  number: "6"
  pages: "62-83"
  kind: "article"
  key: "AlbertHHOV02"
- title: "An Embedded Language Approach to Router Specification in Curry"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2932&spage=277"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2932&spage=277"
  tags:
  - "routing"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/RamosSV04"
  cites: 0
  citedby: 0
  pages: "277-288"
  booktitle: "SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004"
  editor:
  - name: "Peter van Emde Boas"
    link: "https://researchr.org/alias/peter-van-emde-boas"
  - name: "Jaroslav Pokorný"
    link: "https://researchr.org/alias/jaroslav-pokorn%C3%BD"
  - name: "Mária Bieliková"
    link: "https://researchr.org/alias/m%C3%A1ria-bielikov%C3%A1"
  - name: "Julius Stuller"
    link: "https://researchr.org/alias/julius-stuller"
  volume: "2932"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20779-1"
  kind: "inproceedings"
  key: "RamosSV04"
- title: "Uniform Lazy Narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2003"
  doi: "http://www3.oup.co.uk/logcom/hdb/Volume_13/Issue_02/130287.sgm.abs.html"
  links:
    doi: "http://www3.oup.co.uk/logcom/hdb/Volume_13/Issue_02/130287.sgm.abs.html"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/AlpuenteFIV03"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "13"
  number: "2"
  pages: "287-312"
  kind: "article"
  key: "AlpuenteFIV03"
- title: "A Transformation System for Lazy Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  tags:
  - "laziness"
  - "functional programming"
  - "logic programming"
  - "transformation system"
  - "logic"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/AlpuenteFMV99"
  cites: 0
  citedby: 0
  pages: "147-162"
  booktitle: "Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings"
  editor:
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  - name: "Taisuke Sato"
    link: "https://researchr.org/alias/taisuke-sato"
  volume: "1722"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66677-X"
  kind: "inproceedings"
  key: "AlpuenteFMV99"
- title: "Using an Abstract Representation to Specialize Functional Logic Programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1955/19550381.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1955/19550381.htm"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertHV00"
  cites: 0
  citedby: 0
  pages: "381-398"
  booktitle: "Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings"
  editor:
  - name: "Michel Parigot"
    link: "https://researchr.org/alias/michel-parigot"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "1955"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "inproceedings"
  key: "AlbertHV00"
- title: "A Partial Evaluation Framework for Curry Programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertAHV99"
  cites: 0
  citedby: 0
  pages: "376-395"
  booktitle: "Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings"
  editor:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  - name: "David A. McAllester"
    link: "https://researchr.org/alias/david-a.-mcallester"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "1705"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66492-0"
  kind: "inproceedings"
  key: "AlbertAHV99"
- title: "Specialization of Inductively Sequential Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/317636.317910"
  links:
    doi: "http://doi.acm.org/10.1145/317636.317910"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteHLV99"
  cites: 0
  citedby: 0
  pages: "273-283"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "AlpuenteHLV99"
- title: "Call-By Name Partial Evaluation of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1996"
  tags:
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFIV96"
  cites: 0
  citedby: 0
  pages: "17-28"
  booktitle: "1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 96, Donostia-San Sebastian, Spain, July 15-18, 1996"
  editor:
  - name: "Paqui Lucio"
    link: "https://researchr.org/alias/paqui-lucio"
  - name: "Maurizio Martelli"
    link: "https://researchr.org/alias/maurizio-martelli"
  - name: "Marisa Navarro"
    link: "https://researchr.org/alias/marisa-navarro"
  kind: "inproceedings"
  key: "AlpuenteFIV96"
- title: "Fast narrowing-driven partial evaluation for inductively sequential programs"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086394"
  links:
    doi: "http://doi.acm.org/10.1145/1086365.1086394"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/RamosSV05"
  cites: 0
  citedby: 0
  pages: "228-239"
  booktitle: "Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "1-59593-064-7"
  kind: "inproceedings"
  key: "RamosSV05"
- title: "The Narrowing-driven Approach to Functional Logic Program Specialization"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2001"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AlbertV01"
  cites: 0
  citedby: 0
  journal: "New Generation Comput."
  volume: "20"
  number: "1"
  pages: "3-26"
  kind: "article"
  key: "AlbertV01"
- title: "Forward Slicing by Conjunctive Partial Deduction and Argument Filtering"
  author:
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3444&spage=61"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3444&spage=61"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/LeuschelV05"
  cites: 0
  citedby: 0
  pages: "61-76"
  booktitle: "Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Shmuel Sagiv"
    link: "https://researchr.org/alias/shmuel-sagiv"
  volume: "3444"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25435-8"
  kind: "inproceedings"
  key: "LeuschelV05"
- title: "Automatic Partial Inversion of Inductively Sequential Functions"
  author:
  - name: "Jesús Manuel Almendros-Jiménez"
    link: "https://researchr.org/alias/jes%C3%BAs-manuel-almendros-jim%C3%A9nez"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_15"
  researchr: "https://researchr.org/publication/Almendros-JimenezV06"
  cites: 0
  citedby: 0
  pages: "253-270"
  booktitle: "Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers"
  editor:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  volume: "4449"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74129-9"
  kind: "inproceedings"
  key: "Almendros-JimenezV06"
- title: "Static Slicing of Rewrite Systems"
  author:
  - name: "Diego Cheda"
    link: "https://researchr.org/alias/diego-cheda"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.01.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.01.010"
  tags:
  - "graph-rewriting"
  - "slicing"
  - "rewriting"
  researchr: "https://researchr.org/publication/ChedaSV07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "177"
  pages: "123-136"
  kind: "article"
  key: "ChedaSV07"
- title: "Compositional Analysis for Equational Horn Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1994"
  tags:
  - "program analysis"
  - "composition"
  - "analysis"
  researchr: "https://researchr.org/publication/AlpuenteFV94"
  cites: 0
  citedby: 0
  pages: "77-94"
  booktitle: "Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings"
  editor:
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "850"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58431-5"
  kind: "inproceedings"
  key: "AlpuenteFV94"
- title: "An offline partial evaluator for curry programs"
  author:
  - name: "J. Guadalupe Ramos"
    link: "https://researchr.org/alias/j.-guadalupe-ramos"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1085099.1085109"
  links:
    doi: "http://doi.acm.org/10.1145/1085099.1085109"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/RamosSV05%3A0"
  cites: 0
  citedby: 0
  pages: "49-53"
  booktitle: "Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005"
  editor:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  publisher: "ACM"
  isbn: "1-59593-069-8"
  kind: "inproceedings"
  key: "RamosSV05:0"
- title: "A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  tags:
  - "partial evaluation"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AlbertAV00%3A0"
  cites: 0
  citedby: 0
  pages: "120-127"
  booktitle: "9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  kind: "inproceedings"
  key: "AlbertAV00:0"
- title: "An Automatic Composition Algorithm for Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Ginés Moreno"
    link: "https://researchr.org/alias/gin%C3%A9s-moreno"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1963/19630289.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1963/19630289.htm"
  tags:
  - "composition"
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFMV00"
  cites: 0
  citedby: 0
  pages: "289-297"
  booktitle: "SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings"
  editor:
  - name: "Václav Hlavác"
    link: "https://researchr.org/alias/v%C3%A1clav-hlav%C3%A1c"
  - name: "Keith G. Jeffery"
    link: "https://researchr.org/alias/keith-g.-jeffery"
  - name: "Jirí Wiedermann"
    link: "https://researchr.org/alias/jir%C3%AD-wiedermann"
  volume: "1963"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41348-0"
  kind: "inproceedings"
  key: "AlpuenteFMV00"
- title: "Specialization of functional logic programs based on needed narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://dx.doi.org/10.1017/S1471068404002303"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068404002303"
  tags:
  - "rule-based"
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteLHV05"
  cites: 0
  citedby: 0
  journal: "TPLP"
  volume: "5"
  number: "3"
  pages: "273-303"
  kind: "article"
  key: "AlpuenteLHV05"
- title: "Measuring the Effectiveness of Partial Evaluation"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-albert.ps.Z"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertAV00"
  cites: 0
  citedby: 0
  booktitle: "Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers"
  editor:
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  volume: "2042"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42127-0"
  kind: "inproceedings"
  key: "AlbertAV00"
- title: "Lightweight program specialization via dynamic slicing"
  author:
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1085099.1085101"
  links:
    doi: "http://doi.acm.org/10.1145/1085099.1085101"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/OchoaSV05"
  cites: 0
  citedby: 0
  pages: "1-7"
  booktitle: "Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005"
  editor:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  publisher: "ACM"
  isbn: "1-59593-069-8"
  kind: "inproceedings"
  key: "OchoaSV05"
- title: "Termination of Narrowing in Left-Linear Constructor Systems"
  author:
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78969-7_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78969-7_10"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/Vidal08"
  cites: 0
  citedby: 0
  pages: "113-129"
  booktitle: "Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings"
  editor:
  - name: "Jacques Garrigue"
    link: "https://researchr.org/alias/jacques-garrigue"
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  volume: "4989"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78968-0"
  kind: "inproceedings"
  key: "Vidal08"
- title: "Time Equations for Lazy Functional (Logic) Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2003"
  tags:
  - "laziness"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertSV03"
  cites: 0
  citedby: 0
  pages: "13-24"
  booktitle: "2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003"
  editor:
  - name: "Francesco Buccafurri"
    link: "https://researchr.org/alias/francesco-buccafurri"
  kind: "inproceedings"
  key: "AlbertSV03"
- title: "Towards CNC Programming Using Haskell"
  author:
  - name: "Gustavo Arroyo"
    link: "https://researchr.org/alias/gustavo-arroyo"
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3315&spage=386"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3315&spage=386"
  tags:
  - "Haskell"
  - "programming"
  researchr: "https://researchr.org/publication/ArroyoOSV04"
  cites: 0
  citedby: 0
  pages: "386-396"
  booktitle: "Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings"
  editor:
  - name: "Christian Lemaître"
    link: "https://researchr.org/alias/christian-lema%C3%AEtre"
  - name: "Carlos A. Reyes"
    link: "https://researchr.org/alias/carlos-a.-reyes"
  - name: "Jesus A. González"
    link: "https://researchr.org/alias/jesus-a.-gonz%C3%A1lez"
  volume: "3315"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23806-9"
  kind: "inproceedings"
  key: "ArroyoOSV04"
- title: "A Slicing Tool for Lazy Functional Logic Programs"
  author:
  - name: "Claudio Ochoa"
    link: "https://researchr.org/alias/claudio-ochoa"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11853886_46"
  links:
    doi: "http://dx.doi.org/10.1007/11853886_46"
  tags:
  - "laziness"
  - "functional programming"
  - "slicing"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/OchoaSV06"
  cites: 0
  citedby: 0
  pages: "498-501"
  booktitle: "Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings"
  editor:
  - name: "Michael Fisher"
    link: "https://researchr.org/alias/michael-fisher"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "Boris Konev"
    link: "https://researchr.org/alias/boris-konev"
  - name: "Alexei Lisitsa"
    link: "https://researchr.org/alias/alexei-lisitsa"
  volume: "4160"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-39625-X"
  kind: "inproceedings"
  key: "OchoaSV06"
- title: "Partial Evaluation of Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/291891.291896"
  links:
    doi: "http://doi.acm.org/10.1145/291891.291896"
  tags:
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteFV98%3A0"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "20"
  number: "4"
  pages: "768-844"
  kind: "article"
  key: "AlpuenteFV98:0"
- title: "A residualizing semantics for the partial evaluation of functional logic programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0020-0190(02)00336-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(02)00336-8"
  tags:
  - "semantics"
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertHV03"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "85"
  number: "1"
  pages: "19-25"
  kind: "article"
  key: "AlbertHV03"
- title: "Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings"
  year: "2008"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/sas%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings"
  conference: "SAS"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  volume: "5079"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69163-1"
  kind: "proceedings"
  key: "sas:2008"
- title: "Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009"
  year: "2009"
  tags:
  - "semantics"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/pepm%3A2009"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009"
  conference: "PEPM"
  editor:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  publisher: "ACM"
  isbn: "978-1-60558-327-3"
  kind: "proceedings"
  key: "pepm:2009"