掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Symposium on Static Analysis
International Symposium on Static Analysis
召开年:
2017
召开地:
New York(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Compositional Verification and 3-Valued Abstractions Join Forces
机译:
组成核查和3值抽象加入
作者:
Sharon Shoham
;
Orna Grumberg
会议名称:
《International Symposium on Static Analysis》
|
2007年
2.
Refactoring Using Type Constraints
机译:
使用类型约束重构
作者:
Frank Tip
会议名称:
《International Symposium on Static Analysis》
|
2007年
3.
Precise Thread-Modular Verification
机译:
精确的线程模块验证
作者:
Alexander Malkis
;
Andreas Podelski
;
Andrey Rybalchenko
会议名称:
《International Symposium on Static Analysis》
|
2007年
4.
Abstract Error Projection
机译:
抽象错误投影
作者:
Akash Lal
;
Nicholas Kidd
;
Thomas Reps
;
Tayssir Touili
会议名称:
《International Symposium on Static Analysis》
|
2007年
5.
Shape Analysis with Structural Invariant Checkers
机译:
结构不变跳闸器的形状分析
作者:
Bor-Yuh Evan Chang
;
Xavier Rival
;
George C. Necula
会议名称:
《International Symposium on Static Analysis》
|
2007年
6.
Arithmetic Strengthening for Shape Analysis
机译:
形状分析的算术强化
作者:
Stephen Magill
;
Josh Berdine
;
Edmund Clarke
;
Byron Cook
会议名称:
《International Symposium on Static Analysis》
|
2007年
7.
Language Strength Reduction
机译:
语言力量减少
作者:
Nicholas Kidd
;
Akash Lal
;
Thomas Reps
会议名称:
《International Symposium on Static Analysis》
|
2008年
8.
Quantum Entanglement Analysis Based on Abstract Interpretation
机译:
基于抽象解释的量子纠缠分析
作者:
Simon Perdrix
会议名称:
《International Symposium on Static Analysis》
|
2008年
9.
Modal Abstractions of Concurrent Behaviour
机译:
并发行为的模态抽象
作者:
Sebastian Nanz
;
Flemming Nielson
;
Hanne Riis Nielson
会议名称:
《International Symposium on Static Analysis》
|
2008年
10.
Heap Decomposition for Concurrent Shape Analysis
机译:
并发形状分析堆分解
作者:
R. Manevich
;
T. Lev-Ami
;
M. Sagiv
;
G. Ramalingam
;
J. Berdine
会议名称:
《International Symposium on Static Analysis》
|
2008年
11.
SLR: Path-Sensitive Analysis throughInfeasible-Path Detection and Syntactic Language Refinement
机译:
SLR:通过Infeasible-Path检测和句法语言细化的路径敏感性分析
作者:
Gogul Balakrishnan
;
Sriram Sankaranarayanan
;
Franjo Ivancic
;
Ou Wei
;
Aarti Gupta
会议名称:
《International Symposium on Static Analysis》
|
2008年
12.
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
机译:
通过抽象解释控制流动分析的计算方法
作者:
Jan Midtgaard
;
Thomas Jensen
会议名称:
《International Symposium on Static Analysis》
|
2008年
13.
Flow Analysis, Linearity, and PTIME
机译:
流程分析,线性和PTIM
作者:
David Van Horn
;
Harry G. Mairson
会议名称:
《International Symposium on Static Analysis》
|
2008年
14.
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
机译:
使用堆阵列SSA的Java的现场流敏感指针和转义分析
作者:
Prakash Prabhu
;
Priti Shankar
会议名称:
《International Symposium on Static Analysis》
|
2008年
15.
Typing Linear Constraints for Moding CLP(R) Programs
机译:
键入用于修改CLP(R)程序的线性约束
作者:
Salvatore Ruggieri
;
Fred Mesnard
会议名称:
《International Symposium on Static Analysis》
|
2008年
关键词:
Linear constraints;
Polyhedra;
Constraint logic programming;
Well-moding;
Definiteness;
16.
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
机译:
使用程序,动态线程创建和监视器的计划冲突分析
作者:
Peter Lammich
;
Markus Muller-Olm
会议名称:
《International Symposium on Static Analysis》
|
2008年
17.
Transforming Abstract Interpretations by Abstract Interpretation New Challenges in Language-Based Security
机译:
通过抽象解释基于语言的安全性的新挑战改造抽象解释
作者:
Roberto Giacobazzi
;
Isabella Mastroeni
会议名称:
《International Symposium on Static Analysis》
|
2008年
18.
Convex Hull of Arithmetic Automata
机译:
算术自动机的凸壳
作者:
Jerome Leroux
会议名称:
《International Symposium on Static Analysis》
|
2008年
19.
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
机译:
指针分析,条件的声音,证明没有错误
作者:
Christopher L. Conway
;
Dennis Dams
;
Kedar S. Namjoshi
;
Clark Barrett
会议名称:
《International Symposium on Static Analysis》
|
2008年
20.
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
机译:
SLR:通过不可行路径检测和句法语言细化的路径敏感分析
作者:
Gogul Balakrishnan
;
Sriram Sankaranarayanan
;
Franjo Ivancic
;
Ou Wei
;
Aarti Gupta
会议名称:
《International Symposium on Static Analysis》
|
2008年
21.
Solving Multiple Dataflow Queries Using WPDSs
机译:
使用WPDSS解决多个DataFlow查询
作者:
Akash Lai
;
Thomas Reps
会议名称:
《International Symposium on Static Analysis》
|
2008年
22.
Reasoning about Control Flow in the Presence of Transient Faults
机译:
在存在瞬态断层的情况下对控制流程的推理
作者:
Frances Perry
;
David Walker
会议名称:
《International Symposium on Static Analysis》
|
2008年
23.
Solving Multiple Dataflow Queries UsingWPDSs
机译:
使用WPDSS的求解多个DataFlow查询
作者:
Akash Lal
;
Thomas Reps
会议名称:
《International Symposium on Static Analysis》
|
2008年
24.
Relational Analysis of Correlation
机译:
相关性分析
作者:
Jorg Bauer
;
Flemming Nielson
;
Hanne Riis Nielson
;
Henrik Pilegaard
会议名称:
《International Symposium on Static Analysis》
|
2008年
25.
Protocol Inference Using Static Path Profiles
机译:
使用静态路径配置文件的协议推断
作者:
Murali Krishna Ramanathan
;
Koushik Sen
;
Ananth Grama
;
Suresh Jagannathan
会议名称:
《International Symposium on Static Analysis》
|
2008年
26.
Hiding Software Watermarks in Loop Structures
机译:
隐藏循环结构的软件水印
作者:
Mila Dalla Preda
;
Roberto Giacobazzi
;
Enrico Visentini
会议名称:
《International Symposium on Static Analysis》
|
2008年
27.
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
机译:
成本分析中复发关系的上限自动推断
作者:
Elvira Albert
;
Puri Arenas
;
Samir Genaim
;
German Puebla
会议名称:
《International Symposium on Static Analysis》
|
2008年
28.
Splitting the Control Flow with Boolean Flags
机译:
用布尔标志拆分控制流程
作者:
Axel Simon
会议名称:
《International Symposium on Static Analysis》
|
2008年
29.
Reflections on the Role of Static Analysis in Cooperative Bug Isolation
机译:
关于静态分析在合作虫脱离中的作用的思考
作者:
Ben Liblit
会议名称:
《International Symposium on Static Analysis》
|
2008年
30.
Analysing All Polynomial Equations in Z{sub}(2{sup}w)
机译:
分析z {sub}中的所有多项式方程(2 {sup} w)
作者:
Helmut Seidl
;
Andrea Flexeder
;
Michael Petter
会议名称:
《International Symposium on Static Analysis》
|
2008年
31.
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
机译:
关于多态递归,型系统和抽象解释
作者:
Marco Comini
;
Ferruccio Damiani
;
Samuel Vrech
会议名称:
《International Symposium on Static Analysis》
|
2008年
关键词:
Principal Typing;
Type Inference Algorithm;
32.
Inferring Min and Max Invariants Using Max-Plus Polyhedra
机译:
使用Max-Plus Polyhedra推断Min和Max Invariants
作者:
Xavier Allamigeon
;
Stephane Gaubert
;
Eric Goubault
会议名称:
《International Symposium on Static Analysis》
|
2008年
33.
Increasing the Scope and Resolution of Interprocedural Static Single Assignment
机译:
提高移植静态单分配的范围和解决
作者:
Silvian Caiman
;
Jianwen Zhu
会议名称:
《International Symposium on Static Analysis》
|
2009年
关键词:
SSA;
Interprocedural;
Dataflow;
Constant propagation;
34.
The Complexity of Andersen's Analysis in Practice
机译:
安德森在实践中分析的复杂性
作者:
Manu Sridharan
;
Stephen J. Fink
会议名称:
《International Symposium on Static Analysis》
|
2009年
35.
Invariant Checking for Programs with Procedure Calls
机译:
不变检查使用过程调用的程序
作者:
Guillem Godoy
;
Ashish Tiwari
会议名称:
《International Symposium on Static Analysis》
|
2009年
36.
Automatic Parallelization and Optimization of Programs by Proof Rewriting
机译:
通过证明重写自动并行化和节目优化
作者:
Clement Hurlin
会议名称:
《International Symposium on Static Analysis》
|
2009年
37.
The Causal Graph Revisited for Directed Model Checking
机译:
重新开始定向模型检查的因果图
作者:
Martin Wehrle
;
Malte Helmert
会议名称:
《International Symposium on Static Analysis》
|
2009年
38.
Abstraction Refinement for Quantified Array Assertions
机译:
量化阵列断言的抽象细化
作者:
Mohamed Nassim Seghir
;
Andreas Podelski
;
Thomas Wies
会议名称:
《International Symposium on Static Analysis》
|
2009年
39.
Inter-program Properties
机译:
跨间属性
作者:
Andrei Voronkov
;
Iman Narasamdya
会议名称:
《International Symposium on Static Analysis》
|
2009年
关键词:
Assertion function;
Invariant;
Translation validation;
40.
Type Analysis for JavaScript
机译:
JavaScript的类型分析
作者:
Simon Holm Jensen
;
Anders Moller
;
Peter Thiemann
会议名称:
《International Symposium on Static Analysis》
|
2009年
41.
Region Analysis for Race Detection
机译:
种族检测区域分析
作者:
Helmut Seidl
;
Vesal Vojdani
会议名称:
《International Symposium on Static Analysis》
|
2009年
42.
Inferring Dataflow Properties of User Defined Table Processors
机译:
推断用户定义的表处理器的DataFlow属性
作者:
Songtao Xia
;
Manuel Fahndrich
;
Francesco Logozzo
会议名称:
《International Symposium on Static Analysis》
|
2009年
43.
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
机译:
间隔多面体:一个抽象域推断间隔线性关系
作者:
Liqian Chen
;
Antoine Mine
;
Ji Wang
;
Patrick Cousot
会议名称:
《International Symposium on Static Analysis》
|
2009年
44.
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
机译:
核实,控制流动意识约束分析器,用于界定消除
作者:
David Niedzielski
;
Jeffery von Ronne
;
Andreas Gampe
;
Kleanthis Psarris
会议名称:
《International Symposium on Static Analysis》
|
2009年
45.
Polymorphic Fractional Capabilities
机译:
多态性分数能力
作者:
Hirotoshi Yasuoka
;
Tachio Terauchi
会议名称:
《International Symposium on Static Analysis》
|
2009年
46.
Creating Transformations for Matrix Obfuscation
机译:
创建矩阵混淆的转换
作者:
Stephen Drape
;
Irina Voiculescu
会议名称:
《International Symposium on Static Analysis》
|
2009年
关键词:
Obfuscation;
Matrix Operations;
Information Hiding;
Program Transformations;
47.
Optimizing Pointer Analysis Using Bisimilarity
机译:
使用BISIMILUTINGS优化指针分析
作者:
Luke Simon
会议名称:
《International Symposium on Static Analysis》
|
2009年
48.
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
机译:
抽象解析:使用LR解析技术动态生成串输出的静态分析
作者:
Kyung-Goo Doh
;
Hyunha Kim
;
David A. Schmidt
会议名称:
《International Symposium on Static Analysis》
|
2009年
49.
Proving the Correctness of the Implementation of a Control-Command Algorithm
机译:
证明了控制命令算法实现的正确性
作者:
Olivier Bouissou
会议名称:
《International Symposium on Static Analysis》
|
2009年
50.
Abstract Interpretation of FIFO Replacement
机译:
抽象解读FIFO更换
作者:
Daniel Grund
;
Jan Reineke
会议名称:
《International Symposium on Static Analysis》
|
2009年
关键词:
Cache Analysis;
FIFO Replacement;
Domain Cooperation;
May/Must Reasoning;
51.
Abstract Interpretation from a Topological Perspective
机译:
拓扑观点的抽象解释
作者:
David A. Schmidt
会议名称:
《International Symposium on Static Analysis》
|
2009年
52.
Refinement of Trace Abstraction
机译:
微量抽象的改进
作者:
Matthias Heizmann
;
Jochen Hoenicke
;
Andreas Podelski
会议名称:
《International Symposium on Static Analysis》
|
2009年
53.
Bottom-Up Shape Analysis
机译:
自下而上的形状分析
作者:
Bhargav S. Gulavani
;
Supratik Chakraborty
;
Ganesan Ramalingam
;
Aditya V. Nori
会议名称:
《International Symposium on Static Analysis》
|
2009年
54.
Interprocedural Analysis with Lazy Propagation
机译:
延迟传播的移植性分析
作者:
Simon Holm Jensen
;
Anders Moller
;
Peter Thiemann
会议名称:
《International Symposium on Static Analysis》
|
2010年
55.
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
机译:
具有嵌套锁的并发程序的组成位向分析
作者:
Azadeh Farzan
;
Zachary Kincaid
会议名称:
《International Symposium on Static Analysis》
|
2010年
56.
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
机译:
流程图程序的多维排名,程序终止和复杂性界限
作者:
Christophe Alias
;
Alain Darte
;
Paul Feautrier
;
Laure Gonnord
会议名称:
《International Symposium on Static Analysis》
|
2010年
57.
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely
机译:
计算放松的抽象语义w.r.t.二次区域是精确的
作者:
Thomas Martin Gawlitza
;
Helmut Seidl
会议名称:
《International Symposium on Static Analysis》
|
2010年
58.
Modelling Metamorphism by Abstract Interpretation
机译:
通过抽象解释建模变质形态
作者:
Mila Dalla Preda
;
Roberto Giacobazzi
;
Saumya Debray
;
Kevin Coogan
;
Gregg M. Townsend
会议名称:
《International Symposium on Static Analysis》
|
2010年
关键词:
Abstract interpretation;
Malware detection;
Metamorphic code;
Program transformation;
Static analysis;
Security;
Semantics;
59.
Deriving Numerical Abstract Domains via Principal Component Analysis
机译:
通过主成分分析导出数值抽象域
作者:
Gianluca Amato
;
Maurizio Parton
;
Prancesca Scozzari
会议名称:
《International Symposium on Static Analysis》
|
2010年
60.
Verifying a Local Generic Solver in Coq
机译:
验证COQ中的本地通用求解器
作者:
Martin Hofmann
;
Aleksandr Karbyshev
;
Helmut Seidl
会议名称:
《International Symposium on Static Analysis》
|
2010年
61.
BOXES: A Symbolic Abstract Domain of Boxes
机译:
框:框的符号抽象领域
作者:
Arie Gurfinkel
;
Sagar Chaki
会议名称:
《International Symposium on Static Analysis》
|
2010年
62.
Points-to Analysis as a System of Linear Equations
机译:
点分析作为线性方程系统
作者:
Rupesh Nasre
;
Ramaswamy Govindarajan
会议名称:
《International Symposium on Static Analysis》
|
2010年
63.
Static Verification for Code Contracts
机译:
代码合同的静态验证
作者:
Manuel Fahndrich
会议名称:
《International Symposium on Static Analysis》
|
2010年
64.
Size-Change Termination and Transition Invariants
机译:
尺寸更改终止和转换不变
作者:
Matthias Heizmann
;
Neil D. Jones
;
Andreas Podelski
会议名称:
《International Symposium on Static Analysis》
|
2010年
65.
A Shape Analysis for Non-linear Data Structures
机译:
非线性数据结构的形状分析
作者:
Renato Cherini
;
Lucas Rearte
;
Javier Blanco
会议名称:
《International Symposium on Static Analysis》
|
2010年
66.
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
机译:
大型计划的小型公式:可扩展静态分析中的在线约束简化
作者:
Isil Dillig
;
Thomas Dillig
;
Alex Aiken
会议名称:
《International Symposium on Static Analysis》
|
2010年
67.
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables
机译:
间隔斜率作为浮点变量的数字抽象域
作者:
Alexandre Chapoutot
会议名称:
《International Symposium on Static Analysis》
|
2010年
68.
Abstract Interpreters for Free
机译:
抽象口译员免费
作者:
Matthew Might
会议名称:
《International Symposium on Static Analysis》
|
2010年
69.
Concurrent Separation Logic for Pipelined Parallelization
机译:
管道并行化的并发分离逻辑
作者:
Christian J. Bell
;
Andrew W. Appel
;
David Walker
会议名称:
《International Symposium on Static Analysis》
|
2010年
70.
Strictness Meets Data Flow
机译:
严格符合数据流程
作者:
Tom Schrijvers
;
Alan Mycroft
会议名称:
《International Symposium on Static Analysis》
|
2010年
71.
Automatic Abstraction for Intervals Using Boolean Formulae
机译:
使用布尔公式的间隔自动抽象
作者:
Jorg Brauer
;
Andy King
会议名称:
《International Symposium on Static Analysis》
|
2010年
72.
Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods
机译:
概率计划的线性不变生成:自动支持基于校对的方法
作者:
Joost-Pieter Katoen
;
Annabelle K. McIver
;
Larissa A. Meinicke
;
Carroll C. Morgan
会议名称:
《International Symposium on Static Analysis》
|
2010年
关键词:
Probabilistic programs;
Quantitative program logic;
Verification;
Invariant generation;
73.
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
机译:
从对象字段到局部变量:实际敏感分析的实用方法
作者:
Elvira Albert
;
Puri Arenas
;
Samir Genaim
;
German Puebla
;
Diana Vanessa Ramirez Deantes
会议名称:
《International Symposium on Static Analysis》
|
2010年
74.
Using Static Analysis in Space: Why Doing so?
机译:
在太空中使用静态分析:为什么这样做?
作者:
David Lesens
会议名称:
《International Symposium on Static Analysis》
|
2010年
关键词:
Static analysis;
Industrial space software;
75.
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli
机译:
翻译循环优化和软件流水线在TVOC框架中的验证 - 以纪念Amir Pnueli
作者:
Benjamin Goldberg
会议名称:
《International Symposium on Static Analysis》
|
2010年
76.
Thread-Modular Counterexample-Guided Abstraction Refinement
机译:
螺纹模块化反射率引导抽象细化
作者:
Alexander Malkis
;
Andreas Podelski
;
Andrey Rybalchenko
会议名称:
《International Symposium on Static Analysis》
|
2010年
77.
Alternation for Termination
机译:
终止的交替
作者:
William R. Harris
;
Akash Lal
;
Aditya V. Nori
;
Sriram K. Rajamani
会议名称:
《International Symposium on Static Analysis》
|
2010年
78.
Statically Inferring Complex Heap, Array, and Numeric Invariants
机译:
静态推断复杂堆,阵列和数字不变
作者:
Bill McCloskey
;
Thomas Reps
;
Mooly Sagiv
会议名称:
《International Symposium on Static Analysis》
|
2010年
79.
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
机译:
通过线性代数方法生成非线性混合系统的不变性
作者:
Nadir Matringe
;
Arnaldo Vieira Moura
;
Rachid Rebiha
会议名称:
《International Symposium on Static Analysis》
|
2010年
80.
Automatic Verification of Determinism for Structured Parallel Programs
机译:
用于结构化并行程序的确定性自动验证
作者:
Martin Vechev
;
Eran Yahav
;
Raghavan Raman
;
Vivek Sarkar
会议名称:
《International Symposium on Static Analysis》
|
2010年
81.
Witnessing Program Transformations
机译:
目睹计划转型
作者:
Kedar S. Namjoshi
;
Lenore D. Zuck
会议名称:
《International Symposium on Static Analysis》
|
2013年
82.
Static Analysis in the Continuously Changing World
机译:
在不断变化的世界中静态分析
作者:
Sriram Sankaranarayanan
会议名称:
《International Symposium on Static Analysis》
|
2013年
83.
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
机译:
基于插值的抽象CDCL的浮点程序验证
作者:
Martin Brain
;
Vijay DSilva
;
Alberto Griggio
;
Leopold Haller
;
Daniel Kroening
会议名称:
《International Symposium on Static Analysis》
|
2013年
84.
Formal Verification of a C Value Analysis Based on Abstract Interpretation
机译:
基于抽象解释的C价值分析正式验证
作者:
Sandrine Blazy
;
Vincent Laporte
;
Andre Maroneze
;
David Pichardie
会议名称:
《International Symposium on Static Analysis》
|
2013年
85.
From Concrete Examples to Heap Manipulating Programs
机译:
从具体例子到堆操纵程序
作者:
Subhajit Roy
会议名称:
《International Symposium on Static Analysis》
|
2013年
86.
Predicate Abstraction for Relaxed Memory Models
机译:
放松内存模型的谓词抽象
作者:
Andrei Marian Dan
;
Yuri Meshman
;
Martin Vechev
;
Eran Yahav
会议名称:
《International Symposium on Static Analysis》
|
2013年
87.
Localizing Widening and Narrowing
机译:
本地化扩大和缩小
作者:
Gianluca Amato
;
Francesca Scozzari
会议名称:
《International Symposium on Static Analysis》
|
2013年
88.
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
机译:
瘦树木的量化数据自动机:列表的抽象域
作者:
Pranav Garg
;
P. Madhusudan
;
Gennaro Parlato
会议名称:
《International Symposium on Static Analysis》
|
2013年
89.
Local Shape Analysis for Overlaid Data Structures
机译:
覆盖数据结构的本地形状分析
作者:
Cezara Dragoi
;
Constantin Enea
;
Mihaela Sighireanu
会议名称:
《International Symposium on Static Analysis》
|
2013年
90.
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation
机译:
使用含义代数用于任务 - 本地内存优化的简明分析
作者:
Leo White
;
Alan Mycroft
会议名称:
《International Symposium on Static Analysis》
|
2013年
91.
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation
机译:
通过任期重写和抽象解释在命令方案中精确切片
作者:
Raghavan Komondoor
会议名称:
《International Symposium on Static Analysis》
|
2013年
92.
On Solving Universally Quantified Horn Clauses
机译:
解决普遍定量的喇叭条款
作者:
Nikolaj Bjorner
;
Ken McMillan
;
Andrey Rybalchenko
会议名称:
《International Symposium on Static Analysis》
|
2013年
93.
Abstract Semantic Differencing for Numerical Programs
机译:
数字计划的抽象语义差异
作者:
Nimrod Partush
;
Eran Yahav
会议名称:
《International Symposium on Static Analysis》
|
2013年
94.
Static Provenance Verification for Message Passing Programs
机译:
消息传递程序的静态出处验证
作者:
Rupak Majumdar
;
Roland Meyer
;
Zilong Wang
会议名称:
《International Symposium on Static Analysis》
|
2013年
95.
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
机译:
高效生成Polyhedra的抽象领域的正确证书
作者:
Alexis Fouilhe
;
David Monniaux
;
Michael Perin
会议名称:
《International Symposium on Static Analysis》
|
2013年
96.
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing
机译:
基于抽象解析和语义处理的动态生成HTML文档的静态验证
作者:
Hyunha Kim
;
Kyung-Goo Doh
;
David A. Schmidt
会议名称:
《International Symposium on Static Analysis》
|
2013年
关键词:
Static analysis;
String analysis;
Abstract parsing;
HTML validation;
97.
Contextual Locking for Dynamic Pushdown Networks
机译:
动态推动网络的上下文锁定
作者:
Peter Lammich
;
Markus Muller-Olm
;
Helmut Seidl
;
Alexander Wenner
会议名称:
《International Symposium on Static Analysis》
|
2013年
98.
Automatic Synthesis of Deterministic Concurrency
机译:
自动综合确定性并发性
作者:
Veselin Raychev
;
Martin Vechev
;
Eran Yahav
会议名称:
《International Symposium on Static Analysis》
|
2013年
99.
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT
机译:
抽象解释数值节目和系统的静态分析,以及波动
作者:
Eric Goubault
会议名称:
《International Symposium on Static Analysis》
|
2013年
100.
Symbolic Automata for Static Specification Mining
机译:
静态规格采矿的象征自动机
作者:
Hila Peleg
;
Sharon Shoham
;
Eran Yahav
;
Hongseok Yang
会议名称:
《International Symposium on Static Analysis》
|
2013年
意见反馈
回到顶部
回到首页