article

Free access

The University of Washington illustrating compiler

Authors:

Robert R. Henry,

Kenneth M. Whaley,

Bruce ForstallAuthors Info & Claims

ACM SIGPLAN Notices, Volume 25, Issue 6

Pages 223 - 233

https://doi.org/10.1145/93548.93571

Published: 01 June 1990 Publication History

PDF eReader

Abstract

The University of Washington illustrating compiler (UWPI) automatically illustrates the data structures used in simple programs written in a subset of Pascal². A UWPI user submits a program to UWPI, and can then watch a graphical display show time varying illustrations of the data structures and program source code. UWPI uses the information latent in the program to determine how to illustrate the program. UWPI infers the abstract data types directly from the declarations and operations used in the source program, and then lays out the illustration in a natural way by instantiating well-known layouts for the abstracts types. UWPI solves program illustration using compile-time pattern matching and type inferencing to link anticipated execution events to display events, rather than relying on user assistance or specialized programming techniques. UWPI has been used to automatically illustrate didactic sorting and searching examples, and can be used to help teach basic data structures, or to help when debugging programs.

References

[1]

K. Andrews, R. R. Henry and W. K. Yamamoto, "Design and Implementation of the UW Illustrated Compiler", Proceedings of the ACM SIGPLAN 1988 Symposium on Programming Lanuage Design and Implementation, SiGPLAN Notices 23, 6 (June 1988), 105-114.

Digital Library

Google Scholar

[2]

M. H. Brown and R. Sedgewick, "Techniques for Algorithm Animation", IEEE Software 2, 1 (1985), 28-39.

Digital Library

Google Scholar

[3]

M. H. Brown, "Algorithm Animation", PhD Thesis, Technical Report CS-87-05, Department of Computer Science, Brown University, April 1987.

Digital Library

Google Scholar

[4]

B. Freeman-Benson, J. Maloney and A. Boming, "An Incremental Constraint Solver", Communications of the ACM 33, 1 (January 1990).

Digital Library

Google Scholar

[5]

R. R. Henry, K. M. Whaley and B. Forstall, "A Demonstration of the UW Illustrating Compiler", Video Tape, Computer Science Dept., Univ. of WA, Seattle, WA, April 1990.

Google Scholar

[6]

R. London and R. A. Duisberg, "Animating Programs Using Smalltalk", IEEE Computer 18, 8 (August 1985), 61-71.

Digital Library

Google Scholar

[7]

R. Milner, "A Theory of Type Polymorphism in Programming", Journal of Computer and System Sciences 17, 3 (December 1978), 348-375.

Crossref

Google Scholar

[8]

B. A. Myers, "Incense: A System for Displaying Data Structures", Computer Graphics 17, 3 (1983).

Digital Library

Google Scholar

[9]

C. Rich and R. C. Waters, "The Programmer's Apprentice Project: A Rose. arch Overview" MIT (Submitted to IEEE Software), November '1987.

Crossref

Google Scholar

[10]

L. A. Rowe, M. Davis, E. Messinger, C. Meyer, C. Spirakis and A. Tuan, "A Browser for Directed Graphs", Software.-4'ractice & Experience 17, 1 (January 1987), 61-76.

Digital Library

Google Scholar

[11]

K. Sugiyama, S. Tagawa and M. Toda, "Methods for Visual Understanding of Hierarchical System Structures", IEEE Transactions on Systems, Man, and Cybernetics SMC-11 (February 1981), 109-125.

Crossref

Google Scholar

[12]

K. M. Whaley, "UWPI: A System to Automatically Construct Illustrated Programs", Masters Thesis, UWCSD, Seattle, WA, member, 1989.

Google Scholar

Cited By

View all

Pirzadeh HHamou-Lhadj A(2010)A View of Monitoring and Tracing Techniques and Their Application to Service-Based EnvironmentsMultimedia Services in Intelligent Environments10.1007/978-3-642-13355-8_4(49-62)Online publication date: 2010
https://doi.org/10.1007/978-3-642-13355-8_4
Tudoreanu MDiehl SStasko J(2003)Designing effective program visualization tools for reducing user's cognitive effortProceedings of the 2003 ACM symposium on Software visualization10.1145/774833.774848(105-ff)Online publication date: 11-Jun-2003
https://dl.acm.org/doi/10.1145/774833.774848
Kerren AStasko J(2002)Chapter 1 Algorithm AnimationSoftware Visualization10.1007/3-540-45875-1_1(1-15)Online publication date: 10-Apr-2002
https://doi.org/10.1007/3-540-45875-1_1
Show More Cited By

Index Terms

The University of Washington illustrating compiler
1. Mathematics of computing
  1. Discrete mathematics
    1. Graph theory
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools

Recommendations

The University of Washington illustrating compiler
PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

The University of Washington illustrating compiler (UWPI) automatically illustrates the data structures used in simple programs written in a subset of Pascal². A UWPI user submits a program to UWPI, and can then watch a graphical display show time ...
Lifting the abstraction level of compiler transformations
A type-preserving compiler in Haskell
ICFP '08

There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants, in order to capture important invariants of the program in the types. This allows type-based program ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 25, Issue 6

Jun. 1990

343 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/93548

Editor:
Marina Chen

Issue’s Table of Contents

PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
June 1990
351 pages
ISBN:0897913647
DOI:10.1145/93542
Chairman:
Bernard N. Fischer

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1990

Published in SIGPLAN Volume 25, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
513
Total Downloads

Downloads (Last 12 months)114
Downloads (Last 6 weeks)13

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pirzadeh HHamou-Lhadj A(2010)A View of Monitoring and Tracing Techniques and Their Application to Service-Based EnvironmentsMultimedia Services in Intelligent Environments10.1007/978-3-642-13355-8_4(49-62)Online publication date: 2010
https://doi.org/10.1007/978-3-642-13355-8_4
Tudoreanu MDiehl SStasko J(2003)Designing effective program visualization tools for reducing user's cognitive effortProceedings of the 2003 ACM symposium on Software visualization10.1145/774833.774848(105-ff)Online publication date: 11-Jun-2003
https://dl.acm.org/doi/10.1145/774833.774848
Kerren AStasko J(2002)Chapter 1 Algorithm AnimationSoftware Visualization10.1007/3-540-45875-1_1(1-15)Online publication date: 10-Apr-2002
https://doi.org/10.1007/3-540-45875-1_1
Mukherjea SStasko J(1994)Toward visual debuggingACM Transactions on Computer-Human Interaction10.1145/196699.1967021:3(215-244)Online publication date: 1-Sep-1994
https://dl.acm.org/doi/10.1145/196699.196702
Jeffery CGriswold R(1994)A framework for execution monitoring in IconSoftware—Practice & Experience10.1002/spe.438024110424:11(1025-1049)Online publication date: 1-Nov-1994
https://dl.acm.org/doi/10.1002/spe.4380241104
Mukherjea SStasko JBasili VDeMillo RKatayama T(1993)Applying algorithm animation techniques for program tracing, debugging, and understandingProceedings of the 15th international conference on Software Engineering10.5555/257572.257674(456-465)Online publication date: 21-May-1993
https://dl.acm.org/doi/10.5555/257572.257674
Baeza-Yates RPino J(1993)Visual and Collaborative Tools for Software Engineering EducationSoftware Engineering Education10.1016/B978-0-444-81597-2.50032-2(255-262)Online publication date: 1993
https://doi.org/10.1016/B978-0-444-81597-2.50032-2
Kellogg MDaskiewicz DDuc Nguyen LAhmed MErnst M(2023)Pluggable Type Inference for Free2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)10.1109/ASE56229.2023.00186(1542-1554)Online publication date: 11-Sep-2023
https://doi.org/10.1109/ASE56229.2023.00186
Jeffery CAl-Gharaibeh JJeffery CAl-Gharaibeh J(2014)IntroductionWriting Virtual Environments for Software Visualization10.1007/978-1-4614-1755-2_1(1-6)Online publication date: 29-Nov-2014
https://doi.org/10.1007/978-1-4614-1755-2_1
Korhonen A(2012)Applications of Visual Algorithm SimulationComputer Engineering10.4018/978-1-61350-456-7.ch304(546-563)Online publication date: 2012
https://doi.org/10.4018/978-1-61350-456-7.ch304
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations