SIGN IN
SIGN UP
Small domains spell fast strictness analysis
Full Text:
PDF
Buy this Article
Authors:
R. C. Sekar
Dept. of Computer Science, SUNY at Stony Brook, NY
Shaunak Pawagi
Dept. of Computer Science, SUNY at Stony Brook, NY
I. V. Ramarkrishnan
Dept. of Computer Science, SUNY at Stony Brook, NY
Published in:
· Proceeding
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pages 169-183
ACM
New York, NY
, USA
©1990
table of contents
ISBN:0-89791-343-4
doi>
10.1145/96709.96727
1989 Article
Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 5
· Downloads (cumulative): 140
· Citation Count: 8
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:
algorithms
applicative programming
languages
parallelism and concurrency
theory
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 Guide to Computing Literature
All Tags
Export Formats
Save to Binder