A Type System for Prototyping Languages (1994)
Cached
Download Links
- [ftp.informatik.uni-stuttgart.de]
- [theory.stanford.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In 21st ACM Symp. Principles of Programming Languages |
| Citations: | 30 - 5 self |
BibTeX
@INPROCEEDINGS{Katiyar94atype,
author = {Dinesh Katiyar and David Luckham and John Mitchell},
title = {A Type System for Prototyping Languages},
booktitle = {In 21st ACM Symp. Principles of Programming Languages},
year = {1994},
pages = {138--150},
publisher = {ACM}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1 Introduction Rapide is a programming language framework with an associated toolset. The framework consists of a set of languages, while the toolset provides related program development and diagnostic tools. The framework includes a type language, a default executable language, a default specification language, and an architecture language. Although these languages together provide a complete programming language, Rapide is intended to accommodate additional implementation and specification languages, besides the default ones provided by the framework. The constant of the...
