Arthur van Dam

Learn More
The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context-free nature of rewrite rules. The first problem is addressed by languages supporting user-definable rewriting strategies. The second problem is addressed by the extension of rewriting strategies with scoped dynamic rewrite(More)
In this paper we describe a one-dimensional adaptive moving mesh method and its application to hyperbolic conservation laws from magnetohydrodynamics (MHD). The method is robust, because it employs automatic control of mesh adaptation when a new model is considered, without manually-set parameters. Adaptive meshes are a common tool for increasing the(More)
In this paper, a shallow-water flow solver is presented, based on the finite-volume method on unstructured grids The method is suitable for flows that occur in rivers, channels, sewer systems (1D), shallow seas, rivers, overland flow (2D), and estuaries, lakes and shelf breaks (3D). We present an outline of the numerical approach and show three 2D test(More)
  • 1