5415 search results - page 467 / 1083 » The Implementation of Functional Programming Languages |
231
click to vote
PEPM
2009
ACM
16 years 5 days ago
2009
ACM
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...
207
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
296
click to vote
JMLR
2012
13 years 10 months ago
2012
Models such as pairwise conditional random fields (CRFs) are extremely popular in computer vision and various other machine learning disciplines. However, they have limited expre...
232
click to vote
CADE
2004
Springer
16 years 8 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
256
click to vote
SENSYS
2009
ACM
16 years 2 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...