1528 search results - page 91 / 306 » Implementing Generalized Operator Overloading |
169
click to vote
VEE
2006
ACM
15 years 10 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
154
click to vote
ESA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider the multivariate interlace polynomial introduced by Courcelle (2008), which generalizes several interlace polynomials defined by Arratia, Bollob´as, and Sor...
122
click to vote
IAW
2003
IEEE
15 years 10 months ago
2003
IEEE
— The Computational Resiliency library (CRLib) provides distributed systems with the ability to sustain operation and dynamically restore the level of assurance in system functio...
127
click to vote
ITP
2010
15 years 8 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
133
click to vote
CADE
2006
Springer
15 years 8 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...