909 search results - page 114 / 182 » Generic Programming: An Introduction |
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Collections of already developed programs are important resources for efficient development of reliable software systems. In this paper, we propose a novel method of ranking softw...
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
TOOLS
2009
IEEE
15 years 5 months ago
2009
IEEE
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may differ in va...
79
Voted
IPPS
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper introduces an adaptive parallel pipeline pattern which follows the GRASP (Grid-Adaptive Structured Parallelism) methodology. GRASP is a generic methodology to incorpora...
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...