196 search results - page 35 / 40 » Widening Operators for Abstract Interpretation |
IOR
2002
14 years 9 months ago
2002
Then these analytically motivated abstractions were gradually made more intricate as the body of mathematical techniques grew. The trend went from elementary analysis of complex, i...
ICSOC
2010
Springer
14 years 7 months ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
125
click to vote
WISE
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
167
click to vote
CADE
2011
Springer
13 years 9 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
184
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...