主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020年专刊出版计划 微信服务介绍 最新一期:2019年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
汪芳,Stéphane GRUMBACH.容错的网络声明式程序.软件学报,2012,23(8):1992-2001
容错的网络声明式程序
Fault Tolerant Network Declarative Programs
投稿时间:2010-09-30  修订日期:2011-01-26
DOI:10.3724/SP.J.1001.2012.04168
中文关键词:  网络编程抽象  声明式语言  语法  语义  容错性
英文关键词:network programming abstraction  declarative language  syntax  semantics  fault tolerance
基金项目:国家自然科学基金(60833001); French Agence Nationale de la Recherche (ANR-09-BLAN-0131-01)
作者单位E-mail
汪芳 中国联合网络通信集团有限公司研究院,北京 100048
中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190
中国科学院 研究生院,北京 100049 
wangfang313@chinaunicom.cn 
Stéphane GRUMBACH Institut National de Recherche en Informatique et en Automatique, France  
摘要点击次数: 2371
全文下载次数: 2345
中文摘要:
      介绍了基于递归规则的网络声明式语言Netlog 的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
英文摘要:
      This paper introduces the syntax and the distributed fixpoint semantics of a rule-based declarative language, Netlog. The strongly well-behaved programs were defined, which were proven insensitive to bounded message loss.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利