1050 search results - page 7 / 210 » Towards programming for the non-technical |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
ACL
2009
13 years 6 months ago
2009
We formulate the problem of nonprojective dependency parsing as a polynomial-sized integer linear program. Our formulation is able to handle non-local output features in an effici...
AGP
2010
IEEE
13 years 6 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
PLDI
2003
ACM
14 years 1 months ago
2003
ACM