research
∙
02/25/2022
Multi-View Graph Representation for Programming Language Processing: An Investigation into Algorithm Detection
Program representation, which aims at converting program source code int...
share
research
∙
07/16/2021
Countability of Inductive Types Formalized in the Object-Logic Level
The set of integer number lists with finite length, and the set of binar...
research
∙
05/22/2020
Symbolic Reasoning about Quantum Circuits in Coq
A quantum circuit is a computational unit that transforms an input quant...
research
∙
09/19/2019
Proof Pearl: Magic Wand as Frame
Separation logic adds two connectives to assertion languages: separating...
research
∙
08/31/2019