Validating the unit correctness of spreadsheet programs

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Proceedings. 26th International Conference on Software Engineering

• Publication date

  2004-05-23

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/ICSE.2004.1317466
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A type system for statically detecting spreadsheet errors

  2003cited by this paper
• End-user software engineering with assertions in the spreadsheet paradigm

  2003cited by this paper
• Harnessing curiosity to increase correctness in end-user programming

  2003cited by this paper
• Component support in PLT scheme

  2002influential reference
• Visually customizing inference rules about apples and oranges

  2002cited by this paper
• Adding Apples and Oranges

  2002cited by this paper
• DrScheme: a programming environment for Scheme

  2002cited by this paper
• A methodology for testing spreadsheets

  2001cited by this paper
• Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm

  2001cited by this paper
• Spreadsheets in science and engineering

  1998cited by this paper
• Fluid visualization of spreadsheet structures

  1998cited by this paper
• What we know about spreadsheet errors

  1998cited by this paper
• Relational parametricity and units of measure

  1997cited by this paper
• Catching bugs in the web of program invariants

  1996cited by this paper
• Programming languages and dimensions

  1995cited by this paper
• Dimension inference under polymorphic recursion

  1995cited by this paper
• Conversion of Units of Measurement

  1995cited by this paper
• Inf'erence d'unit'es physiques en ML

  1994cited by this paper
• Automatic Dimensional Inference

  1991cited by this paper
• Finding the source of type errors

  1986cited by this paper
• A Proposal for an Extended Form of Type Checking of Expressions

  1983cited by this paper
• Units of Measure as a Data Attribute

  1977cited by this paper

• Spreadsheet quality assurance: a literature review

  2024cites this paper
• Improving Feedback from Automated Reviews of Student Spreadsheets

  2023influential citation
• Managing Quantities and Units of Measurement in Code Bases

  2023cites this paper
• Discerning Quantities from Units of Measurement

  2022cites this paper
• A Discipline of Programming with Quantities

  2022cites this paper
• Deriving equations from sensor data using dimensional function synthesis

  2021influential citation
• Types for Tables: A Language Design Benchmark

  2021cites this paper
• Developing computational thinking skills with algorithm-driven spreadsheeting

  2021cites this paper
• From Quantities in Software Models to Implementation

  2021cites this paper
• Unit of measurement libraries, their popularity and suitability

  2020cites this paper
• Understanding and Inferring Units in Spreadsheets

  2020influential citation
• Detecting measurement issues in SQL arithmetic expressions and aggregations

  2019cites this paper
• Understanding and Estimating Uncertainties and Risks in Architecture Design: from Analytical Analysis to Detailed Simulation

  2019cites this paper
• Language Support for Navigating Architecture Design in Closed Form

  2019cites this paper
• Deriving Equations from Sensor Data Using Dimensional Function Synthesis

  2019cites this paper
• Computing for Other Disciplines

  2019cites this paper
• Charm: A Language for Closed-Form High-Level Architecture Modeling

  2018cites this paper
• ExceLint: automatically finding spreadsheet formula errors

  2018cites this paper
• The next 700 unit of measurement checkers

  2018cites this paper
• Newton: A Language for Describing Physics

  2018cites this paper
• Lightweight detection of physical unit inconsistencies without program annotations

  2017cites this paper
• Spreadsheet Tools for Data Analysts

  2017cites this paper
• Automated model-based spreadsheet debugging

  2017cites this paper
• Financial information description language and visualization/analysis tools

  2017cites this paper
• Trends in Topics in Software Engineering Conferences, 1992 to 2016

  2016cites this paper
• Interpreted Formalism: Towards System Assurance and theReal-World Semantics of Software

  2016cites this paper
• Policy analytics need more than a spreadsheet: a case study in funding formulae

  2016cites this paper
• A Rigorous Definition of Cyber-Physical Systems

  2016cites this paper
• Simple spreadsheet test case application to test spreadsheet formula in end-user software engineering

  2016cites this paper
• Getting the units right

  2016cites this paper
• SS-BDD: Automated Acceptance Testing for Spreadsheets

  2016cites this paper
• Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection

  2015cites this paper
• Real-World Types and Their Application

  2015cites this paper
• Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA

  2014cites this paper
• CheckCell

  2014cites this paper
• Copy-Paste Detection in Spreadsheets

  2013cites this paper
• Data Debugging

  2013cites this paper
• How do you know your spreadsheet is right?

  2013cites this paper
• Policy analytics need more than a spreadsheet: a case study in funding formulae

  2013influential citation
• Automatic Dimensional Analysis of Cyber-Physical Systems

  2012cites this paper
• An Abstract Domain to Infer Types over Zones in Spreadsheets

  2012cites this paper
• Systematic evolution of model-based spreadsheet applications

  2012cites this paper
• Spreadsheet-based template language prototype for tree data structure description and interpretation

  2012cites this paper
• Inferring Templates from Spreadsheets

  2011cites this paper
• Model-based spreadsheet engineering

  2011cites this paper
• AN ABSTRACT OF THE THESIS OF Chris Chambers for the degree of Master of Science in Computer Science presented on June 3, 2010. Title: Dimension Checking Tools for Spreadsheets Abstract approved:

  2011influential citation
• “Little language” project modules

  2010cites this paper
• EDUCATIONAL PEARL "Little language" project modules

  2010cites this paper
• Toward model-based debugging of spreadsheet programs

  2010cites this paper
• Reasoning about spreadsheets with labels and dimensions

  2010influential citation
• Automatic detection of dimension errors in spreadsheets

  2009cites this paper
• Combining spatial and semantic label analysis

  2009influential citation
• The State of the Art in End-User Software Engineering

  2009cites this paper
• The State of the Art in End-User Software Engineering

  2009cites this paper
• Mutation Operators for Spreadsheets

  2009cites this paper
• Software Engineering for Spreadsheets end-us e r soft war e e ngine e ring

  2009cites this paper
• End-User Software Engineering in the Spreadsheet Paradigm

  2009influential citation
• Software Engineering for Spreadsheets

  2009cites this paper
• Automatic dimension inference and checking for object-oriented programs

  2009cites this paper
• Dimension inference in spreadsheets

  2008cites this paper
• Test-driven goal-directed debugging in spreadsheets

  2008cites this paper
• Spreadsheet Programming

  2008cites this paper
• The State of the Art in End-User Software Engineering

  2008cites this paper
• Modeling for Insight

  2008cites this paper
• The State of the Art in End-User Software Engineering

  2008cites this paper
• UCheck: A spreadsheet type checker for end users

  2007cites this paper
• GoalDebug: A Spreadsheet Debugger for End Users

  2007influential citation
• A Type System Based on End-User Vocabulary

  2007cites this paper
• Spreadsheet functional programming

  2007influential citation
• A Type System Based on End-User Vocabulary

  2007cites this paper
• Mutation testing of spreadsheets

  2006cites this paper
• Osprey: a practical type system for validating dimensional unit correctness of C programs

  2006cites this paper
• AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets

  2006cites this paper
• Checking Data Flow Models for Correct Use of Physical Units

  2006cites this paper
• Unit & dynamic typing in hybrid systems modeling with CHARON

  2006cites this paper
• Checking SCADE Models for Correct Usage of Physical Units

  2006cites this paper
• Type inference for spreadsheets

  2006cites this paper
• Interactive fault localization techniques in a spreadsheet environment

  2006cites this paper
• Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets

  2006cites this paper
• Inferring templates from spreadsheets

  2006cites this paper
• An empirical evaluation of a testing and debugging methodology for Excel

  2006cites this paper
• Automatic generation and maintenance of correct spreadsheets

  2005cites this paper
• Helping end-users "engineer" dependable Web applications

  2005cites this paper
• Annotation-less Unit Type Inference for C

  2005cites this paper
• Using objects of measurement to detect spreadsheet errors

  2005cites this paper
• ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications

  2005cites this paper
• The EUSES spreadsheet corpus: a shared resource for supporting experimentation with spreadsheet dependability mechanisms

  2005cites this paper
• An empirical study of fault localization for end-user programmers

  2005cites this paper
• Introducing Units in Spreadsheets

  2005cites this paper
• Header and Unit Inference for Spreadsheets Through Spatial Analyses

  2004cites this paper
• Int. Workshop on the Foundations of Spreadsheets (fos'04) Int. Workshop on the Foundations of Spreadsheets (fos'04) Program Committee I. Position Statements towards Safer Spreadsheets

  2004cites this paper
• Spreadsheet Modeling for Insight

  2004influential citation
• Towards Safer Spreadsheets !

  2004cites this paper
• Dealing with life in the cells: An experimental study

  2004cites this paper
• The impact of two orthogonal factors in interactive fault localization

  2004cites this paper
• Under Consideration for Publication in J. Functional Programming Gencel: a Program Generator for Correct Spreadsheets *

  year unknowncites this paper