909 search results - page 66 / 182 » Generic Programming: An Introduction |
67
Voted
AOSD
2004
ACM
15 years 4 months ago
2004
ACM
Although aspect-oriented programming (AOP) is becoming widely used, the design of the pointcut language and the generic and reusable description of advice are still research topic...
84
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
103
click to vote
IPPS
2005
IEEE
15 years 4 months ago
2005
IEEE
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...
110
Voted
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
TYPES
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...