6740 search results - page 257 / 1348 » Using Classification as a Programming Language |
113
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
144
click to vote
JMLR
2008
15 years 2 months ago
2008
We consider the problem of learning classifiers in structured domains, where some objects have a subset of features that are inherently absent due to complex relationships between...
122
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
106
click to vote
SIGADA
1998
Springer
15 years 6 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
125
click to vote
ACSE
1997
ACM
15 years 6 months ago
1997
ACM
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...