中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
容错的网络声明式程序
Alternative Title: fault tolerant network declarative programs
Author: 汪芳
Keyword: 网络编程抽象 ; 声明式语言 ; 语法 ; 语义 ; 容错性
Source: 软件学报
Issued Date: 2012
Volume: 23, Issue:8, Pages:1992-2001
Indexed Type: CNKI ; EI ; WANFANG
Department: 中国联合网络通信集团有限公司研究院;中国科学院软件研究所计算机科学国家重点实验室;中国科学院 研究生院;Institut National de Recherche en Informatique et en Automatique,France;
Sponsorship: 国家自然科学基金(60833001)|FrenchAgenceNationaledelaRecherche(ANR-09-BLAN-0131-01)
Abstract: 介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
English Abstract: 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. ©2012 ISCAS.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/14980
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
汪芳. 容错的网络声明式程序[J]. 软件学报,2012-01-01,23(8):1992-2001.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[汪芳]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[汪芳]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace