FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
Shortcuts: BCDHJKMNS
B
Beyene, Tewodros A.
Verification of Ada Programs with AdaHorn
Buruiana, Sebastian
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics
C
Ciobaca, Stefan
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics
D
Dallmeyer, Nils
Optimizing Space of Parallel Processes
H
Herrera, Christian
Verification of Ada Programs with AdaHorn
J
Jouannaud, Jean-Pierre
A framework for graph rewriting.
K
Kanazawa, Yoshiaki
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems
M
Maeda, Yuya
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions
N
Nigam, Vivek
Verification of Ada Programs with AdaHorn
Nishida, Naoki
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions
S
Sabel, David
Automating the Diagram Method to Prove Correctness of Program Transformations
Schmidt-Schauss, Manfred
Optimizing Space of Parallel Processes