Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation

Authors:
William Pugh;Craig Chambers
Affiliations:
University of Maryland, College Park;University of Washington
Venue:
ACM SIGPLAN Conference on Programming Language Design and Implementation 2004
Year:
2004

Citing 0
Cited 2

Analyzing recursive programs using a fixed-point calculus

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Layered fixed point logic

Proceedings of the 14th symposium on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract