1392 search results - page 54 / 279 » Staging generic programming |
ICLP
2010
Springer
14 years 27 days ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
HASKELL
2005
ACM
14 years 2 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
CSEE
2009
Springer
14 years 3 months ago
2009
Springer
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...
ASIACRYPT
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
OOPSLA
1999
Springer
14 years 1 months ago
1999
Springer
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...