Synthesis of Functions by Transformations and Constraints - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide. Synthesis of Functions by Transformations and Constraints. In ICFP. pages 317, 1997.

@inproceedings{Pareja-FloresV97,
  title = {Synthesis of Functions by Transformations and Constraints},
  author = {Cristóbal Pareja-Flores and J. Ángel Velázquez-Iturbide},
  year = {1997},
  tags = {constraints, transformation},
  researchr = {https://researchr.org/publication/Pareja-FloresV97},
  cites = {0},
  citedby = {0},
  pages = {317},
  booktitle = {ICFP},
}

runs on WebDSL