918 search results - page 40 / 184 » An Aspect Language for Robust Programming |
ERLANG
2003
ACM
14 years 28 days 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...
SAC
2000
ACM
13 years 11 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Aspects sometimes conflict between them in scenarios where they reify resource awareness concerns. These conflicts are the result of the scarcity of resources and the fact that, f...
IASTEDSEA
2004
13 years 9 months ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...