Pretty-Big-Step Semantics
暂无分享,去创建一个
[1] Nils Anders Danielsson. Operational semantics using the partiality monad , 2012, ICFP '12.
[2] Matthias Felleisen,et al. A Syntactic Approach to Type Soundness , 1994, Inf. Comput..
[3] Patrick Cousot,et al. Bi-inductive Structural Semantics: (Extended Abstract) , 2007, Electron. Notes Theor. Comput. Sci..
[4] Xavier Leroy,et al. Coinductive big-step operational semantics , 2006, Inf. Comput..
[5] Carl A. Gunter. A Proof-Theoretic Assessment of Runtime Type Errors , 1993 .
[6] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[7] Gordon D. Plotkin,et al. Call-by-Name, Call-by-Value and the lambda-Calculus , 1975, Theor. Comput. Sci..
[8] Patrick Cousot,et al. Bi-inductive structural semantics , 2009, Inf. Comput..
[9] Tarmo Uustalu,et al. Trace-Based Coinductive Operational Semantics for While , 2009, TPHOLs.
[10] David Aspinall,et al. Formalising Java's Data Race Free Guarantee , 2007, TPHOLs.
[11] Gilles Kahn,et al. Natural Semantics , 1987, STACS.
[12] Patrick Cousot,et al. Inductive definitions, semantics and abstract interpretations , 1992, POPL '92.
[13] Brian Campbell,et al. Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.