The Semantics of Circus

机译：马戏团的语义

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Circus is a concurrent language for refinement; it is a unification of imperative CSP, Z, and the refinement calculus. We describe the language of Circus and the formalization of its model in Hoare & He's unifying theories of programming.

机译：马戏团是一种用于改进的并发语言;它是令人遗憾的CSP，Z和细胞微积分的统一。我们描述了马戏团的语言以及其模型在HOARE中的形式化，他是统一编程理论。

著录项

来源
《International Conference of B and Z Users》|2002年||共20页
会议地点
作者
Jim Woodcock; Ana Cavalcanti;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP3-53;
关键词

相似文献

外文文献
中文文献
专利

1. A Utp Semantics For Circus [J] . Marcel Oliveira, Ana Cavalcanti, Jim Woodcock Formal Aspects of Computing . 2009,第1a2期

机译：马戏团的Utp语义学
2. Predicate transformers in the semantics of Circus [J] . Cavalcanti A.L.C., Woodcock J.C.P. IEE Proceedings. Part L, Software . 2003,第2期

机译：马戏团语义中的谓词变换器
3. L'estivage des Busards des roseaux (Circus aeruginosus), Saint-Martin (Circus cyaneus) et cendrés (Circus pygargus) dans des plaines agricoles de Wallonie : premières estimations [J] . Mathieu Derume, Jérémie Guyon, Baptiste Bataille Aves . 2009,第2期

机译：瓦隆州农业平原上的沼泽rier（铜绿马戏团），圣马丁（蓝马戏团）和灰烬（小马戏团）的夏季：初步估计
4. A Sound Operational Semantics for Circus [C] . S. L. M. Barrocas, M. V. M. Oliveira International Conference on Software Engineering Research and Practice . 2017

机译：马戏团的声音操作语义
5. A phenomenology of youth circus training at Fern Street Circus (California). [D] . Ott, Doyle W. 2005

机译：蕨街马戏团（加利福尼亚州）的青年马戏团训练的现象学。
6. Demonstrating the Qualitative Differences between Semantic Aphasia and Semantic Dementia: A Novel Exploration of Nonverbal Semantic Processing [O] . Krist A. Noonan, Peter Garrard, Elizabeth Jefferies, 2013

机译：证明语义失语和语义痴呆之间的质量差异：非语言语义加工的新探索
7. The denotational semantics of slotted-circus [O] . Gancarski, Pawel, Butterfield, Andrew 2009

机译：开槽马戏的指称语义

The Semantics of Circus

摘要

著录项

相似文献

相关主题

期刊订阅