吉莉安 swMATH ID: 31480 软件作者： 何塞·弗拉戈索·桑托斯（JoséFragoso Santos）、彼得·马克西莫维奇（Petar Maksimović）、萨沙·埃利·阿永（Sacha-E lie Ayoun）、菲利普·加德纳（Philippa Gardner） 描述： 吉莉安：为所有人创作的象征性执行。我们介绍Gillian，一个独立于语言的框架，用于开发合成符号分析工具。Gillian支持三种风格的分析：全程序符号测试、完全验证和双向推导。它具有完全参数化的元理论结果和模块化实现，旨在最小化用户所需的实例化工作。我们通过将Gillian实例化为JavaScript和C来评估它，并在一组数据结构库上执行分析，得到的结果表明Gillian足够健壮，可以推理现实世界的编程语言。 主页： https://arxiv.org/abs/2001.05059 关键词： 编程语言;arXiv_cs.PL公司;逻辑;arXiv_cs.LO公司;独立于语言的框架;符号分析 引用于： 0出版物