4498 search results - page 659 / 900 » How to Invent Functions |
133
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
131
click to vote
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
In existing relational database systems, processing of group-by and computation of aggregate functions are always postponed until all joins are performed. In this paper, we presen...
125
click to vote
ITS
1992
Springer
15 years 8 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
149
click to vote
IFIP
1989
Springer
15 years 8 months ago
1989
Springer
The designation “fault tolerant software” has been used for techniques ranging from roll-back and retry to N-version programming, from data mirroring to functional redundancy....
139
click to vote
ISSTA
1989
ACM
15 years 8 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...