Constraint handling rules. Compositional semantics and program transformation

Paolo Tacchella. Constraint handling rules. Compositional semantics and program transformation. PhD thesis, University of Bologna, Italy, 2008. [doi]

@phdthesis{basesearch-6269,
  title = {Constraint handling rules. Compositional semantics and program transformation},
  author = {Paolo Tacchella},
  year = {2008},
  url = {https://www.base-search.net/Record/80225e97a8fb645581c273cbcfa792f55f00415a88b1fcbb4a63574c0ebccfb3},
  note = {base-search.net (ftunivbologntesi:oai:amsdottorato.cib.unibo.it:912)},
  researchr = {https://researchr.org/publication/basesearch-6269},
  cites = {0},
  citedby = {0},
  school = {University of Bologna, Italy},
}