Sciweavers

289 search results - page 12 / 58
» Program transformation by templates based on term rewriting
Sort
View
DOCENG
2003
ACM
15 years 5 months ago
XPath on left and right sides of rules: toward compact XML tree rewriting through node patterns
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
Jean-Yves Vion-Dury
IPMI
2001
Springer
16 years 15 days ago
Multi-scale 3-D Deformable Model Segmentation Based on Medial Description
This paper presents a Bayesian multi-scale three dimensional deformable template approach based on a medial representation for the segmentation and shape characterization of anatom...
Sarang C. Joshi, Stephen M. Pizer, P. Thomas Fletc...
ICSOFT
2007
15 years 1 months ago
Towards a New Code-Based Software Development Concept Enabling Code Patterns
Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...
Klaus Meffert, Ilka Philippow
ENTCS
2008
114views more  ENTCS 2008»
14 years 11 months ago
Term-graph Rewriting in Tom Using Relative Positions
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
Emilie Balland, Paul Brauner
ENTCS
2007
103views more  ENTCS 2007»
14 years 11 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal