{ "labelLang" : "hun", "responseDate" : "2024-03-29 08:11", "content" : { "otype" : "BookChapter", "mtid" : 33061230, "status" : "APPROVED", "published" : true, "comment" : "Technical University of Košice, Faculty of Electrical Engineering and Informatics, Department of Computers and Informatics, Košice, Slovakia \n National University of Water and Environmental Engineering, Department of Computer Science and Applied Mathematics, Rivne, Ukraine \n Conference code: 183712 \n Export Date: 24 April 2023 \n Funding details: FEI-2022-90 \n Funding details: European Cooperation in Science and Technology, COST \n Funding details: Kultúrna a Edukacná Grantová Agentúra MŠVVaŠ SR, KEGA, 011TUKE-4/2020 \n Funding text 1: ACKNOWLEDGMENT This research was funded by • the Cultural and Educational Grant Agency grant No. KEGA 011TUKE-4/2020: ”A development of the new semantic technologies in educating of young IT experts”, • the Faculty of Electrical Engineering and Informatics at the Technical University of Kosˇice under contract No. FEI-2022-90: ”Modeling dynamic aspects of a multi-agent system using transparent intensional logic”, • the European Cooperation in Science and Technology - COST Action CA20111 ”European Research Network on Formal Proofs”.", "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2024-02-26T10:24:20.707+0000", "lastModified" : "2023-04-24T09:21:16.400+0000", "created" : "2022-08-23T07:10:51.682+0000", "creator" : { "otype" : "Admin", "mtid" : 10080268, "link" : "/api/admin/10080268", "label" : "Stikel Gábor (admin)", "familyName" : "Stikel", "givenName" : "Gábor", "published" : true, "snippet" : true }, "lastDuplumSearch" : "2024-02-26T10:13:31.892+0000", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Perháč, Ján", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 103193525, "link" : "/api/authorship/103193525", "label" : "Perháč, Ján", "listPosition" : 1, "share" : 0.2, "first" : true, "last" : false, "familyName" : "Perháč", "givenName" : "Ján", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 103193526, "link" : "/api/authorship/103193526", "label" : "Ferencsik, Michal", "listPosition" : 2, "share" : 0.2, "first" : false, "last" : false, "familyName" : "Ferencsik", "givenName" : "Michal", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 103193527, "link" : "/api/authorship/103193527", "label" : "Zhukovskyy, Viktor", "listPosition" : 3, "share" : 0.2, "first" : false, "last" : false, "familyName" : "Zhukovskyy", "givenName" : "Viktor", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 103193528, "link" : "/api/authorship/103193528", "label" : "Zhukovska, Nataliia", "listPosition" : 4, "share" : 0.2, "first" : false, "last" : false, "familyName" : "Zhukovska", "givenName" : "Nataliia", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 103193529, "link" : "/api/authorship/103193529", "label" : "Shatnyi, Serhii", "listPosition" : 5, "share" : 0.2, "first" : false, "last" : true, "familyName" : "Shatnyi", "givenName" : "Serhii", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true } ], "title" : "Visualization of Syntax and Semantics for Simple Functional Language of Natural Numbers and Boolean Values", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 21996655, "link" : "/api/publicationidentifier/21996655", "label" : "DOI: 10.1109/ICCC202255925.2022.9922774", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "10.1109/ICCC202255925.2022.9922774", "realUrl" : "https://doi.org/10.1109/ICCC202255925.2022.9922774", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21996656, "link" : "/api/publicationidentifier/21996656", "label" : "IEEE Xplore: 9922774", "source" : { "otype" : "PlainSource", "mtid" : 22, "link" : "/api/publicationsource/22", "label" : "IEEE Xplore", "type" : { "otype" : "PublicationSourceType", "mtid" : 10004, "link" : "/api/publicationsourcetype/10004", "label" : "Kiadói adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "IEEE Xplore", "linkPattern" : "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 22, "snippet" : true }, "idValue" : "9922774", "realUrl" : "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=9922774", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 23416508, "link" : "/api/publicationidentifier/23416508", "label" : "Scopus: 85141717041", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "85141717041", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85141717041", "published" : false, "snippet" : true } ], "firstPage" : "305", "lastPage" : "310", "firstPageOrInternalIdForSort" : "305", "pageLength" : 6, "publishedYear" : 2022, "abstractText" : "Building an abstract syntax tree is an integral part of compilers. We analyze a few of the popular techniques providing such analysis in the web environment. Based on the analysis of these solutions, we deal with the implementation of our parser solution, which also provides a graphical representation of abstract syntax trees as well as proof trees. This solution is then used in our application designed to interpret the expressions of the simple teaching functional language of natural numbers and boolean values. In addition, the application supports the evaluation (semantics) of expressions (step by step), and also their individual properties: the depth of the syntax tree, syntax tree nodes count, and the constants used in the expression. © 2022 IEEE.", "keywords" : [ { "otype" : "Keyword", "mtid" : 960, "link" : "/api/keyword/960", "label" : "VISUALIZATION", "published" : true, "oldId" : 960, "snippet" : true }, { "otype" : "Keyword", "mtid" : 9497, "link" : "/api/keyword/9497", "label" : "Semantics", "published" : true, "oldId" : 9497, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1068800, "link" : "/api/keyword/1068800", "label" : "Natural number", "published" : true, "oldId" : 1068800, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1068865, "link" : "/api/keyword/1068865", "label" : "Trees (mathematics)", "published" : true, "oldId" : 1068865, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1072172, "link" : "/api/keyword/1072172", "label" : "Computational linguistics", "published" : true, "oldId" : 1072172, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1127742, "link" : "/api/keyword/1127742", "label" : "Syntactics", "published" : true, "oldId" : 1127742, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1134975, "link" : "/api/keyword/1134975", "label" : "Integral part", "published" : true, "oldId" : 1134975, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1140770, "link" : "/api/keyword/1140770", "label" : "Functional languages", "published" : true, "oldId" : 1140770, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1140773, "link" : "/api/keyword/1140773", "label" : "Functional language", "published" : true, "oldId" : 1140773, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1219136, "link" : "/api/keyword/1219136", "label" : "Abstract Syntax Trees", "published" : true, "oldId" : 1219136, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1331736, "link" : "/api/keyword/1331736", "label" : "Parser generators", "published" : true, "oldId" : 1331736, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1331742, "link" : "/api/keyword/1331742", "label" : "Parser generator", "published" : true, "oldId" : 1331742, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2158430, "link" : "/api/keyword/2158430", "label" : "type theory", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2236901, "link" : "/api/keyword/2236901", "label" : "Syntax Tree", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2309783, "link" : "/api/keyword/2309783", "label" : "Simple++", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 3000778, "link" : "/api/keyword/3000778", "label" : "Boolean values", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 3000779, "link" : "/api/keyword/3000779", "label" : "Number values", "published" : true, "snippet" : true } ], "digital" : true, "printed" : true, "sourceYear" : 2022, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-26", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 1, "citedCount" : 1, "hasCitationDuplums" : false, "userChangeableUntil" : "2022-11-21T08:11:01.913+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 3, "ownerInstituteCount" : 25, "directInstituteCount" : 0, "authorCount" : 5, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 32830262, "link" : "/api/publication/32830262", "label" : "Szakál Anikó. IEEE 10th Jubilee International Conference on Computational Cybernetics and Cyber-Medical Systems ICCC 2022. (2022) ISBN:9781665481762", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "IEEE 10th Jubilee International Conference on Computational Cybernetics and Cyber-Medical Systems ICCC 2022", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 21001618, "link" : "/api/publicationidentifier/21001618", "label" : "ISBN: 9781665481762", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9781665481762", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9781665481762", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21001619, "link" : "/api/publicationidentifier/21001619", "label" : "Egyéb URL: http://conf.uni-obuda.hu/iccc2022/index.html", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Egyéb URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "http://conf.uni-obuda.hu/iccc2022/index.html", "realUrl" : "http://conf.uni-obuda.hu/iccc2022/index.html", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10003, "link" : "/api/city/10003", "label" : "Budapest, Magyarország", "partOf" : { "otype" : "Country", "mtid" : 10001, "link" : "/api/country/10001", "label" : "Magyarország", "published" : true, "oldId" : 1, "snippet" : true }, "published" : true, "oldId" : 10005024, "snippet" : true } ], "pageLength" : 401, "publishedYear" : 2022, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : true, "published" : true, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/33061230", "label" : "Perháč Ján et al. Visualization of Syntax and Semantics for Simple Functional Language of Natural Numbers and Boolean Values. (2022) Megjelent: IEEE 10th Jubilee International Conference on Computational Cybernetics and Cyber-Medical Systems ICCC 2022 pp. 305-310", "template" : "