2652 search results - page 9 / 531 » Privacy-preserving linear programming |
144
Voted
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
123
click to vote
PADL
2007
Springer
15 years 6 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
92
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
93
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
