发布文献求助

Some trade-offs in reducing the overhead of assertion run-time checks via static analysis

断言计算机科学抽象解释静态分析语义学（计算机科学）程序转换架空（工程）程序分析程序设计语言编译时间编译程序

作者

Nataliia Stulova,José F. Morales,Manuel V. Hermenegildo

出处

期刊：Science of Computer Programming [Elsevier BV]
日期：2017-12-28 卷期号：155: 3-26 被引量：10

标识

DOI：10.1016/j.scico.2017.12.006

求助该文献

科研通智能强力驱动
Strongly Powered by AbleSci AI

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 醉熏的绯发布了新的文献求助10

刚刚; 慕青上传了应助文件

刚刚; 山野完成签到，获得积分10

刚刚; 闪闪的易文完成签到，获得积分10

1秒前; 兴奋的惜天完成签到，获得积分10

2秒前; 淡然依玉发布了新的文献求助10

2秒前; Mm完成签到，获得积分10

3秒前; wanci的应助被瞿寒采纳，获得10

4秒前; 安德鲁完成签到，获得积分10

4秒前; 顾矜的应助被聪慧的清涟采纳，获得10

4秒前; 兴奋的惜天发布了新的文献求助10

4秒前; xjcy上传了应助文件

5秒前; Maxuan完成签到，获得积分10

5秒前; 完美世界上传了应助文件

5秒前; 哭泣的凝芙发布了新的文献求助10

7秒前; 汉堡包的应助被心有千千JIE采纳，获得10

7秒前; 柒玖完成签到，获得积分10

8秒前; xcxc完成签到，获得积分10

9秒前; 英吉利25发布了新的文献求助10

10秒前; iwgysctss完成签到，获得积分10

10秒前; 迟迟完成签到，获得积分10

11秒前; 科研通AI6.2的应助被WW采纳，获得10

11秒前; 凤凰院凶真完成签到，获得积分10

11秒前; wanci上传了应助文件

13秒前; Fin2046关闭了Fin2046的文献求助

14秒前; fan完成签到，获得积分10

14秒前; 研友_VZG7GZ上传了应助文件

16秒前; 任性茉莉完成签到，获得积分10

16秒前; 聪慧的清涟完成签到，获得积分10

17秒前; xixi完成签到，获得积分10

17秒前; 今后的应助被高贵超短裙采纳，获得10

18秒前; 852的应助被zzzzzj采纳，获得10

19秒前; 瞿寒发布了新的文献求助10

20秒前; heart发布了新的文献求助10

21秒前; 如意的慕灵发布了新的文献求助10

21秒前; 汉堡包上传了应助文件

22秒前; Orange上传了应助文件

23秒前; 科研niumaWOMAN完成签到，获得积分10

23秒前; DAYDAY完成签到，获得积分10

23秒前; 科研通AI6.4上传了应助文件

24秒前

高分求助中: Principles of Economics, 11th Edition 10000; University Physics with Modern Physics, 16th edition 10000; (应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000; Matrix Methods in Data Mining and Pattern Recognition 510; Social Skills Improvement System-Rating Scales--Chinese Version 500; Dynamische Polarisation von H-1 und B-11 in (CH-3)-3NBH-3 500; CLSI M07 2024 500

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 7249079; 求助须知：如何正确求助？哪些是违规求助？ 8871865; 关于积分的说明 18720337; 捐赠科研通 6928358; 什么是DOI，文献DOI怎么找？ 3198627; 关于科研通互助平台的介绍 2373978; 邀请新用户注册赠送积分活动 2173275

今日热心研友

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通