Export Citations
1 Results for: Keyword: binary name
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,800,784 records)|Limit your search to The ACM Full-Text Collection (770,508 records)
Select All
- research-articleMay 2011
Building and using pluggable type-checkers
ICSE '11: Proceedings of the 33rd International Conference on Software EngineeringPages 681–690https://doi.org/10.1145/1985793.1985889This paper describes practical experience building and using pluggable type-checkers. A pluggable type-checker refines (strengthens) the built-in type system of a programming language. This permits programmers to detect and prevent, at compile time, ...