1882 search results - page 128 / 377 » Transformational Programming and Forests |
PRL
2002
14 years 9 months ago
2002
We extend the velocity Hough transform (VHT) for tracking objects with arbitrary velocity by
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
101
click to vote
AFP
2008
Springer
15 years 4 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
114
click to vote
ECOOP
1999
Springer
15 years 2 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
SEFM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...