FAQ

Strafunski

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

Topic mentions per year

Topic mentions per year

2002-2009
012320022009

Related topics

Related topics

10 relations
ASF+SDF Meta-EnvironmentFunctional programmingHaskellParse tree
(More)

Related mentions per year

Related mentions per year

1941-2018
19401960198020002020
Strafunski
Type system
Functional programming
Static program analysis
Unix
Haskell

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Programming errors in traversal programs over structured data
Traversal strategies à la Stratego (also à la Strafunski and ‘Scrap Your Boilerplate’) provide an exceptionally versatile and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
A Haskell Hosted DSL for Writing Transformation Systems
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
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… (More)
  • figure 3
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Review
2005
Review
2005
Programmable Rewriting Strategies in Haskell: -- White Paper --
Programmable rewriting strategies provide a valuable tool for implementing traversal functionality in grammar-driven (or schema… (More)
Is this relevant?
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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… (More)
Is this relevant?
Review
2003
Review
2003
Parse-Tree Annotations Meet Re-Engineering Concerns
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
Strategic Polymorphism Requires Just Two Combinators! Sen Software Engineering Strategic Polymorphism Requires Just Two Combinators! Strategic Polymorphism Requires Just Two Combinators!
In previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse terms of any… (More)
Is this relevant?
2002
2002
Strategic polymorphism requires just two combinators!
In previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse terms of any… (More)
Is this relevant?