Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
899 2 |
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 | ||||||
|
||||||
CZU: 004.9+519.6 | ||||||
Pag. 59-76 | ||||||
|
||||||
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. |
||||||
|
DataCite XML Export
<?xml version='1.0' encoding='utf-8'?> <resource xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xmlns='http://datacite.org/schema/kernel-3' xsi:schemaLocation='http://datacite.org/schema/kernel-3 http://schema.datacite.org/meta/kernel-3/metadata.xsd'> <creators> <creator> <creatorName>Ivanov, I.</creatorName> <affiliation>Universitatea Naţională „Taras Shevchenko“, Kiev, Ucraina</affiliation> </creator> <creator> <creatorName>Kornilowicz, A.</creatorName> <affiliation>University of Bialystok, Polonia</affiliation> </creator> <creator> <creatorName>Nikitcenko, M.</creatorName> <affiliation>Universitatea Naţională „Taras Shevchenko“, Kiev, Ucraina</affiliation> </creator> </creators> <titles> <title xml:lang='en'>Implementation of the Composition-nominative Approach to Program Formalization in Mizar</title> </titles> <publisher>Instrumentul Bibliometric National</publisher> <publicationYear>2018</publicationYear> <relatedIdentifier relatedIdentifierType='ISSN' relationType='IsPartOf'>1561-4042</relatedIdentifier> <subjects> <subject>Formal methods</subject> <subject>program semantics</subject> <subject>semistructured data</subject> <subject>formalization</subject> <subject>proof assistant.</subject> <subject schemeURI='http://udcdata.info/' subjectScheme='UDC'>004.9+519.6</subject> </subjects> <dates> <date dateType='Issued'>2018-03-31</date> </dates> <resourceType resourceTypeGeneral='Text'>Journal article</resourceType> <descriptions> <description xml:lang='en' descriptionType='Abstract'><p>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.</p></description> </descriptions> <formats> <format>application/pdf</format> </formats> </resource>