设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(2)
CNKI学位论文(1)
知网期刊论文(1)
在“
SpringerLink电子期刊
”中,
命中:
34
条,耗时:小于0.01 秒
在所有数据库中总计命中:
4
条
1.
Analyzing Program Termination and Complexity Automatically with
AProVE
作者:
Jürgen
Giesl
;
Cornelius Aschermann
;
Marc Brockschmidt…
关键词:
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…
关键词:
LLVM
C ;
programs
;
Termination
;
Memory Safety
;
Symbolic Execution
刊名:Journal of Automated Reasoning
出版年:2017
3.
Proving Termination and Memory Safety for Programs with Pointer Arithmetic
作者:
Thomas Str?der (22)
Jürgen
Giesl
(22)
Marc Brockschmidt (23)
Florian Frohn (22)
Carsten Fuhs (24)
Jera Hensel (22)
Peter Schneider-Kamp (25)
刊名:Lecture Notes in Computer Science
出版年:2014
4.
Proving Termination of Programs Automatically with AProVE
作者:
Jürgen
Giesl
(22)
Marc Brockschmidt (23)
Fabian Emmes (22)
Florian Frohn (22)
Carsten Fuhs (24)
Carsten Otto (27)
Martin Plücker (22)
Peter Schneider-Kamp (25)
Thomas Str?der (22)
Stephanie Swiderski (28)
René Thiemann (26)
刊名:Lecture Notes in Computer Science
出版年:2014
5.
Alternating Runtime and Size Complexity Analysis of Integer Programs
作者:
Marc Brockschmidt (18)
Fabian Emmes (19)
Stephan Falke (20)
Carsten Fuhs (21)
Jürgen
Giesl
(19)
刊名:Lecture Notes in Computer Science
出版年:2014
6.
Soil organic phosphorus transformations in a boreal forest chronosequence
作者:
Andrea G. Vincent (1) (6)
Johan Vestergren (2)
Gerhard Gr?bner (2)
Per Persson (2) (3)
Jürgen
Schleucher (4)
Reiner
Giesl
er (5)
关键词:
Podzolization
;
1D 31P NMR
;
2D 1H
;
31P correlation NMR
;
Inositol hexakisphosphate
;
Ribonucleic acid (RNA)
;
V?sterbotten chronosequence
刊名:Plant and Soil
出版年:2013
7.
Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs
作者:
Lars Noschinski (1)
Fabian Emmes (2)
Jürgen
Giesl
(2)
关键词:
Complexity analysis
;
Term rewriting
;
Termination analysis
;
Dependency pairs
刊名:Journal of Automated Reasoning
出版年:2013
8.
Symbolic Evaluation Graphs and Term Rewriting -A General Methodology for Analyzing Logic Programs
作者:
Jürgen
Giesl
(17)
Thomas Str?der (17)
Peter Schneider-Kamp (18)
Fabian Emmes (17)
Carsten Fuhs (19)
刊名:Lecture Notes in Computer Science
出版年:2013
9.
SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
作者:
Michael Codish (1) mcodish@cs.bgu.ac.il
Jürgen
Giesl
(2)
giesl
@informatik.rwth-aachen.de
Peter Schneider-Kamp (3) petersk@imada.sdu.dk
René Thiemann (4) rene.thiemann@uibk.ac.at
关键词:
Termination – SAT solving – Term rewriting – Recursive path order – Dependency pairs
刊名:Journal of Automated Reasoning
出版年:2012
10.
Proving Non-looping Non-termination Automatically
作者:
Fabian Emmes (1)
Tim Enger (1)
Jürgen
Giesl
(1)
刊名:Lecture Notes in Computer Science
出版年:2012
1
2
3
4
按检索点细分(34)
作者(34)
按出版年细分(34)
2017年(2)
2014年(3)
2013年(3)
2012年(6)
2011年(2)
2009年(1)
2008年(1)
2007年(4)
2006年(5)
2005年(5)
2001年(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
.