FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Beyene, Tewodros A.	Verification of Ada Programs with AdaHorn (PDF, talk)
Buruiana, Sebastian	Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics (PDF, talk)
C
Ciobaca, Stefan	Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics (PDF, talk)
D
Dallmeyer, Nils	Optimizing Space of Parallel Processes (PDF, talk)
H
Herrera, Christian	Verification of Ada Programs with AdaHorn (PDF, talk)
K
Kanazawa, Yoshiaki	On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems (PDF, talk)
M
Maeda, Yuya	On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions (PDF, talk)
N
Nigam, Vivek	Verification of Ada Programs with AdaHorn (PDF, talk)
Nishida, Naoki	On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems (PDF, talk) On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions (PDF, talk)
S
Sabel, David	Automating the Diagram Method to Prove Correctness of Program Transformations (PDF, talk)
Schmidt-Schauss, Manfred	Optimizing Space of Parallel Processes (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program