Using Template Haskell for abstract interpretation

DOI10.1016/J.ENTCS.2007.01.012MaRDI QIDQ2873799zbMATH OpenOpenAlexFDO

Authors Clara Segura, Carmen Torrano

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.01.012

zbMATH Keywords

abstract interpretationmeta-programmingstrictness analysisTemplate Haskell

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Mathematics of Program Construction
• scientific article; zbMATH DE number 5652621
• Analysis of profiling techniques for C++ template metaprograms
• scientific article; zbMATH DE number 4133469
• A transformation-based optimiser for Haskell

Cites work

• scientific article; zbMATH DE number 4016173 (Why is no real title available?)
• scientific article; zbMATH DE number 3960961 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 2065560 (Why is no real title available?)
• scientific article; zbMATH DE number 2086493 (Why is no real title available?)
• Non-determinism analyses in a parallel-functional language

Cited in

(1)

• scientific article; zbMATH DE number 1956469 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell
• GHC
• Eden

This page was built for publication: Using Template Haskell for abstract interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873799)