Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2024 easychair.org. All rights reserved.