Login | Register

A program verifier for total correctness based on intuitionistic type theory

Title:

A program verifier for total correctness based on intuitionistic type theory

Devine, Michel Patrick (1984) A program verifier for total correctness based on intuitionistic type theory. Masters thesis, Concordia University.

[thumbnail of ML24575.pdf]
Preview
Text (application/pdf)
ML24575.pdf
5MB

Divisions:Concordia University
Item Type:Thesis (Masters)
Authors:Devine, Michel Patrick
Pagination:iv, 125 leaves ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Date:1984
Identification Number:QA 76.6 D475X 1984
ID Code:4622
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 19:43
Last Modified:13 Jul 2020 19:57
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top