A Complete Transformational Toolkit for Compilers
No abstract available.
Related papers
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs Haskell 2012
- MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware JFP 1992
- A Compiler Approach to Scalable Concurrent-Program Design TOPLAS 1994
- InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference ECOOP 2024
- A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger JFP 2005
- Relocating Machine Instructions by Currying PLDI 1996
- Bridging the GUI gap with reactive values and relations Haskell 2015