168 search results - page 25 / 34 » A Generic Programming Extension for Clean |
ICSR
2004
Springer
14 years 22 days ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
FDL
2007
IEEE
13 years 11 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
SPLC
2008
13 years 8 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
MOZ
2004
Springer
14 years 21 days ago
2004
Springer
ional Abstractions for Search Factories Guido Tack, Didier Le Botlan MOZ 2004 Presented at International Mozart/Oz Conference (MOZ 2004) Charleroi, Belgium October 2004 Published i...