Mathias Steen Jakobsen
Currently, as I am working from home, the best way to reach me is by email on
Research title: Aliasing Control in an Object-Oriented Programming Language with Typestate Annotations
Currently, as I am working from home, the best way to reach me is by email on
Research title: Aliasing Control in an Object-Oriented Programming Language with Typestate Annotations
Jakobsen, M., Ravier, A. and Dardha, O. (2021) Papaya: Global Typestate Analysis of Aliased Objects. In: 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021), Tallinn, Estonia, 06-08 Sep 2021, ISBN 9781450386890 (Accepted for Publication)
Jakobsen, M., Ravier, A. and Dardha, O. (2021) Papaya: Global Typestate Analysis of Aliased Objects. In: 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021), Tallinn, Estonia, 06-08 Sep 2021, ISBN 9781450386890 (Accepted for Publication)
The University of Glasgow uses cookies for analytics and advertising. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Hotjar helps us to understand and improve our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Marketing cookies are used to ensure our marketing content is relevant, timely and interest based. They allow our approved partner to measure effectiveness and serve appropriate and personalised marketing messages on other websites based on your activity on glasgow.ac.uk
