Program Generation Research at University of
Oh la la
Your session has expired but don’t worry, your message
has been saved.Please log in and we’ll bring you back
to this page. You’ll just need to click “Send”.
Your evaluation is of great value to our authors and readers. Many thanks for your time.
When you're done, click "publish"
Only blue fields are mandatory.
Your mailing list is currently empty.
It will build up as you send messages
and links to your peers.
besides you has access to this list.
Enter the e-mail addresses of your recipients in the box below. Note: Peer Evaluation will NOT store these email addresses log in
Your message has been sent.
Full text for this article was not available? Send a request to the author(s)
: Program Generation Research at University of
Abstract : about Program Generation. The main focus of our research is to find an appropriate runtime support for program manipulation and staging so that multi-staging and meta-programming are not tied to a particular language neither to have some interpreter at runtime. We already have CodeBricks, a library to perform code generation by combining pre-compiled methods. Next step will be to build a generic program transformation system in order to express persistent multi-stage computations. 1 Background: CodeBricks CodeBricks allows manipulating abstractions of code fragments, which contain Intermediate Language (IL) code, but retain enough information about high-level types to be able to perform type checking and verification. CodeBricks allows performing transformations on the code abstractions at the IL while retaining the illusion of manipulating source programs. When using a common intermediate language like ECMA CIL, as in our implementation of the library, code fragments produced by different languages can be used together. CodeBricks provides a mean for a programmer to generate low level code, by letting the compiler to take care of the nitty-gritty details, and assembling fragments of code that resemble building blocks providing suitable primitives. The approach gives the programmer detailed control on the process of code generation, while being able to perform specializations and optimizations in the code produced. For instance a Domain Specific Language can be embedded within a general purpose language, by having specific code to be produced for the Domain Specific parts of the language. CodeBricks is also able to express multi-staged computations. Manipulating code objects is a mean to produce the various versions of the program that will run at different stages. Performing such transformations at the IL level, allows stages to be run on different language processors, rather than within a single processor as in traditional source-level approaches (e.g. MetaML).
: Computer Science
Leave a comment
This contribution has not been reviewed yet. review?