Bi-inductive Structural Semantics. (Extended Abstract)

Electronic Notes in Theoretical Computer Science

Volumn 192, Issue 1 SPEC. ISS., 2007, Pages 29-44

  Cousot, Patrick ^a   Cousot, Radhia ^b  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b ECOLE POLYTECHNIQUE   (France)

Author keywords

abstraction; bi inductive definition; big step semantics; co inductive definition; divergence semantics; fixpoint definition; inductive definition; relational semantics; small step semantics; SOS; structural operational semantics; trace semantics

Indexed keywords

ABSTRACTING; COMPUTATION THEORY; COMPUTER PROGRAMMING; SET THEORY;

BI-INDUCTIVE DEFINITION; BIG-STEP SEMANTICS; CO-INDUCTIVE DEFINITION; DIVERGENCE SEMANTICS; FIXPOINT DEFINITION; INDUCTIVE DEFINITION; RELATIONAL SEMANTICS; SMALL-STEP SEMANTICS; STRUCTURAL OPERATIONAL SEMANTICS; TRACE SEMANTICS;

SEMANTICS;

EID: 35349005107     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.08.015     Document Type: Article

References (23)

1. Aczel P. An introduction to inductive definitions. In: Barwise J. (Ed). Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics volume 90 (1977), Elsevier 739-782
2. th Int. Symp. PLILP'92. Leuven, BE, 26-28 Aug. 1992. LNCS 631 (1992), Springer 87-99
3. th POPL. Paris, FR (Jan. 1997), ACM Press 316-331
4. Cousot P. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoret. Comput. Sci. 277 1-2 (2002) 47-103
5. th POPL. San Antonio, TX (1979), ACM Press 269-282
6. Cousot P., and Cousot R. Abstract interpretation frameworks. J. Logic and Comp. 2 4 (Aug. 1992) 511-547
7. th POPL. Albuquerque, NM, US (1992), ACM Press 83-94
8. th Int. Conf. CAV'95. Liège, BE. LNCS 939 (3-5 Jul. 1995), Springer 293-308
9. Th. Despeyroux. TYPOL: a formalism to implement natural semantics. Tech. rep. RT-0094, INRIA Sophia Antipolis, Mar. 1988
10. Hoare C.A.R. An axiomatic basis for computer programming. Comm. ACM 12 10 (Oct. 1969) 576-580
11. Jacobs B., and Rutten J. A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62 (1997) 222-269
12. Kahn G. Natural semantics. In: Fuchi K., and Nivat M. (Eds). Programming of Future Generation Computers (1988), Elsevier 237-258
13. Klin B. Adding recursive constructs to bialgebraic semantics. J. Logic and Alg. Prog. 60-61 (Jul.-Dec. 2004) 259-286
14. Klin B. Bialgebraic methods in structural operational semantics. ENTCS 175 1 (May 2007) 33-43
15. th ESOP'2006. Vienna, AT. LNCS 3924 (27-28 Mar. 2006), Springer 54-68
16. Milner R. Operational and algebraic semantics of concurrent processes. In: van Leeuwen J. (Ed). Formal Models and Semantics. Handbook of Theoretical Computer Science volume B (1990), Elsevier 1201-1242 chapter 19
17. Mosses P.D. Denotational semantics. In: van Leeuwen J. (Ed). Formal Models and Semantics. Handbook of Theoretical Computer Science volume B (1990), Elsevier 575-631 chapter 11
18. th Int. Symp. on Programming. Paris, FR, 22-24 Apr. 1980. LNCS 83 (1980), Springer 270-281
19. G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, DK, Sep. 1981
20. Plotkin G.D. The origins of structural operational semantics. J. Logic and Alg. Prog. 60-61 (Jul.-Dec. 2004) 3-15
21. Plotkin G.D. A structural approach to operational semantics. J. Logic and Alg. Prog. 60-61 (Jul.-Dec. 2004) 17-139
22. th LICS'1997. Warsaw, PL, 29 June - 2 Jul. (1997), IEEE Comp. Soc. Press 280-291
23. van Breugel F. An introduction to metric semantics: operational and denotational models for programming and specification languages. Theoret. Comput. Sci. 258 (2001) 1-98