An Abstract Domain to Infer Types over Zones in Spreadsheets

Tie Cheng 1 Xavier Rival 1, 2
1 ABSTRACTION - Abstract Interpretation and Static Analysis
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : Spreadsheet languages are very commonly used, by large user bases, yet they are error prone. However, many semantic issues and errors could be avoided by enforcing a stricter type discipline. As declaring and specifying type information would represent a prohibitive amount of work for users, we propose an abstract interpretation based static analysis for spreadsheet programs that infers type constraints over zones of spreadsheets, viewed as two-dimensional arrays. Our abstract domain consists in a cardinal power from a numerical abstraction describing zones in a spreadsheet to an abstraction of cell values, including type properties. We formalize this abstract domain and its operators (transfer functions, join, widening and reduction) as well as a static analysis for a simplified spreadsheet language. Last, we propose a representation for abstract values and present an implementation of our analysis.
Type de document :
Communication dans un congrès
Antoine Miné and David Schmidt. SAS'12 - 19th International Static Analysis Symposium, Sep 2012, Deauville, France. Springer, 7460, pp.94-110, 2012, Lecture notes in computer science. 〈10.1007/978-3-642-33125-1_9〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00760424
Contributeur : Xavier Rival <>
Soumis le : lundi 3 décembre 2012 - 20:16:49
Dernière modification le : mardi 24 avril 2018 - 17:20:13
Document(s) archivé(s) le : lundi 4 mars 2013 - 03:54:37

Fichier

sas12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Tie Cheng, Xavier Rival. An Abstract Domain to Infer Types over Zones in Spreadsheets. Antoine Miné and David Schmidt. SAS'12 - 19th International Static Analysis Symposium, Sep 2012, Deauville, France. Springer, 7460, pp.94-110, 2012, Lecture notes in computer science. 〈10.1007/978-3-642-33125-1_9〉. 〈hal-00760424〉

Partager

Métriques

Consultations de la notice

292

Téléchargements de fichiers

116