DrScheme is a programming environment for Scheme. It fully integrates a graphicsenriched editor, a parser for multiple variants of Scheme, a functional read-eval-print loop, and an algebraic printer. The environment is especially useful for students, because it has a tower of syntactically restricted variants of Scheme that are designed to catch typical student mistakes and explain them in terms the students understand. The environment is also useful for professional programmers, due to its sophisticated programming tools, such as the static debugger, and its advanced language features, such as units and mixins. Beyond the ordinary programming environment tools, DrScheme provides an algebraic stepper, a context-sensitive syntax checker, and a static debugger. The stepper reduces Scheme programs to values, according to the reduction semantics of Scheme. It is useful for explaining the semantics of linguistic facilities and for studying the behavior of small programs. The syntax checker annotates programs with font and color changes based on the syntactic structure of the program. On demand, it draws arrows that point from bound to binding occurrences of identifiers. It also supports α-renaming. Finally, the static debugger provides a type inference system that explains specific inferences in terms of a value-flow graph, selectively overlaid on the program text.

References in zbMATH (referenced in 23 articles , 1 standard article )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Nipkow, Tobias: Teaching semantics with a proof assistant: no more LSD trip proofs (2012)
  2. Culpepper, Ryan; Felleisen, Matthias: Debugging hygienic macros (2010)
  3. Stump, Aaron: Directly reflective meta-programming (2010)
  4. Hindle, Abram; Godfrey, Michael W.; Holt, Richard C.: Reading beside the lines: Using indentation to rank revisions by complexity (2009)
  5. Owens, Scott; Reppy, John; Turon, Aaron: Regular-expression derivatives re-examined (2009)
  6. Krishnamurthi, Shriram; Hopkins, Peter Walton; McCarthy, Jay; Graunke, Paul T.; Pettyjohn, Greg; Felleisen, Matthias: Implementation and use of the PLT scheme web server (2007)
  7. Marceau, Guillaume; Cooper, Gregory H.; Spiro, Jonathan P.; Krishnamurthi, Shriram; Reiss, Steven P.: The design and implementation of a dataflow language for scriptable debugging (2007)
  8. Blume, Matthias; McAllester, David: Sound and complete models of contracts (2006)
  9. Cooper, Gregory H.; Krishnamurthi, Shriram: Embedding dynamic dataflow in a call-by-value language (2006)
  10. Dutchyn, Christopher; Tucker, David B.; Krishnamurthi, Shriram: Semantics and scoping of aspects in higher-order languages (2006)
  11. Findler, Robert Bruce; Flatt, Matthew: Slideshow: functional presentations (2006)
  12. Flatt, Matthew; Findler, Robert Bruce; Felleisen, Matthias: Scheme with classes, mixins, and traits (2006)
  13. Meunier, Philippe; Findler, Robert Bruce; Steckler, Paul; Wand, Mitchell: Selectors make set-based analysis too hard (2005)
  14. Wagenknecht, Christian: Programming paradigms. An introduction based on Scheme. (2004)
  15. Nystrom, Nathaniel; Clarkson, Michael R.; Myers, Andrew C.: Polyglot: An extensible compiler framework for Java (2003)
  16. Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias: DrScheme: A programming environment for scheme (2002)
  17. Krishnamurthi, Shriram: The CONTINUE server (or, how I administered PADL 2002 and 2003) (2002)
  18. Li, Harry C.; Fisler, Kathi; Krishnamurthi, Shriram: The influence of software module systems on modular verification (2002)
  19. Steckler, Paul A.: Component support in PLT scheme (2002)
  20. Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Serpette, Bernard; de Sousa, Simão Melo: A formal executable semantics of the JavaCard platform (2001)

1 2 next