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

Bram Vandenbogaerde

vrije universiteit brussel

3H指数
8论文数
15被引数
收录论文 3
发表时间
logo
Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional InterpretersDelta 存储语义：抽象定义解释器的抽象垃圾回收
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err0
PREAI
errVan Es, Noah; Vandenbogaerde, Bram; De Roover, En
err分享
err收藏
Abstracting Concolic Execution for Soft Contract Verification抽象符号执行以进行软合约验证
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err0
PREAI
errVandenbogaerde, Bram; Stievenart, Quentin; De Roover, Coen
err分享
err收藏
Monarch: A Modular Framework for Abstract Definitional Interpreters in HaskellMonarch：一种用于Haskell中抽象定义性解释器的模块化框架
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err0
PREAI
errVandenbogaerde, Bram; Verbelen, Sarah; Van Es, Noah; De Roover, Coen
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Coen De Roover
H 指数: 19 · 论文数: 214
Q
Quentin Stiévenart
H 指数: 8 · 论文数: 60
N
Noah Van Es
H 指数: 4 · 论文数: 11
S
Sarah Verbelen
H 指数: 0 · 论文数: 2
D
De Roover, En
H 指数: 0 · 论文数: 1
已加载全部