671 search results - page 38 / 135 » The Role of Composition in Computer Programming |
POLICY
2001
Springer
14 years 1 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
SOCO
2007
Springer
14 years 3 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
ECOOPW
2004
Springer
14 years 19 days ago
2004
Springer
Abstract. This report summarizes the results of the workshop on evolution and reuse for language specifications for DSLs. The focus of the workshop was twofold: exploration of the ...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
MFCS
1995
Springer
14 years 13 days ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...