175 search results - page 23 / 35 » Prototyping and Composing Aspect Languages |
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
ANSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
AADEBUG
1997
Springer
15 years 3 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
COLING
1994
15 years 1 months ago
1994
DBMT is researched here in the context of future systems for the general public, where a monolingual author wants to translate into several languages. We have produced a complete ...
108
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...