968 search results - page 4 / 194 » The Molen Programming Paradigm |
115
click to vote
FECS
2006
15 years 1 months ago
2006
: Selecting an appropriate programming paradigm in which to teach the first programming and problem solving course in a Computer Science undergraduate program has been discussed ex...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
ECOOP
1998
Springer
15 years 3 months ago
1998
Springer
114
click to vote
CORR
1998
Springer
14 years 11 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
114
click to vote
TACAS
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...