3718 search results - page 323 / 744 » Programming by Integration in Robotics |
167
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
185
click to vote
PLDI
1989
ACM
15 years 10 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
163
click to vote
JUCS
2008
15 years 6 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
193
click to vote
ANOR
2005
15 years 6 months ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...
183
click to vote
PODS
1997
ACM
15 years 11 months ago
1997
ACM
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Prev...