Designing ParaSail - Parallel Specification and Implementation Language

S. Tucker Taft

首页> 外文期刊>Ada user journal >Designing ParaSail - Parallel Specification and Implementation Language

【24h】

Designing ParaSail - Parallel Specification and Implementation Language

机译：设计ParaSail-并行规范和实现语言

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

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

摘要

This (edited) blog follows the trials and tribulations of designing a new programming language designed to allow productive development of parallel, high-integrity (safety-critical, high-security) software systems. The language is named "ParaSail" for Parallel, Specification and Implementation Language.

机译：这个（编辑的）博客介绍了设计一种新的编程语言的经历和磨难，该编程语言旨在允许并行，高完整性（对安全至关重要的，高安全性）软件系统的有效开发。对于并行，规范和实现语言，该语言被命名为“ ParaSail”。

著录项

来源
《Ada user journal》 |2011年第1期|p.49-59|共11页
作者
S. Tucker Taft;
展开▼
作者单位

SofCheck, Inc, 11 Cypress Drive, Burlington, MA 01803 USA.;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
parallel programming language; high-integrity software; formal methods;

机译：并行编程语言;高完整性软件;形式方法;

相似文献

外文文献
中文文献
专利

1. Tutorial: Experimenting with ParaSail - Parallel Specification and Implementation Language [J] . S. Tucker Taft Ada Letters . 2011,第3期

机译：教程：尝试使用ParaSail-并行规范和实现语言
2. Workload decomposition strategies for hierarchical distributed-shared memory parallel systems and their implementation with integration of high-level parallel languages [J] . Sergio Briguglio, Beniamino Di Martino, Gregorio Vlad Concurrency and Computation . 2002,第11期

机译：分层分布式共享内存并行系统的工作量分解策略及其与高级并行语言集成的实现
3. Workload decomposition strategies for hierarchical distributed-shared memory parallel systems and their implementation with integration of high-level parallel languages [J] . Sergio Briguglio, Beniamino Di Martino, Gregorio Vlad Concurrency and Computation . 2002,第11期

机译：分层分布式共享内存并行系统的工作量分解策略及其与高级并行语言集成的实现
4. Multicore Programming in ParaSail Parallel Specification and Implementation Language [C] . S. Tucker Taft Reliable software technologies - Ada-Europe 2011 . 2011

机译：ParaSail并行规范和实现语言中的多核编程
5. Designing real-time systems using Specification and Description Language-Real Time. [D] . Mistry, Kunal S. 2008

机译：使用“规范和描述语言-实时”设计实时系统。
6. Issues in Designing and Implementing a Spanish-Language Multi-Site Clinical Trial [O] . Lourdes Suarez-Morales, Julie Matthews, Steve Martino, -1

机译：设计和实施西班牙语多站点临床试验中的问题
7. RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications [O] . Janjic, V., Brown, C., Mackenzie, K., 2016

机译：RPL：一种用于设计和实现并行C ++应用程序的领域特定语言
8. Designing and Implementing an Ada Language Binding Specification for ODMG-93 [R] . Lindsay, S. R. 1994

机译：设计和实现ODmG-93的ada语言绑定规范

Designing ParaSail - Parallel Specification and Implementation Language

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅