S. Krishnamurthi, M. Felleisen, and B. F. Duba. From macros to reusable generative programming. In GCSE, pages 105--120, 1999.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....may also use the stepper to trace the execution of the script. 6 How It All Works The extension of DrScheme s programming tools to S XML is largely automatic. The key technologies required are source correlation and rectifiers. In DrScheme, source elaboration of macros is performed by McMicMac [19]. McMicMac transforms a source file (a character stream) into an abstract syntax tree. Each term in the tree has a reference to some position of the source file. These references are preserved by McMicMac s subsequent macro elaboration, so that each term in the fully elaborated program has a ....

....lexical structure of a host language. Second, Kohlbecker and Wand introduced the macros by example specification method [18] Last, but not least, Dybvig, Hieb and Bruggeman [5] implemented the first source correlating macro system; our work is based on the more powerful McMicMac program elaborator[19]. 4 Value rectifiers are currently implemented for the stepper, but not for the read eval print loop. More recently, other language communities have rediscovered the idea of embedding languages for reuse. Fairbairn [6] Hudak [12] Wallace and Runciman [26] use Haskell s infix operators and ....

Krishnamurthi, S., M. Felleisen and B. F. Duba. From macros to reusable generative programming. In International Symposium on Generative and Component-Based Software Engineering, number 1799 in Lecture Notes in Computer Science, pages 105--120, September 1999.

....form larger modules. His e ort thus fails to address the core issues of component oriented programming [54] This work can exploit popular speci cation methods such as macros, templates and parser generators to simplify the description of compilers. There is a large corpus on such speci cations [1, 3, 8, 12, 10, 14, 15, 29, 35, 37, 39, 40, 51, 55, 60]. Many of these works ignore the interaction with components; indeed, many presume textual substitution on a per le basis in the tradition of cpp, paying no heed to modular boundaries. These systems do o er di erent combinations of pattern matching, hygienic macro expansion, and type systems to ....

Krishnamurthi, S., M. Felleisen and B. F. Duba. From macros to reusable generative programming. In International Symposium on Generative and Component- 108 Based Software Engineering, number 1799 in Lecture Notes in Computer Science, pages 105-120, September 1999.

....the examples from step 2. This is the final product: Length : list of numbers # number ; to compute the number of elements in the list (define (Length a list) cond [ empty a list) 0] else (add1 (Length (rest a list) Tests and Examples 4 Findler, Clements, Flanagan, Flatt, Krishnamurthi, Steckler, and Felleisen ( Length empty) 0) ( Length (cons 1 (cons 2 empty) 2) Steps one through three and five are derived mechanically from the data definition and the problem specification. Step 4 is the creative part of the process. Once the program is designed, students study how it works based on the familiar laws of secondary ....

Krishnamurthi, Shriram, Felleisen, Matthias, & Duba, Bruce F. 1999b (Sept.). From macros to reusable generative programming. Pages 105--120 of: International Symposium on Generative and Component-Based Software Engineering. Lecture Notes in Computer Science, no. 1799.

....problem, namely, that the tools report all errors in terms of instrumented code rather than source code. As a result, it is difficult, if not impossible, in many cases to find the true source of an error. We believe that a source correlating elaborating front end along the lines of McMicMac [11, 12] should solve this problem. 4 interface I1 f int m(int x) g class Client1 f public static void F(I1 a) f a.m(2) g g interface I2 f pre x 10 int m (int x) g class A implements I1, I2 f public int m (int x) f . g g class Main f public static void main(String argv[ f ....

Krishnamurthi, S., M. Felleisen and B. F. Duba. From macros to reusable generative programming. In International Symposium on Generative and Component-Based Software Engineering, number 1799 in Lecture Notes in Computer Science, pages 105-- 120, September 1999. 9

....to its use in the xml form is indicated by a series of arrows. 6 How It All Works The extension of DrScheme s programming tools to S XML is largely automatic. The key technologies required are source correlation and rectifiers. In DrScheme, source elaboration of macros is performed by McMicMac[15]. McMicMac transforms a source file (a character stream) into an abstract syntax tree. Each term in the tree has a reference to some position of the source file. These references are preserved by McMicMac s subsequent macro elaboration, so that each term in the fully elaborated program has a ....

....lexical structure of a host language. Second, Kohlbecker and Wand introduced the macros by example specification method[14] Last, but not least, Dybvig, Hieb and Bruggeman [4] implemented the first source correlating macro system; our work is based on the more powerful McMicMac program elaborator[15]. More recently, other language communities have rediscovered the idea of embedding languages for reuse. Fairbairn[5] Hudak[9] Wallace and Runciman[22] use Haskell s infix operators and higher order functions to embed little languages, 4 including a little language for XML; Kamin and Harrison ....

Krishnamurthi, S., M. Felleisen and B. F. Duba. From macros to reusable generative programming. In Generative and Component-Based Software Engineering, September 1999.

No context found.

S. Krishnamurthi, M. Felleisen, and B. F. Duba. From macros to reusable generative programming. In GCSE, pages 105--120, 1999.

No context found.

S. Krishnamurthi, M. Felleisen, and B. F. Duba. From macros to reusable generative programming. In GCSE, pages 105--120, 1999.

No context found.

Shriram Krishnamurthi, Matthias Felleisen, and Bruce F. Duba. From macros to reusable generative programming. Technical Report TR 00364, Rice University, 2000. http://www.ccs.neu.edu/scheme/pubs/tr00364. ps.gz.

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