Victoria University

Browsing School of Mathematics and Statistics · Te Kura Mātai Tatauranga by Author "Colman, Glenn"

ResearchArchive/Manakin Repository

Browsing School of Mathematics and Statistics · Te Kura Mātai Tatauranga by Author "Colman, Glenn"

Sort by: Order: Results:

  • Colman, Glenn (Victoria University of Wellington, 1989)
    This thesis describes a symbolic execution system, PAN, that is able to symbolically execute loops. PAN achieves this by generalizing the effect of a few loop iterations to predict the effect of an unknown number of ...

Search ResearchArchive


Advanced Search

Browse

My Account

Statistics