Search for dissertations about: "Nora Szasz"

Found 2 swedish dissertations containing the words Nora Szasz.

  2. 1. A machine checked proof that Ackermann's function is not primitive recursive

    Author : Nora Szasz; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE

  4. 2. A Theory of Specifications Programs and Proofs

    Author : Nora Szasz; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Using Martin-Löf's set theory as a programming logic one identifies specifications with sets and propositions and, correspondingly, programs with elements of sets and with proofs. Then, programs happen to contain something else than just what is needed to perform computations. READ MORE