Skip to topic | Skip to bottom


Home

EelcoVisser
EelcoVisser.SimilixInStrategor1.3 - 28 Apr 2005 - 22:53 - Main.wiki

Start of topic | Skip to actions
Similix is a partial evaluator for a Lisp-like language.

Goals

The goal of this project is to implement the partial evaluator for Similix in Stratego.

ResearchInterests questions

  • Does formulation of partial evaluation using separate rules and strategies make implementation of partial evaluation more reusable, maintainable, and readable?

  • Does such an implementation scale up to application of partial evaluation of large programs?

Project Description

Planning

  • Literature
    • Transform:PartialEvaluation
    • Stratego:StrategoPublications

  • Similix
    • What does it do?
    • Architecture?

  • Example programs

  • Tools
    • Stratego:StrategoDownload
    • XT?

  • Infrastructure
    • Parser for Similix
    • Type-checker?
    • Pretty-printer
    • Bound-variable renaming
    • Steal from TigerCompiler

  • Partial evaluator
    • find out how it works
    • what should be done
    • expected problems




Edit | Attach | Printable | Raw | More topic actions
Revisions: | r1.3 | > | r1.2 | > | r1.1 | Page history | Backlinks
You are here: EelcoVisser > SimilixInStratego

to top

Copyright © 2003-2017, Software Engineering Research Group, Delft University of Technology, The Netherlands