Algebraic semantics of an imperative programming language

DOI10.1023/B:PACS.0000004133.80483.66MaRDI QIDQ557547zbMATH OpenOpenAlexFDO

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)