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: "JSC"
  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: "agp"
  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: "wflp"
  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: "LOPSTR"
  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: "PEPM"
  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: "ppdp"
  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: "jflp"
  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: "lisp"
  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 Comput. Surv."
  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: "iccl"
  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: "icalp"
  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: "agp"
  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: "agp"
  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: "LOPSTR"
  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: "LOPSTR"
  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: "ICFP"
  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: "ENTCS"
  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: "plilp"
  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: "LOPSTR"
  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: "agp"
  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: "LOPSTR"
  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: "ENTCS"
  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: "LOPSTR"
  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: "tcs"
  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: "asian"
  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: "ESOP"
  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: "wflp"
  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: "aepia"
  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: "ipl"
  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: "wflp"
  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: "FLOPS"
  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: "SAS"
  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: "SLP"
  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: "ENTCS"
  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"
  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: "logcom"
  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: "FLOPS"
  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: "lpar"
  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: "lpar"
  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: "agp"
  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: "ICFP"
  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: "ngc"
  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: "ESOP"
  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: "IFL"
  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: "ENTCS"
  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: "icalp"
  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: "wcflp"
  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: "wflp"
  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"
  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: "LOPSTR"
  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: "wcflp"
  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: "FLOPS"
  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: "agp"
  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: "sbia"
  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: "jelia"
  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: "TOPLAS"
  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: "ipl"
  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"