Angelina Saliling

According to our database, Angelina Saliling authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.

Noam Zilberstein, Angelina Saliling, Alexandra Silva

Proc. ACM Program. Lang., 2024