SCOPUS 정보 검색 플랫폼

Journal of Logic and Algebraic Programming

Volumn 78, Issue 7, 2009, Pages 573-592

Transfinite Semantics in the Form of Greatest Fixpoint

(1) Nestra, Härmel a

a UNIVERSITY OF TARTU (Estonia)

Author keywords

Fractional semantics; Greatest fixpoint; Transfinite semantics; Tree semantics

Indexed keywords

COMPLETE LATTICES; FIXPOINTS; FRACTIONAL SEMANTICS; GREATEST FIXPOINT; INFINITE NUMBERS; KLEENE'S THEOREM; LATTICE OPERATORS; MONOTONE OPERATORS; PROGRAM EXECUTION; PROGRAM TRANSFORMATIONS; RECURSIONS; TRANSFINITE SEMANTICS; TREE SEMANTICS;

SEMANTICS;

EID: 69349090631 PISSN: 15678326 EISSN: None Source Type: Journal
DOI: 10.1016/j.jlap.2009.03.001 Document Type: Article

Times cited : (5)

References (15)

1
- 33644561313
- Program Slicing
- Binkley D.W., and Gallagher K.B. Program Slicing. Advances in Computers series 43 (1996) 1-50
- (1996) Advances in Computers , vol.series 43 , pp. 1-50
- Binkley, D.W.¹ Gallagher, K.B.²

2
- 18944390494
- Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
- Cousot P. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Electronic Notes in Theoretical Computer Science series 6 (1997) 25
- (1997) Electronic Notes in Theoretical Computer Science , vol.series 6 , pp. 25
- Cousot, P.¹

3
- 0037188218
- Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
- Cousot P. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Theoretical Computer Science series 277 (2002) 47-103
- (2002) Theoretical Computer Science , vol.series 277 , pp. 47-103
- Cousot, P.¹

4
- 0242485166
- Non-Standard Semantics for Program Slicing
- Giacobazzi R., and Mastroeni I. Non-Standard Semantics for Program Slicing. Higher-Order Symbolic Computation series 16 (2003) 297-339
- (2003) Higher-Order Symbolic Computation , vol.series 16 , pp. 297-339
- Giacobazzi, R.¹ Mastroeni, I.²

5
- 18544376519
- A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
- Glesner S. A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. Electronic Notes in Theoretical Computer Science series 132 (2005) 75-93
- (2005) Electronic Notes in Theoretical Computer Science , vol.series 132 , pp. 75-93
- Glesner, S.¹

6
- 0002464995
- Transfinite Reductions in Orthogonal Term Rewriting Systems
- Kennaway R., Klop J.W., Sleep R., and Vries F.-J.de. Transfinite Reductions in Orthogonal Term Rewriting Systems. Information and Computation series 119 1 (1995) 18-38
- (1995) Information and Computation , vol.series 119 , Issue.1 , pp. 18-38
- Kennaway, R.¹ Klop, J.W.² Sleep, R.³ Vries, F.-J.de.⁴

7
- 33745799069
- Coinductive big-step operational semantics
- P. Sestoft, Ed, Proceedings of ESOP
- X. Leroy, Coinductive big-step operational semantics. In: P. Sestoft, (Ed.), Proceedings of ESOP 2006, Lecture Notes in Computer Science series 3924 (2006) 54-68.
- (2006) Lecture Notes in Computer Science series , vol.3924 , pp. 54-68
- Leroy, X.¹

8
- 69349094352
- Coinductive big-step operational semantics
- Leroy X., and Grall H. Coinductive big-step operational semantics. Information and Computation series 207 2 (2009) 284-304
- (2009) Information and Computation , vol.series 207 , Issue.2 , pp. 284-304
- Leroy, X.¹ Grall, H.²

9
- 33746055625
- Transfinite Semantics in Program Slicing
- Nestra H. Transfinite Semantics in Program Slicing. Proceedings of the Estonian Academy of Sciences: Engineering series 11 4 (2005) 313-328
- (2005) Proceedings of the Estonian Academy of Sciences: Engineering , vol.series 11 , Issue.4 , pp. 313-328
- Nestra, H.¹

10
- 33746100316
- Fractional Semantics
- M. Johnson, V. Vene, Eds, Proceedings of AMAST
- H. Nestra, Fractional Semantics, in: M. Johnson, V. Vene, (Eds.), Proceedings of AMAST 2006, Lecture Notes in Computer Science series 4019 (2006) 278-292.
- (2006) Lecture Notes in Computer Science series , vol.4019 , pp. 278-292
- Nestra, H.¹

11
- 69349098461
- Defined Transfinite Trace Semantics and Program Slicing with respect to Them. PhD thesis, University of Tartu () 119 pp
- H. Nestra, Iteratively Defined Transfinite Trace Semantics and Program Slicing with respect to Them. PhD thesis, University of Tartu (2006) 119 pp.
- (2006) Iteratively
- Nestra, H.¹

12
- 69349098118
- Springer
- Nielson F., and Nielson H.R. Semantics with Applications: An Appetizer (2007), Springer
- (2007) Semantics with Applications: An Appetizer
- Nielson, F.¹ Nielson, H.R.²

13
- 0000990322
- A Survey of Program Slicing Techniques
- Tip F. A Survey of Program Slicing Techniques. Journal of Programming Languages series 3 3 (1995) 121-181
- (1995) Journal of Programming Languages , vol.series 3 , Issue.3 , pp. 121-181
- Tip, F.¹

14
- 0020157396
- Programmers Use Slices When Debugging
- Weiser M. Programmers Use Slices When Debugging. Communications of the ACM series 25 7 (1982) 446-452
- (1982) Communications of the ACM , vol.series 25 , Issue.7 , pp. 446-452
- Weiser, M.¹

15
- 0004273499
- The MIT Press
- Winskel G. The Formal Semantics of Programming Languages (1993), The MIT Press
- (1993) The Formal Semantics of Programming Languages
- Winskel, G.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.