We describe a general module language integrating abstract data types, specifications and object-oriented concepts. The framework is based on the Standard ML module system, with three main extensions: subtyping, a for...
详细信息
Traditional programminglanguagedesign has focussed on efficiency and expressiveness, with minimal attention to the ease with which a programmer can translate task requirements into statements in the language, a char...
详细信息
Ada has introduced some very useful concepts for programming large software systems. In particular, modularity, data encapsulation and generics are extremely useful concepts introduced by Ada in 1980. Since then inter...
详细信息
ISBN:
(纸本)0897914457
Ada has introduced some very useful concepts for programming large software systems. In particular, modularity, data encapsulation and generics are extremely useful concepts introduced by Ada in 1980. Since then interesting new ideas have been developed in functional languages and object-oriented programming. Ideally, productive ideas of all three directions in programminglanguagedesign should be available for software system implementation.
A directed logic variable is a two-port communication channel that can transmit at most one message, which may contain embedded ports. The ability to send both input and output ports in messages allows directed logic ...
详细信息
This paper describes the design and implementation of an Ada system for heterogeneous distributed embedded targets. It permits a single Ada program to run in a loosely coupled, heterogeneous multi-processor environmen...
详细信息
We investigate the benefits of using a synchronous dataflow language for programming critical real-time systems. These benefits concern ergonomy - since the dataflow approach meets traditional description tools used i...
详细信息
暂无评论