3973 search results - page 719 / 795 » Records for Logic Programming |
249
click to vote
OIR
2011
14 years 2 months ago
2011
(limit 250 words) Purpose This paper reports and describes the use of MediaWiki and Google Docs at undergraduate level as online collaboration tools for co-constructing knowledge i...
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems; however, the maintenance of such systems is typicall...
204
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
206
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
186
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...