R. Findler, C. Flanagan, M. Flatt, S. Krishnamurthi, M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In International Symposium on Programming Languages: Implementations, Logics, and Programs, 1997, 369388.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....In contrast a structural description of the counter would use low level gates to realize the increment operation. Again in Verilog we would write [9] module counter (ck, count) input ck; output [3:0] count; dEdgeFF d1(count[0] ck, count[0] d2(count[1] ck, count[1] count[0] d3(count[2], ck, count[2] count[1:0] d4(count[3] ck, count[3] count[2:0] endmodule module dEdgeFF (q, ck, data) input ck, data; output q; reg q; initial q = 0; always (negedge ck) #10 q = data; The structural description uses four flip flops and logic gates to realize the increment ....

....a structural description of the counter would use low level gates to realize the increment operation. Again in Verilog we would write [9] module counter (ck, count) input ck; output [3:0] count; dEdgeFF d1(count[0] ck, count[0] d2(count[1] ck, count[1] count[0] d3(count[2] ck, count[2] count[1:0] d4(count[3] ck, count[3] count[2:0] endmodule module dEdgeFF (q, ck, data) input ck, data; output q; reg q; initial q = 0; always (negedge ck) #10 q = data; The structural description uses four flip flops and logic gates to realize the increment operation which is ....

[Article contains additional citation context not shown here]

FINDLER, R., FLANAGAN, C., FLATT, M., KRISHNA- MURTHI, S., AND FELLEISEN, M. DrScheme: A pedagogic programming environment for scheme. In International Symposium on Programming Language Implementation and Logic Programming (1997).

....Harlequin s ML Works (Harlequin, 1998) and Allegro Common Lisp Composer (Franz Inc. 1998) Implementing an Ide from scratch requires a huge and time consuming e ort. This probably explains why very few academic projects concentrate on programming environments. One of the most signi cant is plt (Findler et al. 1997). Before comparing development environments, we provide a comparison of connection techniques between Lisp like languages and C. 7.1 Lisp and C Three main papers describe a connection between Lisp and C: The Rose and Muller paper (Rose Muller, 1992) describes the Embeddable SHell foreign ....

....The foreign connection relies on the sharing of a common runtime library. The Lisp compiler has no knowledge of any kind of C types, which is the main di erence with our work. 7. 2 DrScheme The only integrated environment for Scheme we know of has been developed by the plt team of Rice University (Findler et al. 1997; Felleisen et al. 1998) They have released an environment named DrScheme which is designed for teaching. It is not a true integrated environment yet because it does not contain project management, pro lers, or a dynamic debugger. DrScheme relies on a graphical user interface for editing and ....

Findler, R., Flanagan, C., Flatt, M., Krishnamuryhi, S., & Felleisen, M. (1997). DrScheme: A Pedagogic Programming Environment for Scheme. Int. symp. on programming languages, implementations, logics, and programs.

....would use low level gates to realize the increment operation. Again in Verilog we would write [9] module counter (ck, count) input ck; output [3:0] count; dEdgeFF d1(count[0] ck, count[0] d2(count[1] ck, count[1] count[0] d3(count[2], ck, count[2] count[1:0] d4(count[3] ck, count[3] count[2:0] endmodule module dEdgeFF (q, ck, data) input ck, data; output q; reg q; initial q = 0; always (negedge ck) #10 q = data; endmodule The structural description uses four ....

....low level gates to realize the increment operation. Again in Verilog we would write [9] module counter (ck, count) input ck; output [3:0] count; dEdgeFF d1(count[0] ck, count[0] d2(count[1] ck, count[1] count[0] d3(count[2] ck, count[2] count[1:0] d4(count[3] ck, count[3] count[2:0] endmodule module dEdgeFF (q, ck, data) input ck, data; output q; reg q; initial q = 0; always (negedge ck) #10 q = data; endmodule The structural description uses four flip flops and ....

[Article contains additional citation context not shown here]

Findler, R., Flanagan, C., Flatt, M., Krishnamurthi, S., and Felleisen, M. DrScheme: A pedagogic programming environment for scheme. In International Symposium on Programming Language Implementation and Logic Programming (1997).

.... Cool Modules for HOT Languages Matthew Flatt Matthiss Felleisen Department of Computer Science Rice University Houston, Texas 77005 1892 Abstract A module system ought to enable assembly line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts of a program independently. A linking language gives programmers precise control over the assembly ....

.... Cool Modules for HOT Languages Matthew Flatt Matthiss Felleisen Department of Computer Science Rice University Houston, Texas 77005 1892 Abstract A module system ought to enable assembly line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts of a program independently. A linking language gives programmers precise control over the assembly ....

[Article contains additional citation context not shown here]

FINDLER, R. B., FLANAGAN, C., FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Lan- guages: Implementations, Logics, and Programs (1997), pp. 369-388.

....the code in Sect. 3. 6 Implementation and Performance Zodiac is currently implemented as a language extension to MzScheme [12] a version of Scheme [3] extended with a Java like object system. A preliminary version of Zodiac has been used to implement DrScheme, a Scheme programming environment [11]. DrScheme is a pedagogically motivated system that helps beginners by presenting Scheme as a succession of increasingly complex languages. It also supports several tools such as a syntax checker, a program analyzer, etc. The largest language handled byDrScheme is the complete MzScheme language, ....

....described Zodiac, a language extension for writing extensible programs. Zodiac manages the mundane and potentially error prone administrative tasks that arise when implementing the Extensible Visitor. A variantof Zodiac has been in use for about twoyears in our programming environment DrScheme [11]. Through it, DrScheme is able to offer a hierarchy of language levels that facilitate a pedagogically sound introduction to programming. It supports multiple program processing tools that operate over this range of language levels. Zodiac has also been used to build other systems, such as a ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Ninth International Symposium on Programming Languages, Implementations,Logics, and Programs, 1997.

....ffl The top section lists the unit s imported types and values. The Database unit imports the type info (of kind Omega Gamma for data stored in the database, and the function error (of type str void) for error handling. The graphical language is currently being implemented for the DrScheme [23] programming environment. Programmers will define modules and linking by actually drawing boxes and arrows. A kind is a type for a type. Most languages have only one kind, Omega Gamma and do not ask programmers to specify the kind of a type. Some languages (such as ML, Haskell, and Miranda) ....

....strategies that lower the cost of mixins, and on studying how designers can exploit mixins to construct better design patterns. 97 Chapter 5 Experience with Units and Mixins Most of our practical experience with units and mixins derives from implementing the DrScheme programming environment [23] using MzScheme. DrScheme provides students and programmers with a user friendly environment for developing Scheme programs. Units define a mechanism for dividing DrScheme s implementation into components that are implemented by different members of the development team. Mixins simplify the ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs, pages 369--388, September 1997.

....we experimented with a different approach. In MzScheme, classes form a single inheritance hierarchy, but are also first class values that can be created and extended at run time. Once this capability was available, the programmers of our team used it extensively for the construction of DrScheme [15], a Scheme programming environment. A thorough analysis, however, reveals that the code only contains first order functions on classes. In this paper, we present a typed model of such class functors for Java [18] We refer to the functors as mixins due to their similarity to Common Lisp s ....

Findler, R. B., Flanagan, C., Flatt, M., Krishnamurthi, S., and Felleisen, M. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs (Sept. 1997), pp. 369--388.

....to apply to other semantics based tools. 1 The Correctness of Programming Environment Tools Programming environments provide many tools that process programs semantically. The most common ones are compilers, program analysis tools, debuggers, and profilers. Our DrScheme programming environment [9, 8] also provides an algebraic stepper for Scheme. It explains a program s execution as a sequence of reduction steps based on the ordinary laws of algebra for the functional core [2, 21] # Current Address: School of Computing, 50 S. Central Campus Dr. Rm. 3190, University of Utah, SLC, UT ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In International Symposium on Programming Languages: Implementations, Logics, and Programs, number 1292 in Lecture Notes in Computer Science, pages 369--388, 1997.

....check, depending on the target language. If a larger language is constructed by composing smaller language layers, programmers can de ne restricted versions of the larger language by leaving out some layers. We have found this ability especially useful in the DrScheme programming environment [17], which presents the Scheme programming language as a sequence of increasingly complex sub languages. This hides the complexity of the complete language from the student; in particular, it ags terms that are errors in the linguistic subset but that might be legal though often not what the student ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In International Symposium on Programming Languages: Implementations, Logics, and Programs, number 1292 in Lecture Notes in Computer Science, pages 369-388, 1997. 106

....technology, the mere act of constructing the embedding also creates a fullfledged programming environment for the little languages. In support of our argument we construct an embedded little language, called S XML, and derive its environment from DrScheme, our Scheme programming environment [6]. S XML permits programmers to create and manipulate XML like data. More precisely, they can use a set of constructs to specify XML trees in a natural manner, and they can define tree transformations on the data with an easy to use pattern matching construct. DrScheme provides a host of tools for ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In International Symposium on Programming Languages: Implementations, Logics, and Programs, pages 369--388, 1997.

....syntax checker. Finally, DrScheme includes a static debugger, which analyzes programs and exposes potential safety violations prior to execution. The following three subsections provide an overview of DrScheme; for more detailed information, we refer the reader to an extended report [5]. 2.1 Pedagogic Enhancements Language Levels: University courses typically introduce students to Scheme in discrete segments. The first segment covers first order functional programming, the second one higher order functions and data structuring, and the third one imperative facilities like ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for scheme. In Programming Languages: Implementations, Logics, and Programs, LNCS 1292, 369--388, Southampton, UK, 1997.

....syntax checker. Finally, DrScheme includes a static debugger, which analyzes programs and exposes potential safety violations prior to execution. The following three subsections provide an overview of DrScheme; for more detailed information, we refer the reader to an extended report [5]. 2.1 Pedagogic Enhancements Language Levels: University courses typically introduce students to Scheme in discrete segments. The first segment covers first order functional programming, the second one higher order functions and data structuring, and the third one imperative facilities like ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for scheme. In Programming Languages: Implementations, Logics, and Programs, LNCS 1292, 369--388, Southampton, UK, 1997.

....the same language defining components to build many different languages. The system thus greatly simplifies the design and implementation of domain specific languages as extensions of base languages. Our system plays a crucial role in the construction of a large programming environment, DrScheme [12]. Conversely, the process of building DrScheme has This work is partially supported by NSF grants CCR 9619756, CDA 9713032, and CCR 9708957, and a Texas ATP grant. helped us debug and refine the design of our system. McMicMac has also been used to build tools for languages other than Scheme. ....

....check, depending on the target language. If a larger language is constructed by composing smaller language layers, programmers can define restricted versions of the larger language by leaving out some layers. We have found this ability especially useful in the DrScheme programming environment [12], which presents the Scheme programming language as a sequence of increasingly complex sub languages. This hides the complexity of the complete language from the student; in particular, it flags terms that are errors in the linguistic subset but that might be legal though often not what the ....

[Article contains additional citation context not shown here]

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs, pages 369--388, 1997.

....virtual machine for building a programming environment, and we step through the implementation of a miniature version of DrScheme in MrEd. More generally, we show how MrEd defines a high level operating system for graphical programs. 1 MrEd: A Scheme Machine The DrScheme programming environment [10] provides students and programmers with a user friendly environment for developing Scheme programs. To make programming accessible and attractive to novices, DrScheme provides a thoroughly graphical environment and runs under several major windowing systems (Windows, MacOS, and Unix X) More than ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs, pages 369--388, September 1997.

....ffl The top section lists the unit s imported types and values. The Database unit imports the type info (of kind 4 Omega Gamma for data stored in the database, and the function error (of type str void) for error handling. 3 The graphical language is currently being implemented for the DrScheme [23] programming environment. Programmers will define modules and linking by actually drawing boxes and arrows. 4 A kind is a type for a type. Most languages have only one kind, Omega Gamma and do not ask programmers to specify the kind of a type. Some languages (such as ML, Haskell, and Miranda) ....

....strategies that lower the cost of mixins, and on studying how designers can exploit mixins to construct better design patterns. 97 Chapter 5 Experience with Units and Mixins Most of our practical experience with units and mixins derives from implementing the DrScheme programming environment [23] using MzScheme. DrScheme provides students and programmers with a user friendly environment for developing Scheme programs. Units define a mechanism for dividing DrScheme s implementation into components that are implemented by different members of the development team. Mixins simplify the ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs, pages 369--388, September 1997.

.... Room c Theta Delta Gamma door: LockedDoor c Theta Delta Gamma : 9 , roomi Figure 2: In the context of a type graph, reductions map a store expression pair to a new store expression pair mers of our team used it extensively for the construction of DrScheme [14], a Scheme programming environment. However, a thorough analysis reveals that the code only contains first order functions on classes. In this paper, we present a typed model of such class functors for Java [18] We refer to the functors as mixins due to their similarity to Common Lisp s ....

Findler, R. B., Flanagan, C., Flatt, M., Krishnamurthi, S., and Felleisen, M. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages, Implementations, Logics, and Programs (1997).

....for separate compilation and the more recent advances of higher order modules and programmer controlled linking. Our unit model also addresses the often overlooked, but increasingly important, problem of dynamic linking. The unit language was originally implemented for the development of DrScheme [7, 25], Rice s Scheme programming environment, which is implemented using MzScheme. DrScheme is a large and dynamic program with many integrated components, including a multimedia editor, an interactive evaluator, a syntax checker, and a static debugger. Additional components can be dynamically linked ....

Findler, R. B., Flanagan, C., Flatt, M., Krishnamurthi, S., and Felleisen, M. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages: Implementations, Logics, and Programs (1997), pp. 369--388.

....we experimented with a different approach. In MzScheme, classes form a single inheritance hierarchy, but are also first class values that can be created and extended at run time. Once this capability was available, the programmers of our team used it extensively for the construction of DrScheme [14], a Scheme programming environment. However, a thorough analysis reveals that the code only contains first order functions on classes. In this paper, we present a typed model of such class functors for Java [17] We refer to the functors as mixins due to their similarity to Common Lisp s ....

Findler, R. B., Flanagan, C., Flatt, M., Krishnamurthi, S., and Felleisen, M. DrScheme: A pedagogic programming environment for Scheme. In Proc. International Symposium on Programming Languages, Implementations, Logics, and Programs (1997), pp. 369--388.

....to the code in Sect. 3. 6 Implementation and Performance Zodiac is currently implemented as a language extension to MzScheme [12] a version of Scheme [3] extended with a Java like object system. A preliminary version of Zodiac has been used to implement DrScheme, a Scheme programming environment [11]. DrScheme is a pedagogically motivated system that helps beginners by presenting Scheme as a succession of increasingly complex languages. It also supports several tools such as a syntax checker, a program analyzer, etc. The largest language handled by DrScheme is the complete MzScheme language, ....

....described Zodiac, a language extension for writing extensible programs. Zodiac manages the mundane and potentially error prone administrative tasks that arise when implementing the Extensible Visitor. A variant of Zodiac has been in use for about two years in our programming environment DrScheme [11]. Through it, DrScheme is able to offer a hierarchy of language levels that facilitate a pedagogically sound introduction to programming. It supports multiple programprocessing tools that operate over this range of language levels. Zodiac has also been used to build other systems, such as a ....

Findler, R. B., C. Flanagan, M. Flatt, S. Krishnamurthi and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs, 1997.

No context found.

R. Findler, C. Flanagan, M. Flatt, S. Krishnamurthi, M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In International Symposium on Programming Languages: Implementations, Logics, and Programs, 1997, 369388.

No context found.

R. B. Findler, C. Flanagan, M. Flatt, S. Krishnamurthi, and M. Felleisen. DrScheme: A pedagogic programming environment for Scheme. In International Symposium on Programming Languages: Implementations, Logics, and Programs, number 1292 in Lecture Notes in Computer Science, pages 369--388, 1997.

No context found.

R Findler, C Flanagan, M Flatt, S Krishnamurthi, and M Felleisen. DrScheme: A Pedagogic Programming Environment for Scheme. In PLILP'97 [PLI97], pages 369--388.

No context found.

R Findler, C Flanagan, M Flatt, S Krishnamurthi, and M Felleisen. DrScheme: A Pedagogic Programming Environment for Scheme. In PLILP'97 [PLI97], pages 369--388.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC