An Interval-based Inference of Variant Parametric Types

Craciun, F.; Chin, W.-N.; He, G.; Qin, S.; Castagna, G.

doi:10.1007/978-3-642-00590-9_9

All Outputs (4)

PTSC: probability, time and shared-variable concurrency (2009)
Journal Article
Zhu, H., Qin, S., He, J., & Bowen, J. (2009). PTSC: probability, time and shared-variable concurrency. Innovations in Systems and Software Engineering, 5(4), 271-284. https://doi.org/10.1007/s11334-009-0100-9

Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages comprising all these features. In this paper, we integrate... Read More about PTSC: probability, time and shared-variable concurrency.

Memory Usage Verification Using Hip/Sleek (2009)
Presentation / Conference Contribution
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.

Theoretical Aspects of Software Engineering. The 3rd IEEE International Symposium (2009)
Book
Chin, W., & Qin, S. (Eds.). (2009). Theoretical Aspects of Software Engineering. The 3rd IEEE International Symposium. Institute of Electrical and Electronics Engineers

An Interval-based Inference of Variant Parametric Types (2009)
Presentation / Conference Contribution
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.