Checking observational purity of procedures

DOI10.1007/978-3-030-16722-6_13zbMath1524.68053arXiv1902.05436OpenAlexW2913599118MaRDI QIDQ6091322

Raghavan Komondoor, Himanshu Arora, G. Ramalingam

Publication date: 24 November 2023

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.05436

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Checking observational purity of procedures