1830 search results - page 208 / 366 » Functional Programs as Linked Data |
178
click to vote
POPL
1994
ACM
15 years 6 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
106
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
146
Voted
IWPC
2006
IEEE
15 years 8 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
106
Voted
IJON
2007
15 years 2 months ago
2007
In this paper, a ridgelet kernel regression model is proposed for approximation of high dimensional functions. It is based on ridgelet theory, kernel and regularization technology ...
94
Voted
ATS
2003
IEEE
15 years 8 months ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...