Approximation of abstract semantics by formal models of programs

DOI10.1515/dma.1998.8.6.611zbMath0966.68047OpenAlexW2049224739MaRDI QIDQ4522757

Vladimir A. Zakharov

Publication date: 16 August 2001

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma.1998.8.6.611

zbMATH Keywords

algorithmic systemsfunctional equivalence of programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

This page was built for publication: Approximation of abstract semantics by formal models of programs