Short Presentation: An applicative-order term rewriting system for code generation, and its termination analysis (at LICS 2003)
Authors: Oleg KiselyovAbstract
No Abstract Available
BibTeX
@InProceedings{Kiselyov-Anapplicativeordert, author = {Oleg Kiselyov}, title = {An applicative-order term rewriting system for code generation, and its termination analysis}, booktitle = {Proceedings of the Eighteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2003}, year = 2003, editor = {Phokion G. Kolaitis}, month = {June}, location = {Ottawa, Canada}, note = {Short Presentation}, publisher = {IEEE Computer Society Press} }