Source code for the symbolic TopHat execution engine
收藏B2FIND2026-03-21 收录
下载链接：
https://b2find.eudat.eu/dataset/d0c75208-50ac-5425-9c38-ed5bd8e4eb91
下载链接
链接失效反馈官方服务：
资源简介：
Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st...
随附于下述论文的源代码：Naus, N.、Steenvoorden, T.J. 与 Klinik, M.A.A.（2019年）。《面向TopHat的符号执行语义（symbolic execution semantics）》。载于J. Stutterheim（编辑），IFL'19：第31届……
