Implementation of the Composition-nominative Approach to Program Formalization in Mizar

Ivanov Ievgen; Kornilowicz Artur; Nikitchenko Mykola

Conţinutul numărului revistei

Articolul precedent

Articolul urmator

919

Ultima descărcare din IBN:
2019-02-28 20:17

Căutarea după subiecte
similare conform CZU

004.9+519.6 (3)

Informatică aplicată. Tehnici bazate pe calculator cu aplicații practice (438)

Matematică computațională. Analiză numerică. Programarea calculatoarelor (123)

SM ISO690:2012

IVANOV, Ievgen, KORNILOWICZ, Artur, NIKITCHENKO, Mykola. Implementation of the Composition-nominative Approach to Program Formalization in Mizar. In: Computer Science Journal of Moldova, 2018, nr. 1(76), pp. 59-76. ISSN 1561-4042.

EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core

Computer Science Journal of Moldova

Numărul 1(76) / 2018 / ISSN 1561-4042 /ISSNe 2587-4330

Implementation of the Composition-nominative Approach to Program Formalization in Mizar

CZU: 004.9+519.6

Pag. 59-76

Ivanov Ievgen¹, Kornilowicz Artur², Nikitchenko Mykola¹

¹ Taras Shevchenko National University of Kyiv,
² University of Bialystok

Disponibil în IBN: 4 mai 2018

Descarcă PDF

Rezumat

In this paper we describe an ongoing work on implementation of the composition-nominative approach to program formalization in Mizar proof assistant based on the first-order logic and axiomatic set theory. The further aim of this work is development of a formal verification tool for software which processes and communicates with complex forms of data.

Cuvinte-cheie
Formal methods,

program semantics, semistructured data, formalization, proof assistant.

Crossref XML Export

<?xml version='1.0' encoding='utf-8'?>
<doi_batch version='4.3.7' xmlns='http://www.crossref.org/schema/4.3.7' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xsi:schemaLocation='http://www.crossref.org/schema/4.3.7 http://www.crossref.org/schema/deposit/crossref4.3.7.xsd'>
<head>
<doi_batch_id>ibn-61949</doi_batch_id>
<timestamp>1713887341</timestamp>
<depositor>
<depositor_name>Information Society Development Instiute, Republic of Moldova</depositor_name>
<email_address>idsi@asm.md</email_address>
</depositor>
</head>
<body>
<journal>
<journal_metadata>
<full_title>Computer Science Journal of Moldova</full_title>
<issn media_type='print'>15614042</issn>
</journal_metadata>
<journal_issue>
<publication_date media_type='print'>
<year>2018</year>
</publication_date>
<issue>1(76)</issue>
</journal_issue>
<journal_article publication_type='full_text'><titles>
<title>Implementation of the Composition-nominative Approach to Program Formalization in Mizar</title>
</titles>
<contributors>
<person_name sequence='first' contributor_role='author'>
<given_name>Ievgen</given_name>
<surname>Ivanov</surname>
</person_name>
<person_name sequence='additional' contributor_role='author'>
<given_name>Artur</given_name>
<surname>Kornilowicz</surname>
</person_name>
<person_name sequence='additional' contributor_role='author'>
<given_name>Micola</given_name>
<surname>Nikitcenko</surname>
</person_name>
</contributors>
<publication_date media_type='print'>
<year>2018</year>
</publication_date>
<pages>
<first_page>59</first_page>
<last_page>76</last_page>
</pages>
</journal_article>
</journal>
</body>
</doi_batch>