10585 search results - page 646 / 2117 » The Orc Programming Language |
195
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
190
click to vote
ML
2006
ACM
16 years 1 months ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
208
Voted
OOPSLA
2004
Springer
16 years 18 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
211
Voted
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
154
Voted
GPCE
2004
Springer
16 years 19 days ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...