首页>外文期刊>计算机、自动化>计算技术、计算机技术>情報処理学会論文誌 >2017年第3期

情報処理学会論文誌

情報処理学会論文誌

SCI

中文名称：IPSJ交易

ISSN：0387-5806
出版周期：

发文量：553

期刊论文

年度选择

2020
- 第1期
2019
- 第1期
- 第2期
- 第3期
2018
- 第1期
- 第2期
- 第3期
- 第4期
2017
- 第1期
- 第2期
- 第3期
- 第4期
2016
- 第1期
- 第2期
- 第3期
- 第4期
2015
- 第1期
- 第2期
- 第3期
- 第4期
2014
- 第1期
- 第2期
- 第3期
- 第4期
2013
- 第2期
- 第3期
- 第4期
2008
- 第1期
- 第2期
- 第3期
2007
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2006
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2005
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2004
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2003
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2001
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
2000
- 第1期
- 第2期
- 第3期
- 第4期
- 第8期
- 第10期
- 第11期
- 第12期
- 第2000期
1999
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期

更多>>

全选（0）

共3条结果

1.Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types

机译：使用Re-Guarantee和优化类型验证无锁数据结构的不变性
- 作者：Gordon Colin S.;Ernst Michael A.;Grossman Dan;Parkinson Matthew J.
- 期刊名称：《情報処理学会論文誌》 | 2017年第3期
- Type systems;
- rely-guarantee;
- refinement types;
- concurrency;
- verification;
2.From Clarity to Efficiency for Distributed Algorithms

机译：从清晰到高效的分布式算法
- 作者：Liu Yanhong A.;Stoller Scott D.;Lin Bo
- 期刊名称：《情報処理学会論文誌》 | 2017年第3期
3.The Chemical Approach to Typestate-Oriented Programming

机译：面向类型状态编程的化学方法
- 作者：Crafa Silvia;Padovani Luca
- 期刊名称：《情報処理学会論文誌》 | 2017年第3期
- Typestate;
- concurrency;
- behavioral types;
- join calculus;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号