A relational model for the specification of data types

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

doi:10.1016/0096-0551(92)90002-5

A relational model for the specification of data types

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

Research output: Contribution to journal › Article › peer-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 language	English (US)
Pages (from-to)	101-131
Number of pages	31
Journal	Computer Languages
Volume	17
Issue number	2
DOIs	https://doi.org/10.1016/0096-0551(92)90002-5
State	Published - Apr 1992
Externally published	Yes

All Science Journal Classification (ASJC) codes

General Computer Science

Keywords

Data types
Deductive systems
Least fixpoint
Program correctness
Software specifications

Access to Document

10.1016/0096-0551(92)90002-5

Cite this

@article{9490424e18714dbab7d4ceac95045875,

title = "A relational model for the specification of data types",

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.",

keywords = "Data types, Deductive systems, Least fixpoint, Program correctness, Software specifications",

author = "N. Boudriga and A. Mili and R. Zalila and Fatma Mili",

year = "1992",

month = apr,

doi = "10.1016/0096-0551(92)90002-5",

language = "English (US)",

volume = "17",

pages = "101--131",

journal = "Computer Languages",

issn = "0096-0551",

publisher = "Elsevier Ltd",

number = "2",

}

TY - JOUR

T1 - A relational model for the specification of data types

AU - Boudriga, N.

AU - Mili, A.

AU - Zalila, R.

AU - Mili, Fatma

PY - 1992/4

Y1 - 1992/4

N2 - 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.

AB - 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.

KW - Data types

KW - Deductive systems

KW - Least fixpoint

KW - Program correctness

KW - Software specifications

UR - http://www.scopus.com/inward/record.url?scp=0026850143&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026850143&partnerID=8YFLogxK

U2 - 10.1016/0096-0551(92)90002-5

DO - 10.1016/0096-0551(92)90002-5

M3 - Article

AN - SCOPUS:0026850143

SN - 0096-0551

VL - 17

SP - 101

EP - 131

JO - Computer Languages

JF - Computer Languages

IS - 2

ER -

A relational model for the specification of data types

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this