The K Vision for the Future of Programming Language Design and Analysis

[1]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[2]  Yi Zhang,et al.  KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine , 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).

[3]  Grigore Rosu,et al.  K-Java , 2015, POPL.

[4]  Daejun Park,et al.  KJS: a complete formal semantics of JavaScript , 2015, PLDI.

[5]  Chucky Ellison,et al.  Defining the undefinedness of C , 2015, PLDI.

[6]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[7]  The Chemical Abstract Machine , 1992, Theor. Comput. Sci..

[8]  Grigore Rosu,et al.  A complete formal semantics of x86-64 user-level instruction set architecture , 2019, PLDI.

[9]  Peter D. Mosses,et al.  Modular structural operational semantics , 2004, J. Log. Algebraic Methods Program..

[10]  Robert W. Floyd,et al.  Assigning Meanings to Programs , 1993 .