2019 search results - page 325 / 404 » Programming with Shared Data Abstractions |
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper describes a virtual reality based Programming by Demonstration system for grasp recognition in manipulation tasks and robot pregrasp planning. The system cla...
LCPC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
CHARME
2001
Springer
14 years 2 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...