5415 search results - page 258 / 1083 » The Implementation of Functional Programming Languages |
104
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...
127
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
127
click to vote
CC
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
101
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents the syntax and semantics of a simplified version of a logic-based agent-oriented programming language to implement agents with emotions. Four types of...
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...