A robust graph-based approach to observational equivalence

We propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our approach is based on what we call local reasoning. The local reasoning exploits the graphical concept of neighbourhood, and it extracts a new, forma...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 21, Issue 2
Main Authors:	Ghica, Dan R., Muroya, Koko, Ambridge, Todd Waugh
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 01.01.2025
Subjects:	computer science - programming languages f.3.2
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!