6740 search results - page 127 / 1348 » Using Classification as a Programming Language |
121
click to vote
MEMOCODE
2008
IEEE
15 years 8 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
112
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
150
click to vote
ESOP
1992
Springer
15 years 5 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
110
click to vote
ACL
2010
14 years 11 months ago
2010
In this paper, we present a novel approach for authorship attribution, the task of identifying the author of a document, using probabilistic context-free grammars. Our approach in...
111
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...