@inproceedings{207,
  author = {Bernd Braßel and Jan Christiansen},
  editor = {Andy King},
  title = {Denotation by Transformation},
  abstract = {It has often been observed that a point-free style of programming provides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semantics for functional logic languages in a straightforward way. Here we propose a set of basic operations based on which arbitrary functional logic programs can be transformed to point-free programs. The semantics of the resulting programs are strict but, nevertheless, the semantics of the original program is preserved.},
  year = {2008},
  booktitle = {Logic-Based Program Synthesis and Transformation},
  journal = {Logic-Based Program Synthesis and Transformation},
  pages = {90-105},
  publisher = {Springer Berlin Heidelberg},
  isbn = {978-3-540-78769-3},
}