Article

Free access

The University of Washington illustrating compiler

Authors:

Robert R. Henry,

Kenneth M. Whaley,

Bruce ForstallAuthors Info & Claims

PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

Pages 223 - 233

https://doi.org/10.1145/93542.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

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

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

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

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

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

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

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 406 of 2,067 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
479
Total Downloads

Downloads (Last 12 months)88
Downloads (Last 6 weeks)14

Reflects downloads up to 17 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

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
Korhonen A(2011)Applications of Visual Algorithm SimulationComputer Engineering10.4018/978-1-61350-456-7.ch3.4(546-563)Online publication date: 31-Dec-2011
https://doi.org/10.4018/978-1-61350-456-7.ch3.4
Sundararaman JBack GKoschke RHundhausen CTelea A(2008)HDPVProceedings of the 4th ACM symposium on Software visualization10.1145/1409720.1409729(47-56)Online publication date: 16-Sep-2008
https://dl.acm.org/doi/10.1145/1409720.1409729
Fleischer RTrippen G(2005)On the effectiveness of visualizations in a theory of computing courseProceedings of the 2005 joint Chinese-German conference on Cognitive systems10.5555/1762624.1762627(15-24)Online publication date: 7-Mar-2005
https://dl.acm.org/doi/10.5555/1762624.1762627
Lönnberg JKorhonen AMalmi LCostabile M(2004)MVTProceedings of the working conference on Advanced visual interfaces10.1145/989863.989931(385-388)Online publication date: 25-May-2004
https://dl.acm.org/doi/10.1145/989863.989931
Chan KLiang ZMichail AClarke LDillon LTichy W(2003)Design recovery of interactive graphical applicationsProceedings of the 25th International Conference on Software Engineering10.5555/776816.776831(114-124)Online publication date: 3-May-2003
https://dl.acm.org/doi/10.5555/776816.776831
Chan KZhi Cong Leo Liang Michail A(2003)Design recovery of interactive graphical applications25th International Conference on Software Engineering, 2003. Proceedings.10.1109/ICSE.2003.1201193(114-124)Online publication date: 2003
https://doi.org/10.1109/ICSE.2003.1201193
Korhonen AMalmi L(2002)MatrixProceedings of the Working Conference on Advanced Visual Interfaces10.1145/1556262.1556278(109-114)Online publication date: 22-May-2002
https://dl.acm.org/doi/10.1145/1556262.1556278
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.

Cited By

Index Terms

Recommendations

The University of Washington illustrating compiler

Lifting the abstraction level of compiler transformations

A type-preserving compiler in Haskell