Loading...

An approach to nondeterminism in translation of CZ set theory into martin-Löf 's theory of types

Haghighi, H ; Sharif University of Technology | 2006

200 Viewed
  1. Type of Document: Article
  2. DOI: 10.1016/j.entcs.2005.12.065
  3. Publisher: 2006
  4. Abstract:
  5. Due to the high level of abstraction involved in formal specification of software systems, nondeterminism comes as an inevitable part of formal specifications. Therefore, support for nondeterminism should be provisioned in developing programs from their formal specifications. In this paper, an existing translation of CZ set theory into Martin-Löf's theory of types is extended to consider nondeterministic specifications in CZ language. © 2006 Elsevier B.V. All rights reserved
  6. Keywords:
  7. Computer programming languages ; Computer software ; Formal logic ; Product development ; Set theory ; Formal program development ; Nondeterminism in CZ language ; Nondeterminism in Martin-Lof's theory of types ; Translation of CZ set theory into Martin-Lof's theory of types ; Software engineering
  8. Source: Electronic Notes in Theoretical Computer Science ; Volume 159, Issue 1 , 2006 , Pages 117-137 ; 15710661 (ISSN)
  9. URL: https://www.sciencedirect.com/science/article/pii/S1571066106002775