External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Program Analysis Using Weighted Pushdown Systems

Thomas W. Reps, Akash Lal, Nicholas Kidd. Program Analysis Using Weighted Pushdown Systems. In Vikraman Arvind, Sanjiva Prasad, editors, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings. Volume 4855 of Lecture Notes in Computer Science, pages 23-51, Springer, 2007. [doi]

Authors

Thomas W. Reps

Identified as Thomas W. Reps

Akash Lal

This author has not been identified. Look up 'Akash Lal' in Google

Nicholas Kidd

This author has not been identified. Look up 'Nicholas Kidd' in Google
runs on