A type system for static typing of a domain-specific language

doi:10.1145/1344671.1344712

A type system for static typing of a domain-specific language

Authors:	Paul E. McKechnie	Institute for System Level Integration, Livingston, United Kingdom
	Nathan A. Lindop	Xilinx, Edinburgh, United Kingdom
	Wim A. Vanderbauwhede	University of Glasgow, Glasgow, United Kingdom

Published in:

	· Proceeding
	FPGA '08 Proceedings of the 16th international ACM/SIGDA symposium on Field programmable gate arrays
	ACM New York, NY, USA ©2008 table of contents ISBN: 978-1-59593-934-0 doi>10.1145/1344671.1344712

	2008 Article Poster
Bibliometrics
· Downloads (6 Weeks): n/a · Downloads (12 Months): n/a · Citation Count: 0

Tools and Resources

Buy this Article in Print
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref
Upcoming Conference:
- FPGA '12

Tags: algorithms design fpga languages static type checking type structure type system

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

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player