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 166
- Downloads 0
Mechanical Behavior of White Concrete
In this study, possibility of the use of WPC 42.5 containing pyrophyllite in the production of white concrete was investigated. Normal and light-weight concrete samples were produced with WPC. In normal-weight concrete m...
Discourse marker acquisition and out-of-school activities: evidence from EFL writing
The present paper attempts to investigate what out-of-school activities might positively affect the acquisition of discourse markers (DMs) which seems to be one of the most demanding areas for EFL learners. Two equ...
Usage of Virtual Communication Tools in Business Communication and Negotiation – A Factor of Increased Efficiency
The adaptation of new technologies and their proper usage in business negotiations is essential for further development of this field. With an analysis of face to face and e-negotiations and by utilizing a combinat...
Choosing Teaching as a Career: Importance of the Type of Motivation in Career Choices
This research looks into what are Extrinsic, Intrinsic and Altruistic motives and their importance when students are choosing their career. The study involved 324 teacher trainees in their first year of bachelor st...
About the Effectiveness of Several Dissimilarity Estimators used in Damage Assessment
This paper introduces a robust method for vibration-based damage assessment, which is based on a mathematical relation contrived by the authors that involves the frequency shifts, the damage size and position. Data...