2374 search results - page 314 / 475 » The language of machines |
260
Voted
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
177
Voted
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...
215
click to vote
SIGIR
2006
ACM
16 years 1 months ago
2006
ACM
Search algorithms incorporating some form of topic model have a long history in information retrieval. For example, cluster-based retrieval has been studied since the 60s and has ...
174
Voted
SIGSOFT
2004
ACM
16 years 27 days ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriï...
217
Voted
ECOOP
2004
Springer
16 years 26 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...