4814 search results - page 674 / 963 » Combining abstract interpreters |
103
Voted
CHI
2006
ACM
16 years 1 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
107
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
127
Voted
COMSWARE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
97
Voted
PEPM
2007
ACM
15 years 7 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
113
Voted
ROBOCUP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...