Keyword:formal semantics

Publications
A Fault Tolerance Mechanism for Hybrid Scientific Workflows Alberto Mulone, Doriana Medic and Marco Aldinucci EasyChair Preprint 13948
K-Smali: an Executable Semantics for Program Verification of Reversed Android Applications Marwa Ziadia, Mohamed Mejri and Jaouhar Fattahi EasyChair Preprint 10387
Propositional Forms of Judgemental Interpretations Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis EasyChair Preprint 221
Expression Compatibility Problem Seyed Hossein Haeri and Sibylle Schupp In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science