Hoopl
| Autor: | João Rafael de Oliveira Dias, Norman F. Ramsey, Simon Jones |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Functional programming
Dataflow business.industry Computer science Programming language Optimizing compiler Parallel computing Modular design computer.software_genre Computer Graphics and Computer-Aided Design Data flow diagram Polymorphism (computer science) Haskell Compiler Rewriting Software_PROGRAMMINGLANGUAGES business computer Software Declarative programming computer.programming_language |
| Zdroj: | Haskell |
| ISSN: | 1558-1160 0362-1340 |
| DOI: | 10.1145/2088456.1863539 |
| Popis: | Dataflow analysis and transformation of control-flow graphs is pervasive in optimizing compilers, but it is typically entangled with the details of a particular compiler. We describe Hoopl, a reusable library that makes it unusually easy to define new analyses and transformations for any compiler written in Haskell. Hoopl's interface is modular and polymorphic, and it offers unusually strong static guarantees. The implementation encapsulates state-of-the-art algorithms (interleaved analysis and rewriting, dynamic error isolation), and it cleanly separates their tricky elements so that they can be understood independently. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|