Algebraic semantics of an imperative programming language

DOI10.1023/B:PACS.0000004133.80483.66zbMATH Open1124.68340OpenAlexW2086098853MaRDI QIDQ557547FDOQ557547

Authors: Alexandre V. Zamulin 

Publication date: 30 June 2005

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

Full work available at URL: https://doi.org/10.1023/b:pacs.0000004133.80483.66

Mathematics Subject Classification ID

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

Cited In (2)

• LP-structures analysis: substantiation of refactoring in object-oriented programming
• LP structures on type lattices and some refactoring problems

This page was built for publication: Algebraic semantics of an imperative programming language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q557547)