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


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
Issue number2
StatePublished - Apr 1992
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • General Computer Science


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


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

Cite this