Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection-Reference-Cited by-同舟云学术

Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection

Published:2015 Issue: Volume: Page:26-52
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Cheng Tie,Rival Xavier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46669-8_2

Reference28 articles.

1. Report of JPMorgan Chase & Co. management task force regarding 2012 CIO losses (January 2013)

2. MS-VBAL: VBA language specification. Tech. rep., Microsoft Corporation (April 2014)

3. Abraham, R., Erwig, M.: Header and unit inference for spreadsheets through spatial analyses. In: Visual Languages and Human-Centric Computing. IEEE Computer Society (2004)

4. Abraham, R., Erwig, M.: UCheck: A spreadsheet type checker for end users. J. Vis. Lang. Comput. (2007)

5. Ahmad, Y., Antoniu, T., Goldwater, S., Krishnamurthi, S.: A type system for statically detecting spreadsheet errors. In: ASE (2003)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law;Lecture Notes in Computer Science;2024

2. “It’s Freedom to Put Things Where My Mind Wants”: Understanding and Improving the User Experience of Structuring Data in Spreadsheets;CHI Conference on Human Factors in Computing Systems;2022-04-29

3. Higher-Order Spreadsheets with Spilled Arrays;Programming Languages and Systems;2020

4. Handling Limited Resources in Mobile Computing via Closed-Loop Approximate Computations;IEEE Pervasive Computing;2019-01

5. An Abstract Interpretation Framework for Input Data Usage;Programming Languages and Systems;2018