Transfinite semantics have been argued to be a proper framework for reasoning about correctness of certain program transformation techniques, e.g. program slicing. But transfinite semantics work fine only for non-recursive programs because of infinity being “one-way”.

This paper presents transfinite trace semantics in a different form which we call fractional semantics. The components of traces are indexed with rational numbers rather than ordinals. Rational numbers form both infinite ascending and infinite descending chains, so the principal obstacle of handling recursion disappears.

Although we have not yet found a fractional semantics appropriate for all cases of recursion, the approach seems to be promising. Another contribution achieved with help of fractional semantics is presenting both standard and transfinite trace semantics uniformly using fixpoints.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Binkley, D.W., Gallagher, K.B.: Program Slicing. Advances in Computers 43, 1–50 (1996)CrossRefGoogle Scholar
  2. 2.
    Cousot, P.: Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Electronic Notes in Theoretical Computer Science 6, 25 (1997)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Danicic, S., Harman, M., Howroyd, J., Ouarbya, L.: A Lazy Semantics for Program Slicing. In: Proceedings of the 1st International Workshop on Programming Language Interference and Dependence (2004), available at
  4. 4.
    Giacobazzi, R., Mastroeni, I.: Non-Standard Semantics for Program Slicing. Higher-Order Symbolic Computation 16, 297–339 (2003)zbMATHCrossRefGoogle Scholar
  5. 5.
    Kennaway, R., Klop, J.W., Sleep, R., de Vries, F.-J.: Transfinite Reductions in Orthogonal Term Rewriting Systems. Information and Computation 119(1), 18–38 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Nestra, H.: Transfinite Corecursion. Nordic Journal of Computing 12(2), 133–156 (2005)zbMATHMathSciNetGoogle Scholar
  7. 7.
    Nestra, H.: Transfinite Semantics in Program Slicing. Proceedings of the Estonian Academy of Sciences. Engineering 11(4), 313–328 (2005)Google Scholar
  8. 8.
    Nielson, H.R., Nielson, F.: Semantics with Applications: A Formal Introduction, Wiley Professional Computing. Wiley, Chichester (1992)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Härmel Nestra
    • 1
  1. 1.Institute of Computer ScienceUniversity of TartuTartuEstonia

Personalised recommendations