1689 search results - page 254 / 338 » Refining abstract interpretations |
147
click to vote
JSYML
2008
15 years 4 months ago
2008
free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-...
144
click to vote
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
146
click to vote
SG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
237
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
252
click to vote
POPL
2009
ACM
16 years 4 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...