Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,255,840 papers from all fields of science
Search
Sign In
Create Free Account
Strafunski
Strafunski is a functional programming-based toolset for implementing program analysis and transformation components. It is implemented in Haskell…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
ASF+SDF Meta-Environment
Functional programming
Haskell
Parse tree
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Programming errors in traversal programs over structured data
R. Lämmel
,
S. Thompson
,
M. Kaiser
Science of Computer Programming
2012
Corpus ID: 4491469
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…
Expand
2009
2009
An Isabelle/HOL-based model of stratego-like traversal strategies
M. Kaiser
,
R. Lämmel
ACM-SIGPLAN International Conference on…
2009
Corpus ID: 15823468
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom…
Expand
2007
2007
Slicing wxHaskell modules to derive the User Interface Abstract Model
Daniela Carneiro da Cruz
,
P. Henriques
2007
Corpus ID: 15215581
In this paper, we discuss an experience slicing an H skell program to separate its GUI developed with the graphic toolkit…
Expand
Review
2005
Review
2005
Programmable Rewriting Strategies in Haskell: -- White Paper --
R. Lämmel
WRS
2005
Corpus ID: 12566598
2005
2005
Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion
Tiago L. Alves
,
Paulo F. Silva
,
Joost Visser
,
J. Oliveira
World Congress on Formal Methods
2005
Corpus ID: 7372377
We constructed a tool, called VooDooM, which converts datatypes in Vdm-sl into Sql relational data models. The conversion…
Expand
2004
2004
Calculate databases with `simplicity
João Oliveira
2004
Corpus ID: 118769849
Effort to replace “à la Codd” database schema design (normalization etc) by calculation based on simple (dually, injective…
Expand
Highly Cited
2003
Highly Cited
2003
A Strafunski Application Letter
R. Lämmel
,
Joost Visser
International Symposium on Practical Aspects of…
2003
Corpus ID: 14708198
Strafunski is a Haskell-centred software bundle for implementing language processing components -- most notably program analyses…
Expand
2003
2003
A Strafunski Application Letter Sen Software Engineering a Strafunski Application Letter a Strafunski Application Letter
R. Lämmel
,
Joost Visser
2003
Corpus ID: 17963115
Strafunski is a Haskell-centred software bundle for implementing language processing components — most notably program analyses…
Expand
2002
2002
Strategic polymorphism requires just two combinators!
R. Lämmel
,
Joost Visser
ArXiv
2002
Corpus ID: 8653244
textabstractIn previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse…
Expand
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)
ACCEPT & CONTINUE