13271 search results - page 148 / 2655 » Computers, Programming, and People |
181
click to vote
ENTCS
2002
15 years 6 months ago
2002
Non-deterministic computations greatly enhance the expressive power of functional logic programs, but are often computationally expensive. We analyze a programming technique that ...
173
click to vote
AFP
2008
Springer
16 years 22 days ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
165
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
200
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
166
click to vote
SIGADA
2001
Springer
15 years 10 months ago
2001
Springer
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...