2652 search results - page 9 / 531 » Privacy-preserving linear programming |
ICFP
2012
ACM
11 years 9 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...
PADL
2007
Springer
14 years 1 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...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
POPL
2004
ACM
14 years 7 months ago
2004
ACM
ESOP
2004
Springer
14 years 24 days ago
2004
Springer
