10585 search results - page 269 / 2117 » The Orc Programming Language |
DSL
2009
13 years 7 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
OOPSLA
1993
Springer
14 years 1 months ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
PLDI
1997
ACM
14 years 1 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
—The current research analyses and demonstrates how spoken language can be used by human users to communicate with the HRP-2 humanoid to program the robot’s behavior in a coope...
ASM
2005
ASM
14 years 3 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...