搜索页_+Program+completeness

读者指南

远程访问

科技查新

学术客户端

公务邮箱

NSTL服务站

常用资源

内部出版物

GSW全文库(3)	CNKI学位论文(1422)	知网期刊论文(473)
馆藏书目(1)	CNKI期刊论文0611(1)	标准(2)

在“SpringerLink电子期刊”中，命中：359条，耗时：0.0160244 秒

在所有数据库中总计命中：1,902条

1. Proving completeness of logic programs with the cut

作者： Włodzimierz Drabent

关键词：Logic programming ; The cut ; Operational semantics ; Program completeness ; Program correctness

刊名：Formal Aspects of Computing

出版年：2017

2. Maximal incompleteness as obfuscation potency

作者： Roberto Giacobazzi ; Isabella Mastroeni ; Mila Dalla Preda

关键词：Abstract interpretation ; Static program analysis ; Program semantics ; Program transformation ; Lattice theory ; Closure operators ; Code obfuscation

刊名：Formal Aspects of Computing

出版年：2017

3. Abstract conjunctive partial deduction for the analysis and compilation of coroutines

作者： Vincent Nys ; Danny De Schreye

关键词：Coroutines ; Compiling control ; Abstract conjunctive partial deduction

刊名：Formal Aspects of Computing

出版年：2017

4. Carnapian and Tarskian semantics

作者： Pierre Wagner

关键词：Carnap ; Tarski ; Truth ; Logical truth ; Semantics

刊名：Synthese

出版年：2017

5. Scheduling reclaimers serving a stock pad at a coal terminal

作者： Thomas Kalinowski ; Reena Kapoor ; Martin W. P. Savelsbergh

关键词：Reclaimer scheduling ; Stockyard management ; Approximation algorithm ; Computational complexity ; Branch ; and ; bound

刊名：Journal of Scheduling

出版年：2017

6. P Colonies with Evolving Environment

关键词：P colony ; Catalytic p system ; 0L scheme ; Computational completeness ; Partially blind register machine

刊名：Lecture Notes in Computer Science

出版年：2017

7. A New Roadmap for Linking Theories of Programming

刊名：Lecture Notes in Computer Science

出版年：2017

8. Complete Abstractions and Subclassical Modal Logics

刊名：Lecture Notes in Computer Science

出版年：2017

9. A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs

关键词：Tagged Hoare Logic ; Dynamic typing ; Pure object ; orientation ; Program verification ; Axiomatic semantics ; Soundness ; Relative completeness ; Multiple notions of correctness ; Completeness for total correctness

刊名：Lecture Notes in Computer Science

出版年：2016

10. On Completeness of Logic Programs

关键词：Logic programming ; Program completeness ; Declarative programming ; Approximate specification

刊名：Lecture Notes in Computer Science

出版年：2015

1

2

3

4

5

6

7

8

9

按检索点细分(359)

题名(6)

关键词(9)

文摘(312)

按出版年细分(359)

2017年(8)

2016年(16)

2015年(32)

2014年(28)

2013年(24)

2012年(20)

2011年(14)

2010年(21)

2009年(23)

2008年(35)

2007年(28)

2006年(32)

2005年(29)

2004年(10)

2003年(9)

2002年(6)

2001年(3)

2000年(3)

2000年及以前(18)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700