Skip to search formSkip to main contentSkip to account menu

Strafunski

Strafunski is a functional programming-based toolset for implementing program analysis and transformation components. It is implemented in Haskell… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
ASF+SDF Meta-EnvironmentFunctional programmingHaskellParse tree

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Programming errors in traversal programs over structured data
2009
2009
A Haskell Hosted DSL for Writing Transformation Systems
  • Andy Gill
  • Domain-Specific Languages
  • 2009
  • Corpus ID: 8857891
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When… 
2009
2009
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom… 
2007
2007
Slicing wxHaskell modules to derive the User Interface Abstract Model
In this paper, we discuss an experience slicing an H skell program to separate its GUI developed with the graphic toolkit… 
Review
2005
Review
2005
Programmable Rewriting Strategies in Haskell: -- White Paper --
2005
2005
Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion
We constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion… 
2004
2004
Calculate databases with `simplicity
Effort to replace “à la Codd” database schema design (normalization etc) by calculation based on simple (dually, injective… 
Highly Cited
2003
Highly Cited
2003
A Strafunski Application Letter
Strafunski is a Haskell-centred software bundle for implementing language processing components -- most notably program analyses… 
2003
2003
A Strafunski Application Letter Sen Software Engineering a Strafunski Application Letter a Strafunski Application Letter
Strafunski is a Haskell-centred software bundle for implementing language processing components — most notably program analyses… 
2002
2002
Strategic polymorphism requires just two combinators!
textabstractIn previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)