Drscheme: A programming environment for scheme

Journal of Functional Programming

Volumn 12, Issue 2, 2002, Pages 159-182

  Findler, Robert Bruce ^a   Clements, John ^a,b   Flanagan, Cormac ^a,c   Flatt, Matthew ^a,d   Krishnamurthi, Shriram ^a,e   Steckler, Paul ^a,b   Felleisen, Matthias ^a,b  

^a Rice University   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

^c Compaq System Research Center ^*  (United States)

^d Dept of Computer Science ^*  (United States)

^e BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SYNTACTICS;

SYNTAX CHECKER;

PROGRAM DEBUGGING;

EID: 0035994661     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0956796801004208     Document Type: Article

References (44)

1. Abstract debugging of higher-order imperative languages
2. Modeling an algebraic stepper
3. The revised4 report on the algorithmic language Scheme
4. Explaining type inference
5. An extended λ-calculus for Scheme
6. On the expressive power of programming languages
7. The revised report on the syntactic theories of sequential control and state
8. Componential set-based analysis
9. Catching bugs in the web of program invariants
10. PLT MzScheme: Language manual
11. Units: Cool modules for HOT languages
12. A programmer's reduction semantics for classes and mixins
13. Programming languages as operating systems (or revenge of the son of the Lisp machine)
14. An environment for logic programming
15. Programming the web with high-level programming languages
16. The MIT Scheme Team & A Cast of Thousands
17. Set based analysis of ML programs
18. A Prolog environment
19. Hygienic macro expansion
20. A model and animplementation of a logic programming environment
21. Bridging the gap between object-oriented and logic programming
22. Expressing structural properties as language constructs
23. From macros to reusable generative programming
24. Turbo Prolog revisited
25. The Objective Carol system
26. Special forms in lisp
27. Bee: An integrated development environment for the Scheme programming language
28. Understanding memory allocation of Scheme programs
29. A critique of Abelson and Sussman, or, why calculating is better than scheming
30. Finding the source of type errors