logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
S

STATIC ANALYSIS, SAS 2025

IF
论文数14
被引数
期刊论文 14
发表时间
delete
Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional InterpretersDelta 存储语义：抽象定义解释器的抽象垃圾回收
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteVan Es, Noah; Vandenbogaerde, Bram; De Roover, En
delete分享
delete收藏
Contextual Equality Saturation上下文感知等价饱和
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDrewery, Alexandre; Jensen, Thomas P.; Pichardie, David
delete分享
delete收藏
Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis使用差分合成比较eBPF验证器中抽象运算符的精度
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteShachnai, Matan; Vishwanathan, Harishankar; Narayana, Srinivas; Nagarakatte, Santosh
delete分享
delete收藏
Specifying and Verifying Future Conditions指定和验证未来条件
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSong, Yahui; Foo, Darius; Chin, Wei-Ngan
delete分享
delete收藏
Verifying Neural Networks with PyRAT使用PyRAT验证神经网络
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLemesle, Augustin; Lehmann, Julien; Le Gall, Tristan; Chihani, Zakaria
delete分享
delete收藏
On a Simple Problem Due to Yves Bertot由Yves Bertot提出的一个简单问题
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDanvy, Olivier
delete分享
delete收藏
Abstracting Concolic Execution for Soft Contract Verification抽象符号执行以进行软合约验证
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteVandenbogaerde, Bram; Stievenart, Quentin; De Roover, Coen
delete分享
delete收藏
A Programming Language for Feasible Solutions可行解的编程语言
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChen, Weijun; Fu, Yuxi; Long, Huan
delete分享
delete收藏
AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data UncertaintyAURA：具有区间数据不确定性的概率程序精确抽象解释
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHuang, Zixin; Laurel, Jacob; Dutta, Saikat; Misailovic, Sasa
delete分享
delete收藏
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types针对代数数据类型的受约束Horn子句求解的自动cata-morphism合成
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKatsura, Hiroyuki; Kobayashi, Naoki; Sakayori, Ken; Sato, Yosuke
delete分享
delete收藏
DUCTAPE: Optimizing Dynamically Typed Programs Using Ahead-of-Time Compilation and Data-Flow AnalysisDUCTAPE: 利用即时编译和数据流分析优化动态类型程序
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHarif, Adi; Itzhaky, Shachar
delete分享
delete收藏
Relating Distances and Abstractions An Abstract Interpretation Perspective从抽象解释的角度探讨距离与抽象的关系
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete1
PREAI
deleteCampion, Marco; Mastroeni, Isabella; Urban, Caterina
delete分享
delete收藏
Monarch: A Modular Framework for Abstract Definitional Interpreters in HaskellMonarch：一种用于Haskell中抽象定义性解释器的模块化框架
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteVandenbogaerde, Bram; Verbelen, Sarah; Van Es, Noah; De Roover, Coen
delete分享
delete收藏
Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete2
PREAI
deleteLee, Jaeseo; Bae, Kyungmin
delete分享
delete收藏