11397 search results - page 15 / 2280 » A Relational Abstraction for Functions |
SAC
2008
ACM
13 years 9 months ago
2008
ACM
s: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses Francesco Logozzo Microsoft Research, Redmond, WA, USA Manuel F
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
KES
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents a mathematical model for dynamic decision making with an objective function induced from fuzzy preferences. The fuzzy preference is related to decisio...
ENTCS
2008
13 years 10 months ago
2008
istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstra...
PCS
2006
13 years 9 months ago
2006
Relations On Abstract Simplicial Complexes Talk at CASC 2005, Kalamata, Greece Vladimir Kornyak Laboratory of Information Technologies Joint Institute for Nuclear Research 13 Septe...