DrScheme: A pedagogic programming environment for scheme

This publication has 14 references indexed in Scilit:

• Componential set-based analysis
  Published by Association for Computing Machinery (ACM) ,1997
• Catching bugs in the web of program invariants
  Published by Association for Computing Machinery (ACM) ,1996
• Set-based analysis of ML programs
  Published by Association for Computing Machinery (ACM) ,1994
• Syntactic abstraction in scheme
  Higher-Order and Symbolic Computation, 1993
• Abstract debugging of higher-order imperative languages
  Published by Association for Computing Machinery (ACM) ,1993
• The revised report on the syntactic theories of sequential control and state
  Theoretical Computer Science, 1992
• On the expressive power of programming languages
  Science of Computer Programming, 1991
• Hygienic macro expansion
  Published by Association for Computing Machinery (ACM) ,1986
• A model and an implementation of a logic programming environment
  ACM SIGPLAN Notices, 1985
• An environment for logic programming
  ACM SIGPLAN Notices, 1985