Abstract Diagnosis of Functional Programs

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas. Abstract Diagnosis of Functional Programs. In Michael Leuschel, editor, Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Volume 2664 of Lecture Notes in Computer Science, pages 1-16, Springer, 2002. [doi]

@inproceedings{AlpuenteCEFL02,
  title = {Abstract Diagnosis of Functional Programs},
  author = {María Alpuente and Marco Comini and Santiago Escobar and Moreno Falaschi and Salvador Lucas},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2664/26640001.htm},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/AlpuenteCEFL02},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers},
  editor = {Michael Leuschel},
  volume = {2664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40438-4},
}