Visually customizing inference rules about apples and oranges

Proceedings - IEEE 2002 Symposia on Human Centric Computing Languages and Environments, HCC 2002

Volumn , Issue , 2002, Pages 140-148

  Burnett, M ^a   Erwig, M ^a  

^a Oregon State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT CONCEPT; END USERS; FORMAL REASONING; INFERENCE PROCESS; INFERENCE RULES; IT SUPPORTS; UNIT SYSTEMS; VISUAL SYSTEMS;

FRUITS;

EID: 4544361473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HCC.2002.1046366     Document Type: Conference Paper

References (24)

1. M. M. Burnett, S. Chekka, and R. Pandey. FAR: An End-User Language to Support Cottage E-Services. In 1st IEEE Symp. on Human-Centric Computing Languages and Environments, pages 195-202, 2001.
2. A. Cypher and D. Smith. KidSim: End-User Programming of Simulations. In ACM Conf. on Human Factors in Computing Systems, 1995.
3. L. Damas and R. Milner. Principal Type Schemes for Functional Programming Languages. In 9th ACM Symp. on Principles of Programming Languages, pages 207-208, 1982.
4. N. Dershowitz and D. A. Plaisted. Rewriting. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, chapter 9. Elsevier Science Publishers, Amsterdam, NL, 2001.
5. M. Erwig and M. M. Burnett. Adding Apples and Oranges. In 4th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 2257, pages 173-191, 2002.
6. N. Heger, A. Cypher, and D. Smith. Cocoa at the Visual Programming Challenge 1997. Journal of Visual Languages and Computing, 9(2):151-169, 1998. (Pubitemid 128179948)
7. A. Ioannidou and A. Repenning. End-User Programmable Simulations. Dr. Dobb's Journal, 1999(August):40-48, 1999.
8. M. P. Jones. A Theory of Qualified Types. In 3rd European Symp. on Programming, LNCS 582, pages 287-306, 1992.
9. A. Kennedy. Dimension Types. In 5th European Symp. on Programming, LNCS 788, pages 348-362, 1994.
10. A. Kennedy. Relational Parametricity and Units of Measure. In 24th ACM Symp. on Principles of Programming Languages, pages 442-455, 1997.
11. R. Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17:248-375, 1978.
12. B. Myers, S. Hudson, and R. Pausch. Past, Present, and Future of User Interface Software Tools. ACM Transactions on Computer-Human Interaction, 7(1):3-28, 2000.
13. B. Myers, D. Smith, and B. Horn. Report of the 'End-User Programming' Working Group. In B. Myers, editor, Languages for Developing User Interfaces, pages 343-366. A. K. Peters, Ltd.,Wellesley, MA, 1992.
14. M. Najork. Programming in Three Dimensions. Journal of Visual Languages and Computing, 7(2):219-242.
15. J. F. Pane and B. A.Myers. Tabular and Textual Methods for Selecting Objects from a Group. In 16th IEEE Symp. on Visual Languages, pages 157-164, 2000.
16. J. F. Pane and B. A. Myers. The Impact of Human-Centered Features on the Usability of a Programming System for Children. In ACM Extended Abstracts: Conf. on Human Factors in Computing Systems, 2002.
17. B. C. Pierce. Intersection Types and Bounded Polymorphism. Mathematical Structures in Computer Science, 7(2):129-193, 1997.
18. J. Poswig and C. Moraga. Incremental Type Systems and Implicit Parametric Overloading in Visual Languages. In 9th IEEE Symp. on Visual Languages, pages 126-133, 1993.
19. C. Rader, C. Brand, and C. Lewis. Degrees of Comprehension: Children'sUnderstanding of a Visual Programming Environment. In ACM Conf. on Human Factors in Computing Systems, pages 351-358, 1997.
20. C. Rader, G. Cherry, C. Brand, A. Repenning, and C. Lewis. Designing Mixed Textual and Iconic Programming Languages for Novice Users. In 14th IEEE Symp. on Visual Languages, pages 187-194, 1998.
21. A. Repenning and J. Ambach. Tactile Programming: A Unified Manipulation Paradigm Supporting Program Comprehension, Composition and Sharing. In 12th IEEE Symp. on Visual Languages, pages 102-109, 1996.
22. M. B. Rosson and C. D. Seals. Teachers as Simulation Programmers: Minimalist Learning and Reuse. In ACM Conf. on Human Factors in Computing Systems, pages 237-244, 2001.
23. P. Wadler and S. Blott. How to Make Ad Hoc Polymorphism Less Ad Hoc. In 16th ACM Symp. on Principles of Programming Languages, pages 60-76, 1989.
24. M.Wand and P. O'Keefe. Automatic Dimensional Inference. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 479-483. MIT Press, Cambridge, MA, 1991.