Export Citations
1 Results for: Book/Issue: POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,802,146 records)|Limit your search to The ACM Full-Text Collection (771,752 records)
Showing 1 - 1of1 Results
Select All
- ArticleJanuary 1997
Shape types
POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languagesPages 27–39https://doi.org/10.1145/263699.263706Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a list is doubly-linked or circular. We propose a solution to this problem ...
