OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences
No abstract available.
Related papers
- Experience report: playing the DSL card ICFP 2008
- Reference attribute grammar controlled graph rewriting: motivation and overview SLE 2015
- An Overview of the SR Language and Implementation TOPLAS 1988
- LiquidHaskell: experience with refinement types in the real world Haskell 2014
- Executable Specifications with Quantifiers in the FASE System POPL 1986
- Compiling Real-Time Programs into Schedulable Code PLDI 1993
- An Overview of the Chameleon System APLAS 2002
- The Common Lisp Object System: An Overview ECOOP 1987