Personal tools
You are here: Home / Publications / Refereed Publications / M. Erascu and T. Jebelean. A Calculus for Imperative Programs: Formalization and Implementation.

M. Erascu and T. Jebelean. A Calculus for Imperative Programs: Formalization and Implementation.

In: Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing , S. Watt, V. Negru, T. Ida, T. Jebelean, D. Petcu, D. Zaharie (ed.), pp. 77- 84. 2009. IEEE , 978-0-7695-3964-5.

PDF document icon Erascu&Jebelean - A Calculus for Imperative Programs Formalization and Implementation.pdf — PDF document, 199 KB (204336 bytes)