并行组件的类型系统
编程语言
2009-05-22 v1
摘要
# 组件模型旨在改进并行编程的实践。本文为 # 编程系统引入了一个类型系统，旨在通过引入基于全称和存在有界量化的抽象组件概念，提升并行计算架构编程的抽象性和安全性。还讨论了在 HPE（一个 # 编程系统）中实现此类类型系统的问题。
引用
@article{arxiv.0905.3432,
title = {A Type System for Parallel Components},
author = {Francisco Heron de Carvalho-Junior and Rafael Dueire Lins},
journal= {arXiv preprint arXiv:0905.3432},
year = {2009}
}
备注
Submitted to SBLP 2009 (Brazilian Symposium on Programming Languages)