Correct and Complete (Positive) Strategy Annotations for OBJ

  title={Correct and Complete (Positive) Strategy Annotations for OBJ},
  author={Mar{\'i}a Alpuente and Santiago Escobar and Salvador Lucas},
  journal={Electr. Notes Theor. Comput. Sci.},
Strategy annotations are used in several programming languages as replacement restrictions aimed at improving eeciency and/or reducing the risk of nontermina-tion. Unfortunately, restrictions of rewriting can have a negative impact in the ability to compute normal forms. In this paper, we rst ascertain/clarify the conditions ensuring correctness and completeness (regarding normalization) of computing with strategy annotations. Then, we deene a program transformation methodology for (correct and… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…