4211 search results - page 101 / 843 » Types as Abstract Interpretations |
157
Voted
DALT
2006
Springer
15 years 7 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
154
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
148
Voted
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
78
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through a...
KI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...