Article

Free access

Graphical visualization of the evaluation of functional programs

Authors:

Ricardo Jiménez-Peris,

Cristóbal Pareja-Flores,

Marta Patiño-Martínez,

J. Ángel Velázquez-IturbideAuthors Info & Claims

ITiCSE '96: Proceedings of the 1st conference on Integrating technology into computer science education

Pages 36 - 38

https://doi.org/10.1145/237466.237520

Published: 01 January 1996 Publication History

PDF eReader

References

[1]

First international Symposium on Functional Programming Languages in Education (FPLE'95). Nijmegen-Plasmolen, The Netherlands, December 1995.

Google Scholar

[2]

Foubister, S. P. and Runciman, C. Techniques for simplifying the visualization of graph reduction. In K. Hammond, D. N. Turner and P. M. Sansom (eds.) Functional Programming, Glasgow 1994, Springer-Verlag, 1995, pp. 66-77.

Google Scholar

[3]

Johnson, M. S. (ed.). ACM SIGSOFT/SIGPLAN Software Engineering Simposium on High-Level Debugging. Pacific Grove, California, March 1983.

Google Scholar

[4]

Journal on Functional Programming, January 1993. Special issue on education.

Google Scholar

[5]

Perry, N. Hope. Technical Report IC/FPR/LANG/2.5.1/7, Dept. of Computing, Imperial College, University of London, October 1989.

Google Scholar

[6]

Price, B., Small, I. and Baecker, R. A principled taxonomy of software visualization. Journal of Visual Languages and Computing, 4(1), September 1993, pp. 211-266.

Crossref

Google Scholar

[7]

Reps, T. and Teitelbaum, T. Language processing in program editors. Computer, 20(11), November 1987, pp. 29-40.

Digital Library

Google Scholar

[8]

Roman, G. C. and Cox, K. A taxonomy of program visualization systems, Computer, 26(12), December 1993, pp. 11-24.

Digital Library

Google Scholar

[9]

Touretzky, D. S. and Lee, P. Visualizing evaluation in applicative languages, Communications of the A CM, 35(10), October 1992, pp. 49-59.

Digital Library

Google Scholar

[10]

Vel~quez-Iturbide, J. A. Improving functional programming environments for education. In M. D. Brouwer-Janse and T. L. Harfington (eds.), Human-Machine Communication for Education Systems Design, Springer-Verlag, 1994, pp. 325- 332.

Google Scholar

Cited By

View all

Boland MClifton C(2009)Introducing PyLighterACM SIGCSE Bulletin10.1145/1539024.150903741:1(489-493)Online publication date: 4-Mar-2009
https://dl.acm.org/doi/10.1145/1539024.1509037
Boland MClifton CFitzgerald SGuzdial MLewandowski GWolfman S(2009)Introducing PyLighterProceedings of the 40th ACM technical symposium on Computer science education10.1145/1508865.1509037(489-493)Online publication date: 4-Mar-2009
https://dl.acm.org/doi/10.1145/1508865.1509037
Velázquez-Iturbide J(2006)Principled design of logical fisheye views of functional expressionsACM SIGPLAN Notices10.1145/1163566.116357541:8(34-43)Online publication date: 1-Aug-2006
https://dl.acm.org/doi/10.1145/1163566.1163575
Show More Cited By

Index Terms

Recommendations

Partial evaluation of lazy functional logic programs: Thesis

This paper abstracts the contents of a PhD dissertation entitled “Partial Evaluation of Lazy Functional Logic Programs” which has been defended at the Technical University of Valencia, promoted by Prof. María Alpuente. Partial evaluation is an automatic ...
Graphical visualization of the evaluation of functional programs
Partial evaluation of functional logic programs

Languages that integrate functional and logic programming with a complete operational semantics are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction principle of functional languages and the resolution ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ITiCSE '96: Proceedings of the 1st conference on Integrating technology into computer science education

June 1996

236 pages

ISBN:0897918444

DOI:10.1145/237466

Chairman:
Boots Cassel
Villanova Univ., Villanova, PA

ACM SIGCSE Bulletin Volume 28, Issue SI
1996
234 pages
ISSN:0097-8418
DOI:10.1145/237477
Chairman:
Boots Cassel
Villanova Univ., Villanova, PA
Issue’s Table of Contents
ACM SIGCUE Outlook Volume 24, Issue 1-3
Jan.-July, 1996
234 pages
ISSN:0163-5735
DOI:10.1145/1013718
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 January 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ITiCSE96

Sponsor:

SIGCUE
SIGCSE
IEEE-CS\TCCA

ITiCSE96: SIGCSE/SIGCUE Joint Conference on Integrating

June 2 - 6, 1996

Barcelona, Spain

Acceptance Rates

Overall Acceptance Rate 552 of 1,613 submissions, 34%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
277
Total Downloads

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

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Boland MClifton C(2009)Introducing PyLighterACM SIGCSE Bulletin10.1145/1539024.150903741:1(489-493)Online publication date: 4-Mar-2009
https://dl.acm.org/doi/10.1145/1539024.1509037
Boland MClifton CFitzgerald SGuzdial MLewandowski GWolfman S(2009)Introducing PyLighterProceedings of the 40th ACM technical symposium on Computer science education10.1145/1508865.1509037(489-493)Online publication date: 4-Mar-2009
https://dl.acm.org/doi/10.1145/1508865.1509037
Velázquez-Iturbide J(2006)Principled design of logical fisheye views of functional expressionsACM SIGPLAN Notices10.1145/1163566.116357541:8(34-43)Online publication date: 1-Aug-2006
https://dl.acm.org/doi/10.1145/1163566.1163575
Jiménez-Peris RPareja-Flores CPatiño-Martínez MVelázquez-Iturbide J(2000)Towards Truly Educational Programming EnvironmentsComputer Science Education in the 21st Century10.1007/978-1-4612-1298-0_6(81-111)Online publication date: 2000
https://doi.org/10.1007/978-1-4612-1298-0_6
Velazquez-Iturbide JPresa-Vazquez A(1999)Customization of visualizations in a functional programming environmentFIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference. Designing the Future of Science and Engineering Education. Conference Proceedings (IEEE Cat. No.99CH3701110.1109/FIE.1999.841580(12B3/22-12B3/28)Online publication date: 1999
https://doi.org/10.1109/FIE.1999.841580
Naps TBergin JJiménez-Peris RMcNally MPatiño-Martínez MProulx VTarhio J(1997)Using the WWW as the delivery mechanism for interactive, visulaization-based instructional modulesACM SIGCUE Outlook10.1145/274382.27438025:4(13-26)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/274382.274380
Naps TBergin JJiménez-Peris RMcNally MPatiño-Martínez MProulx VTarhio JCassel LDaniels M(1997)Using the WWW as the delivery mechanism for interactive, visualization-based instructional modules (report of the ITiCSE '97 working group on visualization)The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings10.1145/266057.266062(13-26)Online publication date: 4-Jun-1997
https://dl.acm.org/doi/10.1145/266057.266062

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

Partial evaluation of lazy functional logic programs: Thesis

Graphical visualization of the evaluation of functional programs

Partial evaluation of functional logic programs