1124 search results - page 170 / 225 » Mobile robot programming using natural language |
CAV
2009
Springer
15 years 11 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
SAINT
2007
IEEE
15 years 5 months ago
2007
IEEE
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
ICPP
1996
IEEE
15 years 3 months ago
1996
IEEE
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
JavaScript has been exploited to launch various browser-based attacks. Our previous work proposed a theoretical framework applying policy-based code instrumentation to JavaScript. ...