An Abstract Domain to Infer Types over Zones in Spreadsheets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

An Abstract Domain to Infer Types over Zones in Spreadsheets

Résumé

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.
Fichier principal
Vignette du fichier
sas12.pdf (205.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00760424 , version 1 (03-12-2012)

Identifiants

Citer

Tie Cheng, Xavier Rival. An Abstract Domain to Infer Types over Zones in Spreadsheets. SAS'12 - 19th International Static Analysis Symposium, Sep 2012, Deauville, France. pp.94-110, ⟨10.1007/978-3-642-33125-1_9⟩. ⟨hal-00760424⟩
172 Consultations
188 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More