A graphical abstract data type simulator
Page 653
Abstract
No abstract available.
References
[1]
Barnes, G. M. and G. A. Kind, Visual Simulations of Data Structures During Lecture, SIGCSE Bulletin, vol 19 # 1, Feb 1987, pp267-269
[2]
Doran, M. V., H. E. Longenecker and S. Atkins, Teaching of Algorithms Utilizing the SLAW Automated Algorithm to Pascal Code Generator Integrated into the Data and Code Visualization of Dr. Pascal, 27th Annual ACM Southeast Regional Conference, April 1989, Atlanta, GA, pp69-73
[3]
Myers, B. A., R. Chandhok and A Sateen, Automatic Data Visualization for Novice Pascal Progranm~rs, 1988 IEEE Workshop on Visual Languages, Pittsburgh, PA Oct 10-12, 1988, pp 192-198
[4]
Stone, D. C., Using Cumulative Graphic Traces in the Visualization of Sorting Algorithms, SIGCSE Bulletin, vol 21 # 4, Dec 1989.
- A graphical abstract data type simulator
Recommendations
Polymorphic type inference and abstract data types
Many statically typed programming languages provide an abstract data type construct, such as the module in Modula-2. However, in most of these languages, implementations of abstract data types are not first-class values. Thus, they cannot be assigned to ...
Relating typability and expressiveness in finite-rank intersection type systems (extended abstract)
ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programmingWe investigate finite-rank intersection type systems, analyzing the complexity of their type inference problems and their relation to the problem of recognizing semantically equivalent terms. Intersection types allow something of type τ1 Λ &...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
April 1991
711 pages
Copyright © 1991 ACM.
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]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 April 1991
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 135Total Downloads
- Downloads (Last 12 months)14
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in