11022 search results - page 123 / 2205 » Programming Systems for Autonomy |
122
click to vote
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
133
click to vote
SAS
1991
Springer
15 years 8 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
123
click to vote
JUCS
2010
15 years 3 months ago
2010
: This article presents a rule–based agent mechanism as the kernel of a ubiquitous end–user, UI–independent programming system. The underlying goal of our work is to allow en...
156
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
fficient Programming Abstractions for Heterogeneous Multicore Systems on Chip Alastair D. Reid Krisztian Flautner Edmund Grimley-Evans ARM Ltd Yuan Lin University of Michigan The ...
141
click to vote
LOPSTR
1994
Springer
15 years 9 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...