Miss Alice Ravier

  • Demonstrator (School of Engineering)

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 Sun Sep 19 16:53:31 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 Sun Sep 19 16:53:31 2021 BST.