{ "labelLang" : "hun", "responseDate" : "2024-03-29 11:36", "content" : { "otype" : "BookChapter", "mtid" : 1648357, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-09-12T12:11:39.000+0000", "deleted" : false, "oldId" : 1648357, "lastRefresh" : "2024-02-28T13:54:14.530+0000", "lastModified" : "2018-09-12T12:11:39.000+0000", "created" : "2011-07-22T13:31:53.000+0000", "creator" : { "otype" : "Author", "mtid" : 10013702, "link" : "/api/author/10013702", "label" : "Kozsik Tamás (Formális módszerek)", "familyName" : "Kozsik", "givenName" : "Tamás", "published" : true, "oldId" : 10013702, "snippet" : true }, "lastDuplumOK" : "2018-10-20T19:54:31.415+0000", "lastDuplumSearch" : "2018-10-20T19:54:31.415+0000", "adminApproved" : "2014-09-27T20:07:52.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10028388, "link" : "/api/admin/10028388", "label" : "Szabó Zoltán (ELTE IK, admin)", "familyName" : "Szabó", "givenName" : "Zoltán", "published" : true, "oldId" : 10028388, "snippet" : true }, "core" : true, "citation" : false, "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" : "Horváth, Zoltán", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 1826325, "link" : "/api/authorship/1826325", "label" : "Horváth, Zoltán [Horváth, Zoltán (Matematika-inform...), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "listPosition" : 1, "share" : 0.33333334, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10009303, "link" : "/api/author/10009303", "label" : "Horváth Zoltán (Matematika-informatika)", "familyName" : "Horváth", "givenName" : "Zoltán", "published" : true, "oldId" : 10009303, "snippet" : true }, "familyName" : "Horváth", "givenName" : "Zoltá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, "oldId" : 13235902, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 1826326, "link" : "/api/authorship/1826326", "label" : "Kozsik, Tamás [Kozsik, Tamás (Formális módszerek), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "listPosition" : 2, "share" : 0.33333334, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10013702, "link" : "/api/author/10013702", "label" : "Kozsik Tamás (Formális módszerek)", "familyName" : "Kozsik", "givenName" : "Tamás", "published" : true, "oldId" : 10013702, "snippet" : true }, "familyName" : "Kozsik", "givenName" : "Tamás", "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, "oldId" : 13235901, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 1826327, "link" : "/api/authorship/1826327", "label" : "Tejfel, Máté [Tejfel, Máté (Formális módszerek), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "listPosition" : 3, "share" : 0.33333334, "first" : false, "last" : true, "author" : { "otype" : "Author", "mtid" : 10013703, "link" : "/api/author/10013703", "label" : "Tejfel Máté (Formális módszerek)", "familyName" : "Tejfel", "givenName" : "Máté", "published" : true, "oldId" : 10013703, "snippet" : true }, "familyName" : "Tejfel", "givenName" : "Máté", "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, "oldId" : 13235900, "snippet" : true } ], "title" : "Proving Invariants of Functional Programs", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 401294, "link" : "/api/publicationidentifier/401294", "label" : "Teljes dokumentum: http://cs.uef.fi/uku/tutkimus/publications/reports/A-2003-1/page115.pdf", "source" : { "otype" : "PlainSource", "mtid" : 39, "link" : "/api/publicationsource/39", "label" : "Teljes dokumentum", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Teljes dokumentum", "nameEng" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "http://cs.uef.fi/uku/tutkimus/publications/reports/A-2003-1/page115.pdf", "realUrl" : "http://cs.uef.fi/uku/tutkimus/publications/reports/A-2003-1/page115.pdf", "published" : false, "oldId" : 235875, "snippet" : true } ], "firstPage" : "115", "lastPage" : "126", "firstPageOrInternalIdForSort" : "115", "pageLength" : 12, "publishedYear" : 2003, "abstractText" : "In a pure functional language like Clean the values of the \nfunctional variables are constants; variables of functional \nprograms do not change in time. Hence it seems that temporality \nhas no meaning in functional programs. However, in certain cases \n(e.g. in interactive or distributed programs, or in ones that \nuse IO) we would like to consider a series of values computed \nfrom each other as different states of the same “abstract \nobject”. For this abstract object we can already prove temporal \nproperties. In this paper we present the concept of object \nabstraction and show how to interpret and prove temporal \nproperties of functional programs.", "digital" : null, "printed" : null, "sourceYear" : 2011, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-28", "oaFree" : false, "citationCount" : 11, "citationCountUnpublished" : 0, "citationCountWoOther" : 10, "independentCitCountWoOther" : 3, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 5, "doiCitationCount" : 3, "wosCitationCount" : 2, "scopusCitationCount" : 4, "wosScopusCitationCount" : 5, "wosScopusCitationCountWoOther" : 5, "wosScopusIndependentCitationCount" : 3, "wosScopusIndependentCitationCountWoOther" : 3, "independentCitationCount" : 4, "selfCitationCount" : 7, "unhandledCitationCount" : 0, "citingPubCount" : 11, "independentCitingPubCount" : 4, "citingPubCountWoOther" : 10, "independentCitingPubCountWoOther" : 3, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 4 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 1 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 5 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "count" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "count" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "count" : 1 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "count" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "count" : 0 } ], "citationTypes" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 } ], "years" : [ { "year" : 2004, "publicationCount" : 0, "citationCount" : 4, "independentCitationCount" : 0, "citingPubCount" : 4, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null }, { "year" : 2005, "publicationCount" : 0, "citationCount" : 0, "independentCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null }, { "year" : 2006, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 0, "citingPubCount" : 2, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null }, { "year" : 2007, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 0, "citingPubCount" : 1, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null }, { "year" : 2008, "publicationCount" : 0, "citationCount" : 4, "independentCitationCount" : 4, "citingPubCount" : 4, "independentCitingPubCount" : 4, "oaStats" : null, "oaStats2" : null } ] }, "hasCitationDuplums" : false, "userChangeableUntil" : "2014-09-27T20:07:52.000+0000", "publishDate" : "2012-10-11T07:41:26.000+0000", "directInstitutesForSort" : "Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "ownerAuthorCount" : 3, "ownerInstituteCount" : 5, "directInstituteCount" : 1, "authorCount" : 3, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 212544, "link" : "/api/publication/212544", "label" : "Kilpelainen P. Proceedings of the 8th Symposium on Programming Languages and Software Tools. (2003) ISBN:9517812655", "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" : "Proceedings of the 8th Symposium on Programming Languages and Software Tools", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 93508, "link" : "/api/publicationidentifier/93508", "label" : "ISBN: 9517812655", "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" : "9517812655", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9517812655", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 15491004, "link" : "/api/publicationidentifier/15491004", "label" : "Egyéb katalógus: https://dblp.org/db/conf/splst/splst2003.html", "source" : { "otype" : "PlainSource", "mtid" : 140, "link" : "/api/publicationsource/140", "label" : "Egyéb katalógus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10005, "link" : "/api/publicationsourcetype/10005", "label" : "Könyvtári katalógus", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Egyéb katalógus", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 140, "snippet" : true }, "idValue" : "https://dblp.org/db/conf/splst/splst2003.html", "realUrl" : "https://dblp.org/db/conf/splst/splst2003.html", "published" : true, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10180, "link" : "/api/city/10180", "label" : "Kuopio, Finnország", "partOf" : { "otype" : "Country", "mtid" : 10032, "link" : "/api/country/10032", "label" : "Finnország", "published" : true, "oldId" : 2147309, "snippet" : true }, "published" : true, "oldId" : 10, "snippet" : true } ], "publishedYear" : 2003, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "oldId" : 212544, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/1648357", "label" : "Horváth Zoltán et al. Proving Invariants of Functional Programs. (2003) Megjelent: Proceedings of the 8th Symposium on Programming Languages and Software Tools pp. 115-126", "template" : "