55 search results - page 2 / 11 » Modular Shape Analysis for Dynamically Encapsulated Programs |
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
ERLANG
2004
ACM
14 years 1 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...
ECOOP
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...