Demonic semantics and fixed points

Fairouz Tchier; IEEE

doi:10.1109/ICC.2009.15

Back

Conference proceeding

Demonic semantics and fixed points

Fairouz Tchier and IEEE

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTING, ENGINEERING AND INFORMATION, pp.27-30

01/01/2009

DOI: https://doi.org/10.1109/ICC.2009.15

Abstract

Computer Science

Computer Science, Theory & Methods

Engineering

Engineering, Electrical & Electronic

Science & Technology

Technology

We deal with a relational model for the demonic semantics of programs. The demonic semantics of a while :loop is given as a fixed point of a function involving the demonic operators. This motivates us to investigate the fixed points of these functions. We give the expression of the greatest fixed point with respect to the demonic ordering (demonic inclusion) of the semantic function. We prove that this greatest fixed coincides with the least fixed point with respect to the usual ordering (angelic inclusion) of the same function. This is followed by an example of application.

Metrics

1 Record Views

Details

Title: Demonic semantics and fixed points
Creators - without role: Fairouz Tchier - King Saud University
IEEE
Publication Details: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTING, ENGINEERING AND INFORMATION, pp.27-30
Publisher: IEEE
Number of pages: 4
Identifiers: 9948245308331
Academic Unit: King Saud University
Language: English
Resource Type: Conference proceeding