Optimizing term rewriting using discrimination nets with specialization

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Optimizing term rewriting using discrimination nets with specialization

Full text

Pdf (857 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1999 ACM symposium on Applied computing table of contents

San Antonio, Texas, United States

Pages: 511 - 518

Year of Publication: 1999

ISBN:1-58113-086-4

Authors

Kazuhiro Ogata	Graduate School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Tatsunokuchi, Ishikawa 923-1292, JAPAN
Shigenori Ioroi	Graduate School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Tatsunokuchi, Ishikawa 923-1292, JAPAN
Kokichi Futatsugi	Graduate School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Tatsunokuchi, Ishikawa 923-1292, JAPAN

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 10, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/298151.298431 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Hassan Aït-Kaci, Warren's abstract machine: a tutorial reconstruction, MIT Press, Cambridge, MA, 1991
	2	Christian, J.: Flatterms, Discrimination Nets, and Fast Term Rewriting. J. Automated Reasoning. 10 (1993) 95- 113
	3	Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158707]
	4	Nachum Dershowitz , Jean-Pierre Jouannaud, Rewrite systems, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	5	Kokichi Futatsugi , Joseph A. Goguen , Jean-Pierre Jouannaud , José Meseguer, Principles of OBJ2, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.52-66, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318610]
	6	Goguen, J. A., Wiikkr, T., Meseguer, J., Futatsugi, K. and Jouannaud, J. P. : Introducing OBJ. Technical Report SRI-CSG92-03. SRI International. 1992
	7	Christoph M. Hoffmann , Michael J. O'Donnell, Pattern Matching in Trees, Journal of the ACM (JACM), v.29 n.1, p.68-95, Jan. 1982 [doi>10.1145/322290.322295]
	8	Christoph M. Hoffman , Michael J. O'Donnell, Programming with Equations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.83-112, Jan. 1982 [doi>10.1145/357153.357158]
	9	Kamperman, J. F. Th. and Walters, H. R: ARM - Abstract Rewriting Machinery. Proc. of the Computer Science in the Netherlands. (1993) 193-204
	10	Kamperman, J. F. Th.: Compilation of Term Rewriting Systems. PhD. thesis. University of Amsterdam. 1996
	11	Claude Kirchner , Hélène Kirchner , José Meseguer, Operational Semantics of OBJ-3 (Extended Abstract), Proceedings of the 15th International Colloquium on Automata, Languages and Programming, p.287-301, July 11-15, 1988
	12	J. W. Klop, Term rewriting systems, Handbook of logic in computer science (vol. 2): background: computational structures, Oxford University Press, Inc., New York, NY, 1993
	13	P. W. M. Koopman , J. E. W. Smetsers , M. C. J. D. van Eekelen , M. J. Plasmeijer, Graph rewriting using the annotated functional strategy, Term graph rewriting: theory and practice, John Wiley and Sons Ltd., Chichester, UK, 1993
	14	Nagaya, T., Matsumoto, M., Ogata, K. and Futatsugi, K.: How to Give Local Strategies to Function Symbols for Equality of Two Implementations of the Eetrategy with and without Evaluated Flags. Proc. of the Third Asian Symposium on Computer Mathematics. Lanzhou University Press. (1998) 71-81
	15	Nakagawa, A. T., Sawada, T. and Futatsugi, K: CafeGBJ User's Manual - ver.l.3 -. 1997. Available at http://caraway.jaist.ac.jp/cafeobj/
	16	Kazuhiro Ogata , Koichi Ohhara , Kokichi Futatsugi, TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems, Proceedings of the 8th International Conference on Rewriting Techniques and Applications, p.335-338, June 02-05, 1997
	17	Kazuhiro Ogata , Kokichi Futatsugi, Implementation of Term Rewritings with the Evaluation Strategy, Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education, p.225-239, September 03-05, 1997
	18	Kazuhiro Ogata , Masaru Kondo , Shigenori Ioroi , Kokichi Futatsugi, Design and Implementation of Parallel TRAM, Proceedings of the Third International Euro-Par Conference on Parallel Processing, p.1209-1216, August 26-29, 1997
	19	Kazuhiro Ogata , Hiromichi Hirata , Shigenori Ioroi , Kokichi Futatsugi, Experimental Implementation of Parallel TRAM on Massively Parallel Computer, Proceedings of the 4th International Euro-Par Conference on Parallel Processing, p.846-851, September 01-04, 1998
	20	David Sherman , Robert Strandh , Irène Durand, Optimization of equational programs using partial evaluation, Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.72-82, June 17-19, 1991, New Haven, Connecticut, United States [doi>10.1145/115865.115874]