Fractional semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4019 LNCS, Issue , 2006, Pages 278-292

  Nestra, Härmel ^a  

^a UNIVERSITY OF TARTU   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; MATHEMATICAL TECHNIQUES; MATHEMATICAL TRANSFORMATIONS;

PROGRAM SLICING; PROGRAM TRANSFORMATION; RATIONAL NUMBERS;

SEMANTICS;

EID: 33746100316     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11784180_22     Document Type: Conference Paper

References (8)

1. Binkley, D. W., Gallagher, K. B.: Program Slicing. Advances in Computers 43 (1996) 1-50
2. Cousot, P.: Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Electronic Notes in Theoretical Computer Science, 6 (1997) 25 pp.
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. Available at http://profs.sci.univr.it/ ~mastroen/download/PLID/Proceedings/Proceedings.html (2004)
4. Giacobazzi, R., Mastroeni, I.: Non-Standard Semantics for Program Slicing. HigherOrder Symbolic Computation, 16 (2003) 297-339
5. Kennaway, R., Klop, J. W., Sleep, R., Vries, F.-J. de.: Transfinite Reductions in Orthogonal Term Rewriting Systems. Information and Computation, 110(1) (1995) 18-38
6. Nestra, H.: Transfinite Corecursion. Nordic Journal of Computing 12(2) (2005) 133-156
7. Nestra, H.: Transfinite Semantics in Program Slicing. Proceedings of the Estonian Academy of Sciences. Engineering 11(4) (2005) 313-328
8. Nielson, H. R., Nielson, F.: Semantics with Applications: A Formal Introduction. Wiley Professional Computing, Wiley (1992)