设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(7)
CNKI学位论文(556)
知网期刊论文(167)
在“
Elsevier电子期刊
”中,
命中:
95
条,耗时:小于0.01 秒
在所有数据库中总计命中:
730
条
1.
Completeness of
Hoare
logic
with inputs over the standard model
作者:
Zhaowei Xu
a
;
xuzw@ios.ac.cn" class="auth_mail" title="E-mail the corresponding author
;
Yuefei Sui
b
;
yfsui@ict.ac.cn" class="auth_mail" title="E-mail the corresponding author
;
Wenhui Zhang
a
;
zwh@ios.ac.cn" class="auth_mail" title="E-mail the corresponding author
关键词:
Hoare
logic
;
Peano arithmetic
;
The standard model
;
Computation
;
Arithmetical definability
;
Logic
al completeness
刊名:Theoretical Computer Science
出版年:2016
2.
Completeness for recursive procedures in separation
logic
作者:
Mahmudul Faisal Al Ameen
a
;
alameen@nii.ac.jp" class="auth_mail" title="E-mail the corresponding author
;
Makoto Tatsuta
b
;
tatsuta@nii.ac.jp" class="auth_mail" title="E-mail the corresponding author
关键词:
Separation
logic
;
Hoare
's
logic
;
Completeness
;
Recursive procedures
刊名:Theoretical Computer Science
出版年:2016
3.
Approximate Relational
Hoare
Logic
for Continuous Random Samplings
作者:
Tetsuya Sato
satoutet@kurims.kyoto-u.ac.jp" class="auth_mail" title="E-mail the corresponding author
关键词:
Differential privacy
;
Denotational semantics
;
Giry monad
;
Graded monad
;
Relational lifting
刊名:Electronic Notes in Theoretical Computer Science
出版年:2016
4.
A formalization of programs in first-order
logic
with a discrete linear order
作者:
Fangzhen Lin
flin@cs.ust.hk" class="auth_mail" title="E-mail the corresponding author
关键词:
Program semantics
;
Reasoning about programs
;
First-order
logic
刊名:Artificial Intelligence
出版年:2016
5.
On the expressive power of Kleene algebra with domain
作者:
Georg Struth
g.struth@sheffield.ac.uk" class="auth_mail" title="E-mail the corresponding author
关键词:
Semirings
;
Kleene algebras
;
Expressive power
;
Hoare
logic
;
Program correctness
刊名:Information Processing Letters
出版年:2016
6.
Dijkstra and
Hoare
monads in monadic computation
作者:
Bart Jacobs
关键词:
Monad
;
Program semantics
;
Hoare
logic
;
Weakest precondition
刊名:Theoretical Computer Science
出版年:2015
7.
VPHL: A Verified Partial-Correctness
Logic
for Probabilistic Programs
作者:
Robert Rand
rrand@seas.upenn.edu" class="auth_mail" title="E-mail the corresponding author
;
Steve Zdancewic
stevez@cis.upenn.edu" class="auth_mail" title="E-mail the corresponding author
关键词:
Hoare
Logic
;
Formal Verification
;
Coq
;
Probabilistic Programming
;
Non-termination
刊名:Electronic Notes in Theoretical Computer Science
出版年:2015
8.
Reducing Complex CSP Models to Traces via Priority
作者:
David Mestel
david.mestel@cs.ox.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
A.W. Roscoe
bill.roscoe@cs.ox.ac.uk" class="auth_mail" title="E-mail the corresponding author
关键词:
CSP
;
denotational semantics
;
priority
刊名:Electronic Notes in Theoretical Computer Science
出版年:2016
9.
Designing a verifying compiler: Lessons learned from developing Whiley
作者:
David J. Pearce
;
djp@ecs.vuw.ac.nz" class="auth_mail" title="E-mail the corresponding author
;
Lindsay Groves
lindsay@ecs.vuw.ac.nz" class="auth_mail" title="E-mail the corresponding author
关键词:
Program verification
;
Loop invariants
;
Hoare
logic
;
Verification tools
刊名:Science of Computer Programming
出版年:2015
10.
Deriving a Floyd-
Hoare
logic
for non-local jumps from a formul?-as-types notion of control
作者:
T. Crolard
;
crolard@u-pec.fr
;
E. Polonowski
polonowski@u-pec.fr
关键词:
Floyd&ndash
;
Hoare
logic
;
Higher-order procedure
;
jump
;
callcc
;
Continuation
;
Monad
刊名:Journal of
Logic
and Algebraic Programming
出版年:2012
1
2
3
4
5
6
7
8
9
按检索点细分(95)
题名(12)
关键词(39)
文摘(68)
按出版年细分(95)
2027年及以后(1)
2016年(6)
2015年(3)
2012年(7)
2011年(5)
2010年(4)
2009年(10)
2008年(8)
2007年(10)
2006年(9)
2005年(6)
2004年(2)
2003年(3)
2002年(4)
2001年(2)
2000年(1)
2000年及以前(14)
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
.