All Outputs (2)

Memory Usage Verification Using Hip/Sleek (2009)
Conference Proceeding
He, G., Qin, S., Luo, C., W.-n., C., Liu, Z., & Ravn, A. (2009). Memory Usage Verification Using Hip/Sleek. In Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, 14-16 October, 2009, Macao, China ; proceedings (166-181). https://doi.org/10.1007/978-3-642-04761-9_14

Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at compile-time, to prevent memory-related software failure after deployme... Read More about Memory Usage Verification Using Hip/Sleek.

An Interval-based Inference of Variant Parametric Types (2009)
Conference Proceeding
Craciun, F., Chin, W., He, G., Qin, S., & Castagna, G. (2009). An Interval-based Inference of Variant Parametric Types. In Programming languages and systems : 18th European Symposium on Programming, ESOP 2009 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, 22-29 March, 2009 ; proceedings (112-127). https://doi.org/10.1007/978-3-642-00590-9_9

Variant parametric types represent the successful integration of subtype and parametric polymorphism to support a more flexible subtyping for Java like languages. A key feature that helps strengthen this integration is the use-site variance. Dependin... Read More about An Interval-based Inference of Variant Parametric Types.