Strategies for Fusing Logic and Control via Local, Application-Specific Transformations (2003)

by Patricia Johann , Patricia Johann , Patricia Johann , Eelco Visser , Eelco Visser , Eelco Visser
Citations:4 - 1 self

Documents Related by Co-Citation

23 Strategic Programming Meets Adaptive Programming – Ralf Lämmel, Eelco Visser, Joost Visser - 2003
3 The PROGRES Language Manual Version 9.x – A Schürr - 2004
6 The Term Graph Programming System HOPS – Wolfram Kahl - 1999
5 The graph rewriting calculus: properties and expressive capabilities. Thèse de Doctorat d’Université, Institut National Polytechnique de – C Bertolissi - 2005
14 Language Report Concurrent Clean – M.J. Plasmeijer, M.C.J.D. van Eekelen, Rinus Plasmeijer, Marko Van Eekelen - 1998
10 Fusing Logic and Control with Local Transformations: An Example Optimization – Patricia Johann, Eelco Visser - 2001
27 A.: Tool demonstration: The FUJABA environment – U Nickel, J Niere, Zündorf - 2000
36 Observable sharing for functional circuit description – Koen Claessen, David Sands - 1999
22 A Core Language for Rewriting – Eelco Visser, Zine-el-abidine Benaissa - 1998
21 Stratego/XT 0.16. Components for transformation systems – Martin Bravenboer - 2006
58 Term Graph Rewriting – Detlef Plump - 1998
1224 Introduction to functional programming – Philip Wadler - 1995
7324 Cache-oblivious algorithms – M FRIGO, C E LEISERSON, H PROKOP, S RAMACHANDRAN - 1999
5 Influences on the Design of Exception Handling an ACMSIGSOFT project on the Impact of software Engineering – Barbara G Ryder
4 Type-based termination of generic programs – Andreas Abel - 2007
3 A generic recursion toolbox for haskell or: scrap your boilerplate systematically – D Ren, M Erwig - 2006
13 Scrap your boilerplate with XPath-like combinators – R Lämmel - 2007
41 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
13 The Sketch of a Polymorphic Symphony – R Lämmel