Visually Customizing Inference Rules About Apples and Oranges

  title={Visually Customizing Inference Rules About Apples and Oranges},
  author={Margaret M. Burnett and Martin Erwig},
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units instead of the abstract concept of types. In previous work, we defined such a system formally. In this paper, we describe a visual system to support the formal reasoning in two ways. First, it supports communicating and explaining the unit inference process to users. Second and more important, our approach allows users to change the system’s reasoning by adding and customizing the… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
15 Citations
27 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 15 extracted citations


Publications referenced by this paper.
Showing 1-10 of 27 references


  • N. Dershowitz, D. A. Plaisted
  • A. Robinson and A. Voronkov, editors, Handbook…
  • 2001
1 Excerpt

Seals . Teachers as Simulation Programmers : Minimalist Learning and Reuse

  • S. Blott
  • ACM Conf . on Human Factors in Computing Systems
  • 2001

End-User Programmable Simulations

  • A. Ioannidou, A. Repenning
  • Dr. Dobb’s Journal , 1999(August):40–48,
  • 1999
3 Excerpts

Similar Papers

Loading similar papers…