Keyword:formal semantics

Papers
K-Smali: an Executable Semantics for Program Verification of Reversed Android Applications Marwa Ziadia, Mohamed Mejri and Jaouhar Fattahi EasyChair Preprint no. 10387
Propositional Forms of Judgemental Interpretations Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis EasyChair Preprint no. 221
Expression Compatibility Problem Seyed Hossein Haeri and Sibylle Schupp In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science