A relational model for the specification of data types

N. Boudriga, A. Mili, R. Zalila, Fatma Mili

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Abstract

In this paper, we present an original specification model for data types. We discuss in turn its general form its axiomatic representation, its fixpoint semantic definition, an associated proof method, and a specification generation method. We illustrate our study with a relatively advanced example.

Original languageEnglish (US)
Pages (from-to)101-131
Number of pages31
JournalComputer Languages
Volume17
Issue number2
DOIs
StatePublished - Apr 1992
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Keywords

  • Data types
  • Deductive systems
  • Least fixpoint
  • Program correctness
  • Software specifications

Fingerprint Dive into the research topics of 'A relational model for the specification of data types'. Together they form a unique fingerprint.

Cite this