The evaluation strategy for head normal form with and without on-demand flags

Electronic Notes in Theoretical Computer Science

Volumn 36, Issue , 2000, Pages 212-228

  Nakamura, Masaki ^a   Ogata, Kazuhiro ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

E-STRATEGY; META OPERATION; ON-DEMAND FLAGS; REWRITING;

CODES (SYMBOLS); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FUNCTIONS; NUMBER THEORY; OBJECT ORIENTED PROGRAMMING;

COMPUTER SCIENCE;

EID: 0009925501     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80143-4     Document Type: Conference Paper

References (7)

1. Baader F., Nipkow T. "Term rewriting and all that," 1998;Cambridge University Press
2. Diaconescu R., Futatsugi K. "CafeOBJ report," World Scientific. 1998
3. Goguen, J. A. T. Winkler, J. Meseguer, K. Futatsugi, Jouannaud J.P. Introducig OBJ. Software Engineering with OBJ: algebraic specification in action, edited by Goguen and Malcolm, Kluwer. 2000
4. Nagaya, T., "Reduction strategy for term rewriting system," Ph.D. thesis, Japan Advanced Institute of Science and Technology, 1999.
5. Nagaya, T. M. Matsumoto, K. Ogata, and K. Futatsugi, How to give local strategies to function symbols for equality of two implementations of the E-strategy with and without evaluated flags, Proceedings of Asian Symposium on Computer Mathematics, 1998, 71-81.
6. Ogata, T., and K. Futatsugi, Operational semantics of rewriting with the on-demand evaluation strategy, Proceedings of the 2000 ACM Symposium on Applied Computing, 2000, 756-763.
7. Nakagawa A., Sawada T., Futatsugi K. CafeOBJ user's manual -ver.1.4.-, http://www.ldl.jaist.ac.jp/cafeobj/. 1998