掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Static Analysis Symposium
International Static Analysis Symposium
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
101
条结果
1.
Localizing Widening and Narrowing
机译:
本地化扩大和缩小
作者:
Gianluca Amato
;
Francesca Scozzari
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Localizing;
Narrowing;
domains;
2.
The Abstract Domain of Segmented Ranking Functions
机译:
分段排名功能的抽象领域
作者:
Caterina Urban
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Domain;
Segmented;
Functions;
3.
On Solving Universally Quantified Horn Clauses
机译:
解决普遍定量的喇叭条款
作者:
Nikolaj Bj?rner
;
Ken McMillan
;
Andrey Rybalchenko
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Solving;
Quantified;
Clauses;
4.
Abstract Semantic Differencing for Numerical Programs
机译:
数字计划的抽象语义差异
作者:
Nimrod Partush
;
Eran Yahav
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Semantic;
Numerical Programs;
precision;
5.
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation
机译:
使用含义代数用于任务 - 本地内存优化的简明分析
作者:
Leo White
;
Alan Mycroft
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Concise Analysis;
Algebras;
Optimisation;
6.
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
机译:
基于插值的抽象CDCL的浮点程序验证
作者:
Martin Brain
;
Vijay DSilva
;
Alberto Griggio
;
Leopold Haller
;
Daniel Kroening
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Interpolation-Based;
Verification;
Floating-Point;
7.
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation
机译:
通过任期重写和抽象解释在命令方案中精确切片
作者:
Raghavan Komondoor
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Precise;
Imperative;
Interpretation;
8.
Symbolic Automata for Static Specification Mining
机译:
静态规格采矿的象征自动机
作者:
Hila Peleg
;
Sharon Shoham
;
Eran Yahav
;
Hongseok Yang
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Symbolic;
Static;
Specification;
9.
Automatic Synthesis of Deterministic Concurrency
机译:
自动综合确定性并发性
作者:
Veselin Raychev
;
Martin Vechev
;
Eran Yahav
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Automatic Synthesis;
Deterministic;
Concurrency;
10.
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
机译:
高效生成Polyhedra的抽象领域的正确证书
作者:
Alexis Fouilhe
;
David Monniaux
;
Micha?l Périn
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Generation;
Certificates;
Polyhedra;
11.
Verification as Learning Geometric Concepts
机译:
验证作为学习几何概念
作者:
Rahul Sharma
;
Saurabh Gupta
;
Bharath Hariharan
;
Alex Aiken
;
Aditya V. Nori
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
loop invariants;
verification;
machine learning;
12.
Static Analysis in the Continuously Changing World
机译:
在不断变化的世界中静态分析
作者:
Sriram Sankaranarayanan
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Static;
Continuously;
Changing;
13.
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing
机译:
基于抽象解析和语义处理的动态生成HTML文档的静态验证
作者:
Hyunha Kim
;
Kyung-Goo Doh
;
David A. Schmidt
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
static analysis;
string analysis;
abstract parsing;
HTML validation;
14.
Formal Verification of a C Value Analysis Based on Abstract Interpretation
机译:
基于抽象解释的C价值分析正式验证
作者:
Sandrine Blazy
;
Vincent Laporte
;
André Maroneze
;
David Pichardie
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Formal Verification;
Analysis;
implementation;
15.
Automatic Verification of Erlang-Style Concurrency
机译:
自动验证Erlang风格的并发性
作者:
Emanuele DOsualdo
;
Jonathan Kochems
;
C.-H. Luke Ong
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Erlang;
Infinite-state Systems Verification;
Petri Nets;
16.
From Concrete Examples to Heap Manipulating Programs
机译:
从具体例子到堆操纵程序
作者:
Subhajit Roy
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Concrete;
Examples;
Heap Manipulating;
17.
Abstract Interpretation over Non-lattice Abstract Domains
机译:
在非格子摘要领域的抽象解释
作者:
Graeme Gange
;
Jorge A. Navas
;
Peter Schachte
;
Harald S?ndergaard
;
Peter J. Stuckey
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Non-lattice;
Domains;
termination;
18.
Static Provenance Verification for Message Passing Programs
机译:
消息传递程序的静态出处验证
作者:
Rupak Majumdar
;
Roland Meyer
;
Zilong Wang
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Static Provenance;
Verification;
Passing;
19.
Local Shape Analysis for Overlaid Data Structures
机译:
覆盖数据结构的本地形状分析
作者:
Cezara Dr?goi
;
Constantin Enea
;
Mihaela Sighireanu
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Local Shape;
Overlaid;
Structures;
20.
Contextual Locking for Dynamic Pushdown Networks
机译:
动态推动网络的上下文锁定
作者:
Peter Lammich
;
Markus Müller-Olm
;
Helmut Seidl
;
Alexander Wenner
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Contextual Locking;
Dynamic;
Pushdown;
21.
Witnessing Program Transformations
机译:
目睹计划转型
作者:
Kedar S. Namjoshi
;
Lenore D. Zuck
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Witnessing;
Program;
Transformations;
22.
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
机译:
瘦树木的量化数据自动机:列表的抽象域
作者:
Pranav Garg
;
P. Madhusudan
;
Gennaro Parlato
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Quantified Data;
Trees;
Lists;
23.
Byte-Precise Verification of Low-Level List Manipulation
机译:
字节精确验证低级列表操作
作者:
Kamil Dudka
;
Petr Peringer
;
Tomá? Vojnar
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Byte-Precise;
Low-Level;
Manipulation;
24.
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT
机译:
抽象解释数值节目和系统的静态分析,以及波动
作者:
Eric Goubault
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Static Analysis;
Interpretation;
Programs;
25.
Predicate Abstraction for Relaxed Memory Models
机译:
放松内存模型的谓词抽象
作者:
Andrei Marian Dan
;
Yuri Meshman
;
Martin Vechev
;
Eran Yahav
会议名称:
《International Static Analysis Symposium》
|
2013年
关键词:
Predicate;
Abstraction;
Models;
26.
Program Analysis for Web Security
机译:
Web安全计划分析
作者:
John C. Mitchell
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Analysis;
Program;
Security;
27.
Formal Model Reduction
机译:
正式模型减少
作者:
Jerome Feret
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Model;
Reduction;
networks;
28.
Astree: Design and Experience
机译:
ettree:设计和经验
作者:
Daniel Kastner
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Design;
Safety;
software;
29.
Widening and Interpolation
机译:
扩大和插值
作者:
Kenneth L. McMillan
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Interpolation;
techniques;
generalization;
30.
Program Analysis and Machine Learning: A Win-Win Deal
机译:
计划分析和机器学习:双赢交易
作者:
Aditya V. Nori
;
Sriram K. Rajamani
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Program;
Analysis;
Learning;
31.
Invisible Invariants and Abstract Interpretation
机译:
看不见的不变性和抽象的解释
作者:
Kenneth L. McMillan
;
Lenore D. Zuck
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Abstract;
Interpretation;
method;
32.
Verifying Fence Elimination Optimisations
机译:
验证围栏消除优化
作者:
Viktor Vafeiadis
;
Francesco Zappa Nardelli
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Fence;
Elimination;
compiler;
33.
Side-Effect Analysis of Assembly Code
机译:
汇编代码的副作用分析
作者:
Andrea Flexeder
;
Michael Petter
;
Helmut Seidl
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Side-Effect;
Analysis;
Assembly;
34.
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations
机译:
仿射整数元组关系的传递闭合及其过度封闭
作者:
Sven Verdoolaege
;
Albert Cohen
;
Anna Beletska
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Closures;
Relations;
35.
The Flow-Insensitive Precision of Andersen's Analysis in Practice
机译:
安德森在实践中的流动性精度
作者:
Sam Blackshear
;
Bor-Yuh Evan Chang
;
Sriram Sankaranarayanan
;
Mann Sridharan
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Precision;
Analysis;
Practice;
36.
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
机译:
一种用于调试并发程序的有效静态跟踪简化技术
作者:
Jeff Huang
;
Charles Zhang
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Trace simplification;
Debugging;
Concurrent program;
37.
Using Bounded Model Checking to Focus Fixpoint Iterations
机译:
使用有界模型检查来对焦Fixpoint迭代
作者:
David Monniaux
;
Laure Gonnord
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Model;
Focus;
Iterations;
38.
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation
机译:
静态验证必须为增量组成动态测试生成摘要
作者:
Patrice Godefroid
;
Shuvendu K. Lahiri
;
Cindy Rubio-Gonzalez
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Summaries;
Test;
Generation;
39.
Probabilistically Accurate Program Transformations
机译:
概率上准确的程序变换
作者:
Sasa Misailovic
;
Daniel M. Roy
;
Martin C. Rinard
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Program;
Transformations;
standard;
40.
Bound Analysis of Imperative Programs with the Size-Change Abstraction
机译:
尺寸变化抽象的命令方案的绑定分析
作者:
Florian Zuleger
;
Sumit Gulwani
;
Moritz Shnn
;
Helmut Veith
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Analysis;
Imperative;
Programs;
41.
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs
机译:
逻辑数值抽象加速度和应用于数据流程的验证
作者:
Peter Schrammel
;
Bertrand Jeannet
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Verification;
Static Analysis;
Abstract Interpretation;
Abstract Acceleration;
Control Flow Graph Partitioning;
42.
Satisfiability Modulo Recursive Programs
机译:
可满足模数递归程序
作者:
Philippe Suter
;
Ali Sinan Kasai
;
Viktor Kuncak
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Programs;
procedure;
approach;
43.
Software Verification Using k-Induction
机译:
软件验证使用k诱导
作者:
Alastair F. Donaldson
;
Leopold Haller
;
Daniel Kroening
;
Philipp Rummer
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Verification;
Software;
k-Induction;
44.
Purity Analysis:An Abstract Interpretation Formulation
机译:
纯度分析:抽象解释制剂
作者:
Ravichandhran Madhavan
;
Ganesan Ramalingam
;
Kapil Vaswani
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Purity;
Analysis;
Interpretation;
45.
On Sequentializing Concurrent Programs
机译:
在序列化并发计划上
作者:
Ahmed Bouajjani
;
Michael Emmi
;
Gennaro Parlato
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Concurrent;
Programs;
general;
46.
Probabilistic Abstractions with Arbitrary Domains
机译:
具有任意域的概率抽象
作者:
Javier Esparza
;
Andreas Gaiser
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Abstractions;
work;
counterexample-guided;
47.
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs
机译:
一系列抽象解释,用于静态分析并发高阶计划
作者:
Matthew Might
;
David Van Horn
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Family;
Abstract;
Interpretations;
48.
Directed Symbolic Execution
机译:
定向符号执行
作者:
Kin-Keung Ma
;
Khoo Yit Phang
;
Jeffrey S. Foster
;
Michael Hicks
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Execution;
problem;
executions;
49.
Efficient Decision Procedures for Heaps Using STRAND
机译:
使用Strand的堆的有效决策程序
作者:
P. Madhusudan
;
Xiaokang Qiu
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Procedures;
STRAND;
nodes;
50.
Abstract Domains of Affine Relations
机译:
仿射关系的抽象域
作者:
Matt Elder
;
Junghee Lim
;
Thshar Sharma
;
Tycho Andersen
;
Thomas Reps
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Abstract;
Relations;
relation;
51.
The Complexity of Abduction for Separated Heap Abstractions
机译:
分离堆抽象的绑架的复杂性
作者:
Nikos Gorogiannis
;
Max Kanovich
;
Peter W. OHearn
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Complexity;
Abduction;
Abstractions;
52.
An Abstraction-Refinement Framework for Trigger Querying
机译:
触发器查询的抽象精炼框架
作者:
Guy Avni
;
Orna Kupferman
会议名称:
《International Static Analysis Symposium》
|
2011年
关键词:
Abstraction-Refinement;
Framework;
Querying;
53.
Abstract interpretation of game properties
机译:
抽象解读游戏属性
作者:
Thomas A. Henzinger
;
Rupak Majumdar
;
Freddy Mang
;
Jean-Francois Raskin
会议名称:
《International Static Analysis Symposium》
|
2000年
54.
Partial redundancy elimination in predicated code
机译:
在预测代码中的部分冗余消除
作者:
Jens Knoop
;
Jean-Francois Collard
;
Roy Dz-Ching Ju
会议名称:
《International Static Analysis Symposium》
|
2000年
关键词:
Partial redundancy elimination;
Predicated code;
IA-64;
Busy code motion;
Lazy code motion;
Data-flow analysis;
Optimization;
55.
Efficient inference of static types for Java bytecode
机译:
Java字节码的高效推动静态类型
作者:
Etienne M. Gagnon
;
Laurie J. Hendren
;
Guillaume Marceau
会议名称:
《International Static Analysis Symposium》
|
2000年
56.
Abstract domains for sharing analysis by optimal semantics
机译:
通过最优语义分享分析的抽象域
作者:
Francesca Scozzari
会议名称:
《International Static Analysis Symposium》
|
2000年
57.
Abstract interpretation of probabilistic semantics
机译:
概率语义的摘要解释
作者:
David Monniaux
会议名称:
《International Static Analysis Symposium》
|
2000年
58.
Confidentiality analysis of mobile systems
机译:
移动系统的机密性分析
作者:
Jerome Feret
会议名称:
《International Static Analysis Symposium》
|
2000年
59.
Model checking guided abstraction and analysis
机译:
模型检查引导抽象和分析
作者:
Hassen Saidi
会议名称:
《International Static Analysis Symposium》
|
2000年
60.
Unified analysis of array and object references in strongly typed languages
机译:
强类型语言中的阵列和对象引用的统一分析
作者:
Stephen Fink
;
Kathleen Knobe
;
Vivek Sarkar
会议名称:
《International Static Analysis Symposium》
|
2000年
关键词:
Static single assignment (SSA) form;
Array SSA form;
Load elimination;
Store elimination;
Scalar replacement;
Java object references;
61.
Safety of strictness analysis via term graph rewriting
机译:
通过术语图重写严格分析的安全性
作者:
David Clark
;
Chris Hankin
;
Sebastian Hunt
会议名称:
《International Static Analysis Symposium》
|
2000年
62.
TVLA: a system for implementing static analyses
机译:
TVLA:一种实现静态分析的系统
作者:
Tal Lev-Ami
;
Mooly Sagiv
会议名称:
《International Static Analysis Symposium》
|
2000年
63.
Tree schemata and fair termination
机译:
树架构和公平终止
作者:
Laurent Mauborgne
会议名称:
《International Static Analysis Symposium》
|
2000年
64.
Polymorphic versus monomorphic flow-insensitive points-to analysis for C
机译:
多态与单体流动不敏感点 - 用于分析C.
作者:
Jeffrey S. Foster
;
Manuel Fahndrich
;
Alexander Aiken
会议名称:
《International Static Analysis Symposium》
|
2000年
65.
Concurrency analysis for Java
机译:
Java的并发分析
作者:
Cristian Ungureanu
;
Suresh Jagannathan
会议名称:
《International Static Analysis Symposium》
|
2000年
66.
Checking cleanness in linked lists
机译:
检查链接列表中的清洁
作者:
Nurit Dor
;
Michael Rodeh
;
Mooly Sagiv
会议名称:
《International Static Analysis Symposium》
|
2000年
67.
Abstract interpretation based semantics of sequent calculi
机译:
基于摘要解释的序列结算的语义
作者:
Gianluca Amato
;
Giorgio Levi
会议名称:
《International Static Analysis Symposium》
|
2000年
68.
Deriving parallel codes via invariants
机译:
通过不变量派生并行代码
作者:
Wei-Ngan Chin
;
Siau-Cheng Khoo
;
Zhenjiang Hu
;
Masato Takeichi
会议名称:
《International Static Analysis Symposium》
|
2000年
关键词:
Parallelization;
Context preservation;
Invariants;
Conditional recurrences;
Constraints;
69.
A transformational approach for generating non-linear invariants
机译:
一种生成非线性不变量的变换方法
作者:
S. Bensalem
;
M. Bozga
;
J. -C. Fernandez
;
L. Ghirvu
;
Y. Lakhnech
会议名称:
《International Static Analysis Symposium》
|
2000年
70.
Enforcing design constraints with object logic
机译:
使用对象逻辑执行设计约束
作者:
Daniel Jackson
会议名称:
《International Static Analysis Symposium》
|
2000年
71.
Model checking as constraint solving
机译:
模型检查作为约束解决
作者:
Andreas Podelski
会议名称:
《International Static Analysis Symposium》
|
2000年
72.
Code specialization based on value profiles
机译:
基于价值配置文件的代码专业化
作者:
Robert Muth
;
Scott Watterson
;
Saumya Debray
会议名称:
《International Static Analysis Symposium》
|
2000年
73.
FULLDOC: a full reporting debugger for optimized code
机译:
Fulldoc:用于优化代码的完整报告调试器
作者:
Clara Jaramillo
;
Rajiv Gupta
;
Mary Lou Soffa
会议名称:
《International Static Analysis Symposium》
|
2000年
74.
Flattening is an improvement
机译:
扁平化是一种改进
作者:
James Riely
;
Jan Prins
会议名称:
《International Static Analysis Symposium》
|
2000年
75.
PAN - The Prolog Analyzer
机译:
PAN - Prolog分析仪
作者:
Martin Muller
;
Thomas GlaB
;
Karl Stroetmann
会议名称:
《International Static Analysis Symposium》
|
1996年
76.
Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs
机译:
增量分析引擎的两个应用(约束)逻辑程序
作者:
Andrew D. Kelly
;
Kim Marriott
;
Harald Sondergaard
;
Peter J. Stuckey
会议名称:
《International Static Analysis Symposium》
|
1996年
77.
Stan : A Static Analyzer for CLP (R) Based on Abstract Interpretation
机译:
斯坦:基于抽象解释的CLP(R)的静态分析仪
作者:
Maria Handjieva
会议名称:
《International Static Analysis Symposium》
|
1996年
78.
Generalized Dominators for Structured Programs
机译:
用于结构化计划的普遍占主导地位
作者:
Stephen Alstrup
;
Peter W. Lauridsen
;
Mikkel Thorup
会议名称:
《International Static Analysis Symposium》
|
1996年
79.
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile
机译:
通过非交错语义来理解移动代理
作者:
R. Borgia
;
P. Degano
;
C. Priami
;
L. Leth
;
B. Thomsen
会议名称:
《International Static Analysis Symposium》
|
1996年
80.
A Backward Slicing Algorithm for Prolog
机译:
prolog的后向切片算法
作者:
Stephane Schoenig
;
Mireille Ducasse
会议名称:
《International Static Analysis Symposium》
|
1996年
81.
Cache Behavior Prediction by Abstract Interpretation
机译:
缓存行为通过抽象解释预测
作者:
Martin Alt
;
Christian Ferdinand
;
Florian Martin
;
Reinhard Wilhelm
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
abstract interpretation;
program analysis;
cache memories;
real time applications;
worst case execution time prediction;
82.
An Even Faster Solver for General Systems of Equations
机译:
一个甚至更快的方程式系统的求解器
作者:
Christian Fecht
;
Helmut Seidl
会议名称:
《International Static Analysis Symposium》
|
1996年
83.
Semantics-Directed Program Analysis: A Tool-Maker's Perspective
机译:
语义定向计划分析:工具制造商的观点
作者:
Flemming Nielson
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
Program Analysis;
Abstract Interpretation;
Denotational Semantics;
Two-Level Metalanguages;
Tools for Program Analysis;
84.
Inferring Program Specifications in Polynomial-Time
机译:
推断多项式时的程序规范
作者:
Robert Givan
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
Functional Programming;
Type Inference;
Verification;
Induction;
85.
Data-Flow-Based Virtual Function Resolution
机译:
基于数据流的虚拟功能分辨率
作者:
Hemant D. Pande
;
Barbara G. Ryder
会议名称:
《International Static Analysis Symposium》
|
1996年
86.
Uniformity for the Decidability of Hybrid Automata
机译:
混合自动机的可解锁性的均匀性
作者:
Olivier Roux
;
Vlad Rusu
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
decidability;
uniformity;
hybrid automata;
symbolic verification;
temporal logic TCTL;
87.
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation
机译:
基于预解释的逻辑计划的Freeness和分享分析
作者:
Maurice Bruynooghe
;
Bart Demoen
;
Dmitri Boulanger
;
Marc Denecker
;
Anne Mulkers
会议名称:
《International Static Analysis Symposium》
|
1996年
88.
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs
机译:
摘要成本域:应用于联合不平计划的别名分析
作者:
Arnaud Venet
会议名称:
《International Static Analysis Symposium》
|
1996年
89.
Automated Modular Termination Proofs for Real Prolog Programs
机译:
用于实际Prolog程序的自动模块化终端证明
作者:
Martin Muller
;
Thomas GlaB
;
Karl Stroetmann
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
Prolog;
termination;
formal methods;
static analysis;
automated theorem proving;
90.
Termination Analysis for Partial Functions
机译:
部分函数的终止分析
作者:
Jurgen Brauburger
;
Jurgen Giesl
会议名称:
《International Static Analysis Symposium》
|
1996年
91.
A Comparison of Three Occur-Check Analysers
机译:
比较三次检查分析仪
作者:
Lobel Crnogorac
;
Andrew D. Kelly
;
Harald Sondergaard
会议名称:
《International Static Analysis Symposium》
|
1996年
92.
Compiling Laziness Using Projections
机译:
使用预测编译Laziness
作者:
Ross Paterson
会议名称:
《International Static Analysis Symposium》
|
1996年
93.
Property-Oriented Expansion
机译:
物业型扩展
作者:
Bernhard Steffen
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
data flow analysis;
modal logic;
partially dead code elimination;
optimization;
partial redundancy elimination;
program expansion;
transition systems;
94.
Tractable Constraints in Finite Semilattices
机译:
有限半晶体的易行约束
作者:
Jakob Rehof
;
Torben E. Mogensen
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
Finite semilattices;
constraint satisfiability;
program analysis;
tract-ability;
algorithms;
95.
Combining Slicing and Constraint Solving for Validation of Measurement Software
机译:
结合切片和约束解决测量软件验证
作者:
Gregor Snelting
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
Program Slicing;
Constraint Solving;
Measurement System;
Software Validation;
Path Condition;
96.
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language
机译:
终止分析较高阶函数语言的离线部分评估
作者:
Peter Holst Andersen
;
Carsten Kehler Holst
会议名称:
《International Static Analysis Symposium》
|
1996年
关键词:
partial evaluation;
termination;
abstract interpretation;
size analysis;
97.
Optimized Algorithms for Incremental Analysis of Logic Programs
机译:
逻辑程序增量分析优化算法
作者:
German Puebla
;
Manuel Hermenegildo
会议名称:
《International Static Analysis Symposium》
|
1996年
98.
Refinement Types for Program Analysis
机译:
程序分析的细化类型
作者:
Mario Coppo
;
Ferruccio Damiani
;
Paola Giannini
会议名称:
《International Static Analysis Symposium》
|
1996年
99.
Subtyping Constrained Types
机译:
亚型约束类型
作者:
Valery Trifonov
;
Scott Smith
会议名称:
《International Static Analysis Symposium》
|
1996年
100.
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling
机译:
用动态调度证明约束逻辑程序的正确性
作者:
F. S. de Boer
;
M. Gabbrielli
;
C. Palamidessi
会议名称:
《International Static Analysis Symposium》
|
1996年
上一页
1
2
下一页
意见反馈
回到顶部
回到首页