3470 search results - page 454 / 694 » Head-Elementary-Set-Free Logic Programs |
252
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
157
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
152
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
160
click to vote
CASES
2006
ACM
16 years 18 days ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
147
click to vote
ERLANG
2006
ACM
16 years 18 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...