跳到内容
Translating concurrent communicating programs into delay-insensitive circuits 预览资料
关闭预览资料
正在查...

Translating concurrent communicating programs into delay-insensitive circuits

著者: Erik Brunvand; Robert F Sproull
出版商: Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989.
丛书: Carnegie-Mellon University.; Computer Science Department.; Research paper
版本/格式:   图书 : 英语查看所有的版本和格式
数据库:WorldCat
提要:
Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been  再读一些...
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

文件类型:
所有的著者/提供者: Erik Brunvand; Robert F Sproull
OCLC号码: 20617329
注意: "April 30, 1989."
描述: 29 pages : illustrations ; 28 cm.
丛书名: Carnegie-Mellon University.; Computer Science Department.; Research paper
责任: Erik Brunvand, Robert F. Sproull.

摘要:

Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation."

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


<http://www.worldcat.org/oclc/20617329>
library:oclcnum"20617329"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:contributor
schema:creator
schema:datePublished"1989"
schema:description"Abstract: "Programs written in a subset of Occam are automatically translated into delay-insensitive circuits using syntax-directed techniques. The resulting circuits are improved using semantics-preserving circuit-to-circuit transformations. Since each step of the translation process can be proven correct, the resulting circuit behavior is a faithful copy of the original program behavior. A compiler has been constructed that automatically performs the translation and transformation.""@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/22253113>
schema:inLanguage"en"
schema:isPartOf
schema:name"Translating concurrent communicating programs into delay-insensitive circuits"@en
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.