|
| Keyword : static dependency pair method
| |
|
Static Dependency Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types
Keiichirou KUSAKARI | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/03/01
Vol. E96-D
No. 3 ;
pp. 472-480
Type of Manuscript:
Special Section PAPER (Special Section on Foundations of Computer Science — New Trends in Algorithms and Theory of Computation —)
Category:
Keyword:
rewriting systems for functional programs, termination, static dependency pair method, | | | Summary | Full Text:PDF | |
| |
|
|