HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.