Analysis of Loop Semantics using S-Formulas
Analysis of Loop Semantics using S-Formulas
Author(s): Aleksandar Kupusinac, Dusan MalbaskiSubject(s): Information Architecture, Electronic information storage and retrieval
Published by: UIKTEN - Association for Information Communication Technology Education and Science
Keywords: Theory of programming; loop semantics
Summary/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.
Journal: TEM Journal
- Issue Year: 1/2012
- Issue No: 2
- Page Range: 72-76
- Page Count: 5
- Language: English