Adding nesting structure to words

doi:10.1145/1516512.1516518

Adding nesting structure to words

Full Text:

PDF

Buy this Article

see source materials below for more options

Authors:	Rajeev Alur	University of Pennsylvania, Philadelphia, Pennsylvania
	P. Madhusudan	University of Illinois at Urbana-Champaign, Urbana, Illinois

Published in:

	· Journal
	Journal of the ACM (JACM) JACM Homepage archive
	Volume 56 Issue 3, May 2009 Article No. 16 ACM New York, NY, USA table of contents doi>10.1145/1516512.1516518

	2009 Article Research Refereed
Bibliometrics
· Downloads (6 Weeks): 12 · Downloads (12 Months): 116 · Downloads (cumulative): 807 · Citation Count: 44

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Share:

|

Tags: formal languages model checking pushdown automata software model checking tree automata xml processing

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder