Article

DrScheme: A Pedagogic Programming Environment for Scheme

Authors:

Robert Bruce Findler,

Cormac Flanagan,

Matthew Flatt,

Shriram Krishnamurthi,

Matthias FelleisenAuthors Info & Claims

PLILP '97: Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education

Pages 369 - 388

Published: 03 September 1997 Publication History

Abstract

No abstract available.

Cited By

View all

MacCormick J(2023)Functional Programming, in the Data Structures Course, in JavaJournal of Computing Sciences in Colleges10.5555/3606402.360641438:8(80-90)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.5555/3606402.3606414
Åkesson ANordahl MHedin GMagnusson BMarr SSartor J(2018)Live programming of internet of things in PalComCompanion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming10.1145/3191697.3214342(121-126)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3191697.3214342
Reia RMenezes Leitão ADurand IPsota M(2016)Refactoring Dynamic LanguagesProceedings of the 9th European Lisp Symposium on European Lisp Symposium10.5555/3005729.3005730(5-12)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.5555/3005729.3005730
Show More Cited By

Recommendations

ACL2 in DrScheme
ACL2 '06: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications

Teaching undergraduates to develop software in a formal framework such as ACL2 poses two immediate challenges. First, students typically do not know applicative programming and are often unfamiliar with ACL2's syntax. Second, for motivational reasons, ...
Problem solving using DrScheme

This tutorial is a hands-on introduction to the DrScheme programming environment and its use in an Introductory Computer Science course. In particular, participants will analyze a problem statement; express its essence, abstractly and with examples; ...
The DrScheme project: an overview

DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environment is especially well-suited to beginning programmers because it supports ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

PLILP '97: Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education

September 1997

407 pages

ISBN:3540633987

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 03 September 1997

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

48
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

MacCormick J(2023)Functional Programming, in the Data Structures Course, in JavaJournal of Computing Sciences in Colleges10.5555/3606402.360641438:8(80-90)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.5555/3606402.3606414
Åkesson ANordahl MHedin GMagnusson BMarr SSartor J(2018)Live programming of internet of things in PalComCompanion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming10.1145/3191697.3214342(121-126)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3191697.3214342
Reia RMenezes Leitão ADurand IPsota M(2016)Refactoring Dynamic LanguagesProceedings of the 9th European Lisp Symposium on European Lisp Symposium10.5555/3005729.3005730(5-12)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.5555/3005729.3005730
Bossard AKaneko KPeng S(2015)Node-to-set disjoint paths routing in a metacubeInternational Journal of High Performance Computing and Networking10.1504/IJHPCN.2015.0727788:4(315-323)Online publication date: 1-Nov-2015
https://dl.acm.org/doi/10.1504/IJHPCN.2015.072778
Tirronen VIsomöttönen VKorhonen AMcCartney R(2011)Making teaching of programming learning-oriented and learner-directedProceedings of the 11th Koli Calling International Conference on Computing Education Research10.1145/2094131.2094143(60-65)Online publication date: 17-Nov-2011
https://dl.acm.org/doi/10.1145/2094131.2094143
Proulx V(2011)Introductory computingProceedings of the 5th international conference on Informatics in Schools: situation, Evolution and Perspectives10.1007/978-3-642-24722-4_16(177-188)Online publication date: 26-Oct-2011
https://dl.acm.org/doi/10.1007/978-3-642-24722-4_16
Heidegger PThiemann P(2010)Contract-driven testing of javascript codeProceedings of the 48th international conference on Objects, models, components, patterns10.5555/1894386.1894395(154-172)Online publication date: 28-Jun-2010
https://dl.acm.org/doi/10.5555/1894386.1894395
Mirolo CAyfer RImpagliazzo JLaxer C(2010)Learning (through) recursionProceedings of the fifteenth annual conference on Innovation and technology in computer science education10.1145/1822090.1822136(160-164)Online publication date: 26-Jun-2010
https://dl.acm.org/doi/10.1145/1822090.1822136
Lusth JKraft NTacey J(2009)Language subsetting via reflection and overloadingProceedings of the 39th IEEE international conference on Frontiers in education conference10.5555/1733663.1733941(1187-1192)Online publication date: 18-Oct-2009
https://dl.acm.org/doi/10.5555/1733663.1733941
Strickland TFelleisen M(2009)Contracts for first-class modulesACM SIGPLAN Notices10.1145/1837513.164014044:12(27-38)Online publication date: 26-Oct-2009
https://dl.acm.org/doi/10.1145/1837513.1640140
Show More Cited By

Abstract

Cited By

Recommendations

ACL2 in DrScheme

Problem solving using DrScheme

The DrScheme project: an overview

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations