Gillian: A Multi-Language Platform for Unified Symbolic Analysis

2021/05/31 by Petar Maksimović, José Fragoso Santos, Maksimović, Petar +5
Chemistry · Computer Science · #Chemical synthesis and alkaloids #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research

paper · pdf · doi:10.48550/arxiv.2105.14769

openalex publication_date 2021/05/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.

Related

• Gillian: Compositional Symbolic Execution for All
• Understanding scholarly Natural Language Processing system diagrams through application of the Richards-Engelhardt framework
• Constructing Fundamentals for the Theory of Proportions and Symbolic Allusions Applied Interdisciplinarily
• Performant Dynamically Typed E-Graphs in Pure Julia
• A Unified Theory of Language