3546 search results - page 454 / 710 » A Causal Logic of Logic Programming |
139
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
100
click to vote
PASTE
2010
ACM
14 years 11 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
184
click to vote
POPL
2003
ACM
16 years 1 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 ...
101
click to vote
PEPM
2009
ACM
15 years 10 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...
IROS
2007
IEEE
15 years 7 months 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...