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

Publications

List by: Type | Date

Jump to: 2021
Number of items: 1.

2021

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)

This list was generated on Thu Sep 16 03:41:05 2021 BST.
Number of items: 1.

Conference Proceedings

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)

This list was generated on Thu Sep 16 03:41:05 2021 BST.