1559 search results - page 26 / 312 » Fundamentals of Generic Programming |
JFP
2010
14 years 4 months ago
2010
SCP
2011
14 years 14 days ago
2011
107
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
AC
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
77
Voted
JMLC
2000
Springer
15 years 1 months ago
2000
Springer
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.