REFERENCES
Zamulin, A.V., Algebraic Semantics of an Imperative Programming Language, Programmirovanie, 2003, no. 6, pp. 51-64.
Algebraic Foundations of System Specification,Asteziano, E., Kreowski, H.-J., and Krieg-Brückner, B., Eds., Springer, 1999.
Goguen, J.A. and Malcolm, G., Algebraic Semantics of Imperative Programs, The MIT Press, 1996.
El-Far, I. and Whittaker, J.A., Model-based Software Testing, Encyclopedia of Software Engineering, Marciniak, J.J., Ed., 2001, vol. 1, pp. 825-837.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zamulin, A.V. An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language. Programming and Computer Software 30, 295–302 (2004). https://doi.org/10.1023/B:PACS.0000043055.52965.68
Issue Date:
DOI: https://doi.org/10.1023/B:PACS.0000043055.52965.68