Busca

Remover filtros
Filtragem por: Committee Member Bose, Bella Remover Committee Member: Bose, Bella Contributor Erwig, Martin Remover Contributor: Erwig, Martin Degree Name Master of Science (M.S.) Remover Degree Name: Master of Science (M.S.)

Resultados da Busca

  • Customizable Visual Traces for Program Explanations

    O Criador:
    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