Apr 20, 2005 · We introduce a new algebraic model for program variables, suitable for reasoning about recursive procedures with parameters and local ...

We introduce a new algebraic model for program variables, suitable for reasoning about recursive procedures with parameters and local variables in a ...

Apr 20, 2005 · We introduce a new algebraic model for program variables, suitable for reasoning about recursive pro- cedures with parameters and local ...

Abstract: We introduce a new algebraic model for program variables, suitable for reasoning about recursive procedures with parameters and local variables in a ...

Abstract. We introduce a new algebraic model for program variables, suitable for reasoning about recursive procedures with parameters and local variables in ...

Ralph-Johan Back, Viorel Preoteasa: An algebraic treatment of procedure refinement to support mechanical verification. Formal Aspects Comput.

An Algebraic Treatment of Procedure Refinement to Support Mechanical Verification (artBaPr05a). Author: Back, Ralph-Johan and Preoteasa, Viorel Journal ...

The first step towards such verifications is to extend process algebra (ACP) with equational data types which adds required expressive power to describe ...

... An Algebraic Treatment of Procedure Refinement to Support Mechanical Verification 1 · R. BackV. Preoteasa. Computer Science, Mathematics. 2005. TLDR. A new ...

Back, R.J., Preoteasa, V.: An algebraic treatment of procedure refinement to support mechanical verification. Formal Aspects of Computing 17, 69–90 (2005)