A practical and precise inference and specializer for array bound checks elimination
10.1145/1328408.1328434
Saved in:
Main Authors: | Popeea, C., Xu, D.N., Chin, W.-N. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/42038 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Verifying safety policies with size properties and alias controls
by: Chin, W.-N., et al.
Published: (2013) -
Deriving pre-conditions for array bound check elimination
by: Chin, W.-N., et al.
Published: (2014) -
A type system for resource protocol verification and its correctness proof
by: Popeea, C., et al.
Published: (2013) -
Immutable specifications for more concise and precise verification
by: David, C., et al.
Published: (2013) -
Immutable specifications for more concise and precise verification
by: David, C., et al.
Published: (2013)