A semantics for tracing declarative multi-paradigm programs

@inproceedings{Brassel2004ASF,
  title={A semantics for tracing declarative multi-paradigm programs},
  author={Bernd Brassel and Michael Hanus and Frank Huch and Germ{\'a}n Vidal},
  booktitle={PPDP},
  year={2004}
}
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due to the subtleties of the underlying operational semantics which combines laziness and non-determinism. In this work, we define an instrumented operational semantics that generates… CONTINUE READING