设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
在“
SpringerLink电子期刊
”中,
命中:
2
条,耗时:0.0150228 秒
1.
Analyzing Program Termination and Complexity Automatically with
AProVE
作者:
Jürgen Giesl
;
Cornelius Aschermann
;
Marc
Brockschmidt
8230
关键词:
Termination analysis
;
Complexity analysis
;
Java
;
/C
;
/Haskell
;
/Prolog
;
programs
;
Term rewriting
刊名:Journal of Automated Reasoning
出版年:2017
2.
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
作者:
Thomas Ströder
;
Jürgen Giesl
;
Marc
Brockschmidt
8230
关键词:
LLVM
C ;
programs
;
Termination
;
Memory Safety
;
Symbolic Execution
刊名:Journal of Automated Reasoning
出版年:2017
1
按检索点细分(2)
作者(2)
按出版年细分(2)
2017年(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.