The problem of equivalence in commutative s-models for programs

zbMath0657.68014MaRDI QIDQ1111006

R. I. Podlovchenko

Publication date: 1987

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

equivalenceprogram schemesprogram model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

This page was built for publication: The problem of equivalence in commutative s-models for programs