loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE 2002 Symposium on Human Centric Computing Languages and Environments (HCC'02)
Visually Customizing Inference Rules About Apples and Oranges
Arlington, Virginia, USA
September 03-September 06
ISBN: 0-7695-1644-0
Margaret Burnett, Oregon State University
Martin Erwig, Oregon State University
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 system?s inference rules.
Citation:
Margaret Burnett, Martin Erwig, "Visually Customizing Inference Rules About Apples and Oranges," hcc, pp.140, IEEE 2002 Symposium on Human Centric Computing Languages and Environments (HCC'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.