Compiling path expressions into VLSI circuits

Full Text:

PDF

PDF

Buy this Article

Buy this Article

Authors:	T. S. Anantharaman	Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania
	E. M. Clarke	Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania
	M. J. Foster	Department of Computer Science, Columbia University, New York, New York
	B. Mishra	Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania

	1985 Article
Bibliometrics
· Downloads (6 Weeks): 0 · Downloads (12 Months): 6 · Downloads (cumulative): 157 · Citation Count: 1

Published in:

· Proceeding

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Pages 191-204
ACM New York, NY, USA ©1985
table of contents ISBN:0-89791-147-4 doi>10.1145/318593.318638

Tools and Resources

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

Share:

|

Tags: channels and controllers compilers design languages languages and compilers path and circuit problems performance theory verification vlsi

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:

Windows Media Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder