Sciweavers

Share
POPL
1994
ACM

A Type System for Prototyping Languages

9 years 11 months ago
A Type System for Prototyping Languages
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, speci cation 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.
Dinesh Katiyar, David C. Luckham, John C. Mitchell
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where POPL
Authors Dinesh Katiyar, David C. Luckham, John C. Mitchell
Comments (0)
books