© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Inverting the flow of computation in tree-like recursive functions
E.A. Boiten
In P.M.G. Apers, D. Bosman, and J. van Leeuwen, editors, Computing Science in the Netherlands 1989, pages 182-196, Amsterdam, November 1989. Stichting Mathematisch Centrum Superseded by cite159.Abstract
This is an earlier presentation of part of Improving recursive functions by inverting the order of evaluation. The latter paper is also part of my PhD thesis.
Bibtex Record
@conference{160, author = {E.A. Boiten}, title = {Inverting the Flow of Computation in Tree-like Recursive Functions}, month = {November}, year = {1989}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {Superseded by cite{159}}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1989/160}, ISBN = {90-6196-382-6}, address = {Amsterdam}, booktitle = {Computing Science in the Netherlands 1989}, editor = {P.M.G. Apers and D. Bosman and J. van Leeuwen}, publisher = {Stichting Mathematisch Centrum}, refereed = {yes}, }