1559 search results - page 62 / 312 » Fundamentals of Generic Programming |
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
115
click to vote
ICFP
2012
ACM
13 years 4 days ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
AOSD
2004
ACM
15 years 3 months ago
2004
ACM
Although aspect-oriented programming (AOP) is becoming widely used, the design of the pointcut language and the generic and reusable description of advice are still research topic...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new approach to personalized handwriting recognition. The problem, also known as writer adaptation, consists of converting a generic (user-independent) recognizer int...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials...