1189 search results - page 89 / 238 » The Quotient of an Abstract Interpretation |
117
Voted
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
78
Voted
JFP
2008
15 years 19 days ago
2008
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...
116
Voted
CSIE
2009
IEEE
15 years 4 months ago
2009
IEEE
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...
110
Voted
TAPSOFT
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
93
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...