7092 search results - page 699 / 1419 » Parallelizing constraint programs |
189
click to vote
MP
1998
15 years 6 months ago
1998
In recent years second-order sufficient conditions of an isolated local minimizer for convex composite optimization problems have been established. In this paper, second-order opt...
309
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
280
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
155
click to vote
VLC
2008
15 years 6 months ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
171
click to vote
JFLP
2002
15 years 6 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...