7124 search results - page 480 / 1425 » Programming Languages and Operating Systems |
230
click to vote
HASKELL
2005
ACM
16 years 1 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
186
click to vote
LPNMR
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
223
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
341
click to vote
CC
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
232
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...