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 165
- Downloads 0
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...
Specific Pressure and Mechanical Properties of the Alternator Flange from EN AC 47100 Alloy in HPDC Technology
The technology HPDC (High Pressure Die Casting) of metals represents accurate casting which approximates the most ideal effort of direct change of basic material to finished product. The die casting itself is chara...
Database Design for the Web Based University Project Management Information System
Web applications and particularly Web based Information Systems are very popular due to several reasons. The main reason is the ability to update and maintain them without distributing and installing software o...
Devising new Software Project Risk Management Model: MARUNA
The focus of this research is the development of a practical risk management techniqueand its assessment. This study systematically tested the correlation between critical activities and critical paths an...
Some Typical Examples of the Application of Didactic Principle of Polyformism in the Teaching of Mathematics
Teaching principles are the subject of research in light of didactic polyform principle and their positive correlative links, which they contribute to breaking of formalism in Mathematics Teaching for realizati...