Analysis of Loop Semantics using S-Formulas
Journal Title: TEM JOURNAL - Year 2012, Vol 1, Issue 2
Abstract
There are three possible behavioral patterns for the WHILE loop: it does not terminate, it potentially terminates and its termination is guaranteed. Based on that, to describe the behavior of the WHILE loop we introduce appropriate formulas of the first-order predicate logic defined on the abstract state space (briefly S-formulas). This paper presents our approach to analyzing the WHILE loop semantics that is solely based on the first order predicate logic.
Authors and Affiliations
Aleksandar Kupusinac, Dusan Malbaski
Keywords
Related Articles
- EP ID EP135181
- DOI -
- Views 164
- Downloads 0
Model Based Design and Hardware in the Loop Testing in Power Electronics Courses
In this paper a low cost virtual test bed for educational purposes is developed and tested.Hardware-In-the-Loop (HIL) design concept as an experimental part of power electronics is considered. Software si...
Fuzzy Clustering Using C-Means Method
The cluster analysis of fuzzy clustering according to the fuzzy c-means algorithm has been described in this paper: the problem about the fuzzy clustering has been discussed and the general formal concept of the pr...
A New Perspective: Organizational Citizenship Behaviour and its Reflections
Organizational citizenship behaviour is not only confined to the behaviours of the organizational workers in accordance with the definitions of their roles, but it also includes all the other behaviours they di...
Passive Collecting of Solar Radiation Energy using Transparent Thermal Insulators, Energetic Efficiency of Transparent Thermal Insulators
Abstract: This paper explains passive collection of solar radiation energy using transparent thermal insulators. Transparent thermal insulators are transparent for sunlight, at the same time those are very good the...
Computational Approach to large Scale Process Optimization through Pinch Analysis
Since its debut in the last quarter of the twentieth century, pinch technology has become an efficient tool for efficient and cost-effective engineering process design. This method allows the integration of mass an...