Syntactic extensions in the programming language LISP
Syntactic extensions in the programming language LISP
A critique of Abelson and Sussman or why calculating is better than scheming
ACM SIGPLAN Notices
Structure and interpretation of computer programs
Structure and interpretation of computer programs
&lgr;-V-CS: an extended &lgr;-calculus for scheme
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
PC Scheme: user's guide and language reference manual (trade ed.)
PC Scheme: user's guide and language reference manual (trade ed.)
The revised report on the syntactic theories of sequential control and state
Theoretical Computer Science
On the expressive power of programming languages
ESOP '90 Selected papers from the symposium on 3rd European symposium on programming
Abstract debugging of higher-order imperative languages
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Set-based analysis of ML programs
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Science of Computer Programming
Catching bugs in the web of program invariants
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Componential set-based analysis
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Units: cool modules for HOT languages
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Programming languages as operating systems (or revenge of the son of the lisp machine)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Understanding memory allocation of scheme programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Finding the source of type errors
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
GNU EMACS Manual
Programming the Web with High-Level Programming Languages
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
An environment for logic programming
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
A model and an implementation of a logic programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Incremental Recompilation for Standard ML of New Jersey
Incremental Recompilation for Standard ML of New Jersey
Bee: an integrated development environment for the Scheme programming language
Journal of Functional Programming
Modular verification of collaboration-based software designs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Pointcuts and advice in higher-order languages
Proceedings of the 2nd international conference on Aspect-oriented software development
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
The CONTINUE Server (or, How I Administered PADL 2002 and 2003)
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The Influence of Software Module Systems on Modular Verification
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
A soft-typing system for Erlang
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
Java IO and testing made simple
Proceedings of the 35th SIGCSE technical symposium on Computer science education
The structure and interpretation of the computer science curriculum
Journal of Functional Programming
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
Automatically Restructuring Programs for the Web
Automated Software Engineering
Improving the static analysis of embedded languages via partial evaluation
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
A sound (and complete) model of contracts
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
A Dataflow Language for Scriptable Debugging
Proceedings of the 19th IEEE international conference on Automated software engineering
Environmental acquisition revisited
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGPLAN Notices
Calculator problem and the design recipe
ACM SIGPLAN Notices
Verification and change-impact analysis of access-control policies
Proceedings of the 27th international conference on Software engineering
Laziness without all the hard work: combining lazy and strict languages for teaching
Proceedings of the 2005 workshop on Functional and declarative programming in education
Continuations from generalized stack inspection
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
TypEr: a type annotator of Erlang code
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Selectors Make Set-Based Analysis Too Hard
Higher-Order and Symbolic Computation
Design of class hierarchies: an introduction to OO program design
Proceedings of the 37th SIGCSE technical symposium on Computer science education
EDUCATIONAL PEARL: Automata via macros
Journal of Functional Programming
Practical type inference based on success typings
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Methods and tools for exploring novice compilation behaviour
Proceedings of the second international workshop on Computing education research
Static analysis for syntax objects
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Sound and complete models of contracts
Journal of Functional Programming
Slideshow: functional presentations
Journal of Functional Programming
Design of a simple functional programming language and environment for CS2
Journal of Computing Sciences in Colleges
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Semantics and scoping of aspects in higher-order languages
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Lowering: a static optimization technique for transparent functional reactivity
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A framework for the static verification of api calls
Journal of Systems and Software
The design and implementation of a dataflow language for scriptable debugging
Automated Software Engineering
WinHIPE: an IDE for functional programming based on rewriting and visualization
ACM SIGPLAN Notices
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Adding delimited and composable control to a production programming environment
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A language for specifying type contracts in erlang and its interaction with success typings
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Implementation and use of the PLT scheme Web server
Higher-Order and Symbolic Computation
The design and implementation of typed scheme
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A tool to help students to develop programming skills
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Breaking the barriers to successful refactoring: observations and tools for extract method
Proceedings of the 30th international conference on Software engineering
Functional programming and theorem proving for undergraduates: a progress report
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Regular-expression derivatives re-examined
Journal of Functional Programming
A functional I/O system or, fun for freshman kids
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Making induction manifest in modular ACL2
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Computational logic in the undergraduate curriculum
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Science of Computer Programming
A model of triangulating environments for policy authoring
Proceedings of the 15th ACM symposium on Access control models and technologies
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Experience report: growing programming languages for beginning students
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Random testing for higher-order, stateful programs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Contracts for first-class classes
Proceedings of the 6th symposium on Dynamic languages
Correct blame for contracts: no more scapegoating
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Measuring the effectiveness of error messages designed for novice programmers
Proceedings of the 42nd ACM technical symposium on Computer science education
Journal of Functional Programming
Growing a language environment with editor libraries
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Crossing state lines: adapting object-oriented frameworks to functional reactive languages
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
A programming environment supporting a prototype-based introduction to OOP
Proceedings of the International Workshop on Smalltalk Technologies
Using static analysis to detect type errors and concurrency defects in erlang programs
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Embedding dynamic dataflow in a call-by-value language
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Functional video games in CS1 II: from structural recursion to generative and accumulative recursion
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
The function, and dysfunction, of information sources in learning functional programming
Journal of Computing Sciences in Colleges
Grace: the absence of (inessential) difficulty
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Optimization coaching: optimizers learn to communicate with programmers
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Gradual typing for first-class classes
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Precise explanation of success typing errors
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Seeking grace: a new object-oriented language for novices
Proceeding of the 44th ACM technical symposium on Computer science education
Teaching garbage collection without implementing compiler or interpreters
Proceeding of the 44th ACM technical symposium on Computer science education
An evaluation of interactive test-driven labs with WebIDE in CS0
Proceedings of the 2013 International Conference on Software Engineering
A Review of Generic Program Visualization Systems for Introductory Programming Education
ACM Transactions on Computing Education (TOCE)
ICFP 2002: Contracts for higher-order functions
ACM SIGPLAN Notices - Supplemental issue
Contracts for First-Class Classes
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Empirical Investigation into Programming Language Syntax
ACM Transactions on Computing Education (TOCE)
Hi-index | 0.00 |
DrScheme is a programming environment for Scheme. It fully integrates a graphics-enriched 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.