4940 search results - page 163 / 988 » On the Complexity of Universal Programs |
123
click to vote
ITICSE
2005
ACM
15 years 10 months ago
2005
ACM
Problems with understanding concepts, so called misconceptions, have been investigated and reported in a number of studies regarding object-oriented programming [4], [3]. In a fi...
137
Voted
INAP
2001
Springer
15 years 9 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
193
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
151
Voted
FECS
2007
15 years 6 months ago
2007
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
124
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...