251 search results - page 30 / 51 » Separation of concerns in compiler development using aspect-... |
238
click to vote
ENTCS
2007
15 years 5 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
182
click to vote
LCTRTS
2010
Springer
15 years 3 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
138
click to vote
AAAI
2004
15 years 6 months ago
2004
In this paper we discuss a deployed application at Ford Motor Company that utilizes AI technology for the analysis of potential ergonomic concerns at our assembly plants. The manu...
167
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
156
click to vote
GPCE
2003
Springer
15 years 10 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...