Static type inference for Ruby

doi:10.1145/1529282.1529700

SIGN IN SIGN UP

Static type inference for Ruby

Full Text:

Pdf

Buy this Article

Authors:	Michael Furr	University of Maryland, College Park, MD
	Jong-hoon (David) An	University of Maryland, College Park, MD
	Jeffrey S. Foster	University of Maryland, College Park, MD
	Michael Hicks	University of Maryland, College Park, MD

	2009 Article
Bibliometrics
· Downloads (6 Weeks): 9 · Downloads (12 Months): 95 · Citation Count: 20

Published in:

	· Proceeding
	SAC '09 Proceedings of the 2009 ACM symposium on Applied Computing
	ACM New York, NY, USA ©2009 table of contents ISBN: 978-1-60558-166-8 doi>10.1145/1529282.1529700

Tools and Resources

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

Share:

|

Tags: contracts dynamic typing languages program analysis ruby type inference verification

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 © 2012 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