Algebraic Modelling of Imperative Languages with Pointers - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alexandre V. Zamulin. Algebraic Modelling of Imperative Languages with Pointers. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, pages 81-97, Springer, 1993.

The following publications are possibly variants of this publication:

Algebraic Semantics of an Imperative Programming LanguageAlexandre V. Zamulin. pcs, 29(6):328-337, 2003. [doi]

Algebraic Imperative SpecificationsMarie-Claude Gaudel, Alexandre V. Zamulin. ershov 2000: 17-39 [doi]

runs on WebDSL