Abstract. In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formaliza- tion in Mizar proof ...

In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on ...

In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based ...

This paper defines program and specification algebras over hierarchical nominative data, specify corresponding languages and construct a program logic of ...

Abstract. In this talk we describe an ongoing work on implementation of the composition-nominative approach to program formaliza- tion in Mizar proof ...

In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on ...

May 4, 2018 · In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof ...

In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on ...

Implementation of the Composition-nominative Approach to Program Formalization in Mizar · Computer Science, Mathematics. Comput. Sci. J. Moldova · 2018.

Partial predicates over classes of mathematical models of data were used for formalizing semantics of computer programs in the composition-nominative ...