Time bounds for general function pointers
10.1016/j.entcs.2012.08.010
Saved in:
Main Authors: | Dockins, R., Hobor, A. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2014
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/78392 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
A theory of indirection via approximation
by: Hobor, A., et al.
Published: (2013) -
A theory of indirection via approximation
by: Hobor, A., et al.
Published: (2013) -
Regular approximation and bounded domains for size-change termination
by: Anderson, H., et al.
Published: (2013) -
Development of android apps for circuit and electromagnetic analysis
by: Zhang, Yuepeng
Published: (2024) -
FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers
by: TU, Haoxin, et al.
Published: (2022)