Loading...
Please wait, while we are loading the content...
Similar Documents
Typed generic traversal with term rewriting strategies (2002).
| Content Provider | CiteSeerX |
|---|---|
| Author | Lämmel, Ralf |
| Abstract | A typed model of strategic term rewriting is developed. The key innovation is that generic. The calculus traversal is covered. To this end, we define a typed rewriting calculus S ′ γ employs a many-sorted type system extended by designated generic strategy types γ. We consider two generic strategy types, namely the types of type-preserving and type-unifying strategies. S ′ γ offers traversal combinators to construct traversals or schemes thereof from many-sorted and generic strategies. The traversal combinators model different forms of one-step traversal, that is, they process the immediate subterms of a given term without anticipating any scheme of recursion into terms. To inhabit generic types, we need to add a fundamental combinator to lift a many-sorted strategy s to a generic type γ. This step is called strategy extension. The semantics of the corresponding combinator states that s is only applied if the type of the term at hand fits, otherwise the extended strategy fails. This approach dictates that the semantics of strategy application must be type-dependent to a certain extent. Typed strategic term rewriting with coverage of generic term traversal is a simple but expressive model of generic programming. It has applications in program |
| File Format | |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Typed Generic Traversal Generic Type Traversal Combinators Fundamental Combinator Typed Model Generic Term Traversal Strategic Term Rewriting One-step Traversal Immediate Subterms Extended Strategy Calculus Traversal Hand Fit Strategy Extension Many-sorted Strategy Designated Generic Strategy Type Typed Strategic Term Expressive Model Different Form Key Innovation Corresponding Combinator State Many-sorted Type System Type-unifying Strategy Typed Rewriting Calculus Generic Programming Certain Extent Strategy Application Generic Strategy Generic Strategy Type |
| Content Type | Text |
