Self-stabilization preserving compiler

doi:10.1145/1552309.1552312

Self-stabilization preserving compiler

Full Text:

PDF

Buy this Article

Authors:	Shlomi Dolev	Ben-Gurion University, Beer-Sheva, Israel
	Yinnon Haviv	Ben-Gurion University, Beer-Sheva, Israel
	Mooly Sagiv	Tel-Aviv University, Tel-Aviv, Israel

Published in:

	· Journal
	ACM Transactions on Programming Languages and Systems (TOPLAS) TOPLAS Homepage archive
	Volume 31 Issue 6, August 2009 Article No. 22 ACM New York, NY, USA table of contents doi>10.1145/1552309.1552312

	2009 Article Research Refereed
Bibliometrics
· Downloads (6 Weeks): 1 · Downloads (12 Months): 37 · Downloads (cumulative): 364 · Citation Count: 1

Tools and Resources

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

Share:

|

Tags: abstract state machines algorithms compilers concurrent programming languages processors reliability self-stabilization semantics of programming languages

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