1027 search results - page 84 / 206 » Language Support for Connector Abstractions |
FDL
2004
IEEE
14 years 26 days ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
ICSE
2011
IEEE-ACM
13 years 18 days ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
ML
2006
ACM
13 years 9 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
LADS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...