27 search results - page 6 / 6 » A Simple Take on Typed Abstract Syntax in Haskell-like Langu... |
PPDP
2007
Springer
14 years 9 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
ATAL
2009
Springer
14 years 23 days ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...