150 search results - page 6 / 30 » Programming by sketching for bit-streaming programs |
122
Voted
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
143
Voted
ALT
2004
Springer
16 years 16 days ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
134
Voted
PDP
1997
IEEE
15 years 7 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
130
Voted
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
149
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...