655 search results - page 15 / 131 » On Flat Programs with Lists |
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
SAS
2000
Springer
13 years 11 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
KI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We present different approaches to reconstructing an inextensible surface from point correspondences between an input image and a template image representing a flat refer...