颁布单位：[Rice University] |  颁布时间：2012 |  实施时间：2012 |  学科分类：[Applied, sciences, Object-oriented, programming, Computer, software, Nominal, OO, languages, Statically-typed, OO, languages, Applied, mathematics, Computer, science]

预览  |  原文链接    [浏览：6 下载：3]

颁布单位：[Rice University] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Applied, sciences, Assertion-based, verification, Specification, languages, Electrical, engineering, System, science, Computer, science]

预览  |  原文链接    [浏览：8 下载：0]

颁布单位：[Rice University] |  颁布时间：2007 |  实施时间：2007 |  学科分类：[Computer, science, Applied, sciences, Distributed, multithreading, Global, address, space, languages, Parallel, programming, Programmability]

预览  |  原文链接    [浏览：5 下载：0]