메뉴 건너뛰기




Volumn 207, Issue 2, 2009, Pages 258-283

Bi-inductive structural semantics

Author keywords

Bi inductive definition; Big step semantics; Co inductive definition; Divergence semantics; Fixpoint definition; Grammar; Inductive definition; Nonmonotone definition; Relational semantics; Small step semantics; SOS; Structural operational semantics; Trace semantics

Indexed keywords

CALCULATIONS; COMPUTER PROGRAMMING LANGUAGES; DIFFERENTIATION (CALCULUS);

EID: 70350273404     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2008.03.025     Document Type: Conference Paper
Times cited : (19)

References (35)
  • 1
    • 0001794268 scopus 로고    scopus 로고
    • Semantics of interaction: An introduction to game semantics
    • A.M. Pitts, P. Dybjer (Eds.), Cambridge University Press, Cambridge, UK
    • S. Abramsky, Semantics of interaction: an introduction to game semantics, in: A.M. Pitts, P. Dybjer (Eds.), Semantics and Logics of Computation, Cambridge University Press, Cambridge, UK, 1997, pp. 1-32.
    • (1997) Semantics and Logics of Computation , pp. 1-32
    • Abramsky, S.1
  • 2
    • 77956968984 scopus 로고
    • An introduction to inductive definitions
    • J. Barwise (Ed.), Elsevier Science Publishers BV, Amsterdam, The Netherlands
    • P. Aczel, An introduction to inductive definitions, in: J. Barwise (Ed.), Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, vol. 90, Elsevier Science Publishers BV, Amsterdam, The Netherlands, 1977, pp. 739-782.
    • (1977) Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics , vol.90 , pp. 739-782
    • Aczel, P.1
  • 3
    • 84969346412 scopus 로고
    • Incremental evaluation of natural semantics specifications
    • M. Bruynooghe, M. Wirsing, (Eds.), PLILP '92, Leuven, Belgium, 26-28 August 1992, Lecture Notes in Computer Science, Springer, Berlin, Germany
    • I. Attali, J. Chazarain, S. Gilette, Incremental evaluation of natural semantics specifications, in: M. Bruynooghe, M. Wirsing, (Eds.), Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming, PLILP '92, Leuven, Belgium, 26-28 August 1992, Lecture Notes in Computer Science, vol. 631, Springer, Berlin, Germany, 1992, pp. 87-99.
    • (1992) Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming , vol.631 , pp. 87-99
    • Attali, I.1    Chazarain, J.2    Gilette, S.3
  • 4
    • 77956972992 scopus 로고
    • The algebraic theory of context-free languages
    • P. Bradford, D. Hirschberg (Eds.), North Holland Pub. Co., Amsterdam, The Netherlands
    • N. Chomsky, M.P. Schützenberger, The algebraic theory of context-free languages, in: P. Bradford, D. Hirschberg (Eds.), Computer Programming and Formal Systems, North Holland Pub. Co., Amsterdam, The Netherlands, 1963, pp. 118-161.
    • (1963) Computer Programming and Formal Systems , pp. 118-161
    • Chomsky, N.1    Schützenberger, M.P.2
  • 6
    • 0037188218 scopus 로고    scopus 로고
    • Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
    • DOI 10.1016/S0304-3975(00)00313-3, PII S0304397500003133
    • P. Cousot, Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, Theoretical Computer Science 277 (1-2) (2002) 47-103. (Pubitemid 34435079)
    • (2002) Theoretical Computer Science , vol.277 , Issue.1-2 , pp. 47-103
    • Cousot, P.1
  • 7
    • 84972546036 scopus 로고
    • Constructive versions of Tarski's fixed point theorems
    • P. Cousot, R. Cousot, Constructive versions of Tarski's fixed point theorems, Pacific Journal of Mathematics 82 (1) (1979) 43-57.
    • (1979) Pacific Journal of Mathematics , vol.82 , Issue.1 , pp. 43-57
    • Cousot, P.1    Cousot, R.2
  • 11
    • 84947934484 scopus 로고
    • Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and gametheoretic form, invited paper
    • P.Wolper, (Ed.), Liège, Belgium, Lecture Notes in Computer Science, Springer, Berlin, Germany, 3-5 July
    • P. Cousot, R. Cousot, Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and gametheoretic form, invited paper, in: P.Wolper, (Ed.), Proceedings of the Seventh International Conference on Computer Aided Verification, CAV '95, Liège, Belgium, Lecture Notes in Computer Science, vol. 939, Springer, Berlin, Germany, 3-5 July 1995, pp. 293-308.
    • (1995) Proceedings of the Seventh International Conference on Computer Aided Verification, CAV '95 , vol.939 , pp. 293-308
    • Cousot, P.1    Cousot, R.2
  • 16
    • 0000892681 scopus 로고    scopus 로고
    • A tutorial on (co)algebras and (co)induction
    • B. Jacobs, J. Rutten, A tutorial on (co)algebras and (co)induction, EATCS Bulletin 62 (1997) 222-269.
    • (1997) EATCS Bulletin , vol.62 , pp. 222-269
    • Jacobs, B.1    Rutten, J.2
  • 17
    • 0002973657 scopus 로고
    • Natural semantics
    • K. Fuchi, M. Nivat (Eds.), Elsevier Science Publishers BV, Amsterdam, The Netherlands
    • G. Kahn, Natural semantics, in: K. Fuchi, M. Nivat (Eds.), Programming of Future Generation Computers, Elsevier Science Publishers BV, Amsterdam, The Netherlands, 1988, pp. 237-258.
    • (1988) Programming of Future Generation Computers , pp. 237-258
    • Kahn, G.1
  • 18
    • 0031232144 scopus 로고    scopus 로고
    • The mathematical import of Zermelo's well-ordering theorem
    • A. Kanamori, The mathematical import of Zermelo's well-ordering theorem, Bulletin of Symbolic Logic 3 (1997) 281-311. (Pubitemid 127176306)
    • (1997) Bulletin of Symbolic Logic , vol.3 , Issue.3 , pp. 281-311
    • Kanamori, A.1
  • 19
    • 2942580820 scopus 로고    scopus 로고
    • Adding recursive constructs to bialgebraic semantics
    • B. Klin, Adding recursive constructs to bialgebraic semantics, Journal of Logic and Algebraic Programming 60-61 (2004) 259-286.
    • (2004) Journal of Logic and Algebraic Programming , vol.60-61 , pp. 259-286
    • Klin, B.1
  • 20
    • 34247873045 scopus 로고    scopus 로고
    • Bialgebraic methods in structural operational semantics. invited talk
    • DOI 10.1016/j.entcs.2006.11.018, PII S1571066107001600, Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006)
    • B. Klin, Bialgebraic methods in structural operational semantics, Electronic Notes in Theoretical Computer Science 175 (1) (2007) 33-43. (Pubitemid 46694385)
    • (2007) Electronic Notes in Theoretical Computer Science , vol.175 , Issue.1 , pp. 33-43
    • Klin, B.1
  • 22
    • 33745799069 scopus 로고    scopus 로고
    • Coinductive big-step operational semantics
    • DOI 10.1007/11693024-5, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings
    • X. Leroy, Coinductive big-step operational semantics, in: P. Sestoft, (Ed.), Proceedings of the Fifteenth European Symposium on Programming Languages and Systems, ESOP '2006, Vienna, Austria, Lecture Notes in Computer Science, vol. 3924, Springer, Berlin, Germany, 27-28 March 2006, pp. 54-68. (Pubitemid 44019551)
    • (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol.3924 , pp. 54-68
    • Leroy, X.1
  • 23
    • 0003037229 scopus 로고
    • Operational and algebraic semantics of concurrent processes
    • J. van Leeuwen (Ed.), Elsevier Science Publishers BV, Amsterdam, The Netherlands
    • R. Milner, Operational and algebraic semantics of concurrent processes, in: J. van Leeuwen (Ed.), Formal Models and Semantics, Handbook of Theoretical Computer Science, vol. B, Elsevier Science Publishers BV, Amsterdam, The Netherlands, 1990, pp. 1201-1242.
    • (1990) Formal Models and Semantics, Handbook of Theoretical Computer Science , vol.B , pp. 1201-1242
    • Milner, R.1
  • 24
    • 0002267624 scopus 로고
    • Denotational semantics
    • J. van Leeuwen (Ed.), Elsevier Science Publishers BV, Amsterdam, The Netherlands
    • P.D. Mosses, Denotational semantics, in: J. van Leeuwen (Ed.), Formal Models and Semantics, Handbook of Theoretical Computer Science, vol. B, Elsevier Science Publishers BV, Amsterdam, The Netherlands, 1990, pp. 575-631.
    • (1990) Formal Models and Semantics, Handbook of Theoretical Computer Science , vol.B , pp. 575-631
    • Mosses, P.D.1
  • 25
    • 84909748757 scopus 로고
    • The theory and practice of transforming call-by-need into call-by-value
    • B. Robinet, (Ed.), Paris, France, 22-24 April 1980, LectureNotes in Computer Science, Springer, Berlin, Germany
    • A. Mycroft, The theory and practice of transforming call-by-need into call-by-value, in: B. Robinet, (Ed.), Proceedings of the Fourth International Symposium on Programming, Paris, France, 22-24 April 1980, LectureNotes in Computer Science, vol. 83, Springer, Berlin, Germany, 1980, pp. 270-281.
    • (1980) Proceedings of the Fourth International Symposium on Programming , vol.83 , pp. 270-281
    • Mycroft, A.1
  • 26
    • 0018053508 scopus 로고
    • Sur les ensembles de mots infinis engendres par une grammaire algebrique
    • M. Nivat, Sur les ensembles de mots infinis engendrés par une grammaire algébrique, Informatique Théorique et Applications 12 (3) (1978) 259-278. (Pubitemid 9411050)
    • (1978) RAIRO Inf Theor Theor Comput Sci , vol.12 , Issue.3 , pp. 259-278
    • Nivat Maurice1
  • 27
    • 84857153796 scopus 로고    scopus 로고
    • A constructive proof of Tarski's fixed-point theorem for dcpo's 65th Peripatetic Seminar on Sheaves and Logic Århus Denmark November 1997
    • April
    • D. Pataria, A constructive proof of Tarski's fixed-point theorem for dcpo's, 65th Peripatetic Seminar on Sheaves and Logic, Århus, Denmark, November 1997. Reported by M.H. Escardó in Joins in the frame of nuclei, Applied Categorical Structures, Vol. 11, Issue 2, April 2003, pp. 117-124.
    • (2003) Reported by M.H. Escardó in Joins in the Frame of Nuclei, Applied Categorical Structures , vol.11 , Issue.2 , pp. 117-124
    • Pataria, D.1
  • 28
    • 0003931061 scopus 로고
    • Technical Report DAIMI FN-19, Aarhus University, Denmark, September, Reprinted in
    • G.D. Plotkin, A Structural Approach to Operational Semantics, Technical Report DAIMI FN-19, Aarhus University, Denmark, September 1981. Reprinted in [30].
    • (1981) A Structural Approach to Operational Semantics , vol.30
    • Plotkin, G.D.1
  • 32
    • 0005336505 scopus 로고
    • Selective thunkification
    • B. Le Charlier, (Ed.), Namur, Belgium, 20-22 September 1994, Lecture Notes in Computer Science, Springer, Berlin, Germany
    • P. Steckler, M. Wand. Selective thunkification, in: B. Le Charlier, (Ed.), Proceedings of the First International Symposium on Static Analysis, SAS '94, Namur, Belgium, 20-22 September 1994, Lecture Notes in Computer Science, vol. 864, Springer, Berlin, Germany, 1994, pp. 162-178.
    • (1994) Proceedings of the First International Symposium on Static Analysis, SAS '94 , vol.864 , pp. 162-178
    • Steckler, P.1    Wand, M.2
  • 33
    • 84972541021 scopus 로고
    • A lattice theoretical fixpoint theorem and its applications
    • A. Tarski, A lattice theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955) 285-310.
    • (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-310
    • Tarski, A.1
  • 34
    • 0030684322 scopus 로고    scopus 로고
    • Towards a mathematical operational semantic
    • G. Winskel, (Ed.), LICS '1997,Warsaw, Poland, 29 June-2 July 1997, IEEE Computer Society Press, Los Alamitos, California, USA
    • D. Turi, G.D. Plotkin, Towards a mathematical operational semantic, in: G. Winskel, (Ed.), Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science, LICS '1997,Warsaw, Poland, 29 June-2 July 1997, IEEE Computer Society Press, Los Alamitos, California, USA, pp. 280-291.
    • Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science , pp. 280-291
    • Turi, D.1    Plotkin, G.D.2
  • 35
    • 0034911390 scopus 로고    scopus 로고
    • An introduction to metric semantics: Operational and denotational models for programming and specification languages
    • DOI 10.1016/S0304-3975(00)00403-5, PII S0304397500004035
    • F. van Breugel, An introduction to metric semantics: operational and denotational models for programming and specification languages, Theoretical Computer Science 258 (2001) 1-98. (Pubitemid 32676675)
    • (2001) Theoretical Computer Science , vol.258 , Issue.1-2 , pp. 1-98
    • Van Breugel, F.1


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