241 search results - page 1 / 49 » Modelling Generic Hardware Structures by Abstract Datatypes |
TPHOL
1992
IEEE
13 years 8 months ago
1992
IEEE
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
HASKELL
2009
ACM
13 years 11 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
ICFP
2003
ACM
14 years 4 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...
FASE
2003
Springer
13 years 10 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...