메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 7792 LNCS, Issue , 2013, Pages 41-60
Pretty-big-step semantics
Author keywords

[No Author keywords available]
Indexed keywords

BIG-STEP SEMANTICS; EVALUATION RULES; FORMAL DEFINITION; SCALING-UP; SMALL-STEP SEMANTICS;
EID: 84874400102     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-37036-6_3     Document Type: Conference Paper
Times cited : (52)
References (12)
  • 2
    • 0026992713 scopus 로고
    • Inductive definitions, semantics and abstract interpretation
    • Cousot, P., Cousot, R.: Inductive definitions, semantics and abstract interpretation. In: POPL, pp. 83-94 (1992)
    • (1992) POPL , pp. 83-94
    • Cousot, P.1    Cousot, R.2
  • 4
    • 70350273404 scopus 로고    scopus 로고
    • Bi-inductive structural semantics
    • Cousot, P., Cousot, R.: Bi-inductive structural semantics. Information and Computation 207(2), 258-283 (2009)
    • (2009) Information and Computation , vol.207 , Issue.2 , pp. 258-283
    • Cousot, P.1    Cousot, R.2
  • 5
    • 84867499838 scopus 로고    scopus 로고
    • Operational semantics using the partiality monad
    • ACM
    • Danielsson, N.A.: Operational semantics using the partiality monad. In: ICFP, pp. 127-138. ACM (2012)
    • (2012) ICFP , pp. 127-138
    • Danielsson, N.A.1
  • 7
    • 84958790465 scopus 로고
    • Natural Semantics
    • Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. Springer, Heidelberg
    • Kahn, G.: Natural Semantics. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol. 247, pp. 22-39. Springer, Heidelberg (1987)
    • (1987) LNCS , vol.247 , pp. 22-39
    • Kahn, G.1
  • 8
    • 33745799069 scopus 로고    scopus 로고
    • Coinductive Big-Step Operational Semantics
    • Sestoft, P. (ed.) ESOP 2006. Springer, Heidelberg
    • Leroy, X.: Coinductive Big-Step Operational Semantics. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 54-68. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.3924 , pp. 54-68
    • Leroy, X.1
  • 9
    • 78650738149 scopus 로고    scopus 로고
    • Coinductive big-step operational semantics
    • abs/0808.0586
    • Leroy, X., Grall, H.: Coinductive big-step operational semantics. CoRR, abs/0808.0586 (2008)
    • (2008) CoRR
    • Leroy, X.1    Grall, H.2
  • 10
    • 70350325123 scopus 로고    scopus 로고
    • Trace-Based Coinductive Operational Semantics for while
    • Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. Springer, Heidelberg
    • Nakata, K., Uustalu, T.: Trace-Based Coinductive Operational Semantics for While. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 375-390. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5674 , pp. 375-390
    • Nakata, K.1    Uustalu, T.2
  • 11
    • 0003931061 scopus 로고
    • Internal Report DAIMI FN-19, Department of Computer Science, Aarhus University
    • Plotkin, G.D.: A structural approach to operational semantics. Internal Report DAIMI FN-19, Department of Computer Science, Aarhus University (1981)
    • (1981) A Structural Approach to Operational Semantics
    • Plotkin, G.D.1

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