Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 2 of 2.

Add to Quick Collection   All 2 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Add  Applying automatic program verification techniques to spreadsheets
Authors: Heimlich, Sarah
Date: 2019
Subject Keyword: Electronic spreadsheets -- Evaluation | Computer programs -- Verification | Error analysis (Mathematics) | program verification | spreadsheets | type theory
Language: eng
Resource Type: Thesis MRes
Identifier: http://hdl.handle.net/1959.14/1271094
Description: Empirical thesis.
Full Text: Full Text
Add  Towards a Formalisation of Relational Database Theory in Constructive Type Theory
Authors: Gonzalia, Carlos
Date: 2004
Subject Keyword: 080299 Computation Theory and Mathematics not elsewhere classified | 080604 Database Management | type theory | relational database model | computer formalization of proofs | logical frameworks
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1144371
Description: We offer here an overview of several initial attempts of formalisation of relational database theory in a constructive, type-theoretic, framework. Each successive formalisation is of more generality, ... More
Reviewed: Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last