Refinement types for secure implementations (2011)
Attributed to:
Programming abstractions and static analyses for the web 2.0 and beyond.
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1145/1890028.1890031
Publication URI: http://dx.doi.org/10.1145/1890028.1890031
Type: Journal Article/Review
Parent Publication: ACM Transactions on Programming Languages and Systems
Issue: 2