4211 search results - page 244 / 843 » Types as Abstract Interpretations |
124
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
165
click to vote
MLMI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...
154
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
259
Voted
POPL
1999
ACM
15 years 10 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
168
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...