Fairouz Tchier

Learn More
In relational semantics, the input-output semantics of a program is a relation on its set of states. We generalise this in considering elements of Kleene algebras as se-mantical values. In a nondeterministic context, the demonic semantics is calculated by considering the worst behaviour of the program. In this paper, we concentrate on while loops.(More)
Relations and relational operators can be used to define the semantics of programming languages. The operations ∨ and • serve to give angelic semantics by defining a program to go right when there is a possibility to go right. On the other hand, the demonic operations and do the opposite: if there is a possibility to go wrong, a program whose semantics is(More)
In this paper, we consider the local fractional decomposition method, variational iteration method, and differential transform method for analytic treatment of linear and nonlinear local fractional differential equations, homogeneous or nonhomogeneous. The operators are taken in the local fractional sense. Some examples are given to demonstrate the(More)
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 ({\it demonic(More)