Angelina Saliling

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Intuitionistic Logic

Abductive Reasoning

Expressive Power

Order Of Magnitude Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Noam Zilberstein, Angelina Saliling, Alexandra Silva
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Noam Zilberstein, Angelina Saliling, Alexandra Silva
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. CoRR (2023)