6740 search results - page 257 / 1348 » Using Classification as a Programming Language |
171
click to vote
CORR
2007
Springer
15 years 6 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...
214
click to vote
JMLR
2008
15 years 6 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...
177
click to vote
IFIP
2004
Springer
16 years 1 days 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...
160
click to vote
SIGADA
1998
Springer
15 years 11 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 ...
181
click to vote
ACSE
1997
ACM
15 years 11 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...