Search Constraints

Start Over
Filtering by: Creator Paulson, C. A. Remove constraint Creator: Paulson, C. A. Committee Member Bose, Bella Remove constraint Committee Member: Bose, Bella Contributor Erwig, Martin Remove constraint Contributor: Erwig, Martin

Search Results

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    ). let sqr=\x->x*x in sqr 5⇓ 25 a \x->x*x⇓ \x->x*x b sqr=\x->x*x : sqr 5⇓ 25 c sqr=\x->x*x : sqr⇓ \x->x