RAPIDE is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and default executable, specification and architecture languages, along with associated programming tools. We describe the main features of the type language, its intended use in a prototyping environment, and rationale for selected design decisions.
RAPIDE是一种编程语言框架,旨在通过原型开发大型并发实时系统。该框架由一种类型语言和默认的可执行文件,规范和体系结构语言以及相关的编程工具组成。我们描述了类型语言的主要特征,其在原型环境中的预期用途以及所选设计决策的依据。 P>
机译:用于并发应用程序原型设计的编程语言和系统
机译:专家快速聚焦的原型语言和专家系统
机译:开发原型信息系统框架以处理中学现代外语系的教学知识
机译:改进的类型:高度差异化的类型系统及其在中间语言设计中的使用
机译:用于伸缩语言的基于类型的原型编译器。
机译:受控词汇表索引编制和医学语言处理。专家索引系统:基于交互式知识的索引的研究:MedIndEx原型
机译:使用特定于域的语言的大型物联网控制系统的虚拟原型设计