{"id":"https://openalex.org/W2024136341","doi":"https://doi.org/10.1109/icaict.2011.6111009","title":"Universal attitude to the program verification","display_name":"Universal attitude to the program verification","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W2024136341","doi":"https://doi.org/10.1109/icaict.2011.6111009","mag":"2024136341"},"language":"en","primary_location":{"id":"doi:10.1109/icaict.2011.6111009","doi":"https://doi.org/10.1109/icaict.2011.6111009","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icaict.2011.6111009","pdf_url":null,"source":{"id":"https://openalex.org/S4306419128","display_name":"International Conference on Application of Information and Communication Technologies","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 5th International Conference on Application of Information and Communication Technologies (AICT)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109856796","display_name":"Nino G. Archvadze","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I102808428","display_name":"Tbilisi State University","ror":"https://ror.org/05fd1hd85","country_code":"GE","type":"education","lineage":["https://openalex.org/I102808428"]}],"countries":["GE"],"is_corresponding":false,"raw_author_name":"N. Archvadze","raw_affiliation_strings":["Department of Computer Sciences Faculty of Exact and Natural Sciences, I. lavakhishvili Tbilisi State University 2, Tbilisi, Georgia","Department of Computer Sciences Faculty of Exact and Natural Sciences, I. Javakhishvili Tbilisi State University 2, University st., 0143, GEORGIA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences Faculty of Exact and Natural Sciences, I. lavakhishvili Tbilisi State University 2, Tbilisi, Georgia","institution_ids":["https://openalex.org/I102808428"]},{"raw_affiliation_string":"Department of Computer Sciences Faculty of Exact and Natural Sciences, I. Javakhishvili Tbilisi State University 2, University st., 0143, GEORGIA","institution_ids":["https://openalex.org/I102808428"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009852681","display_name":"Merab Pkhovelishvili","orcid":"https://orcid.org/0000-0002-2814-4757","observed_orcids":["https://orcid.org/0000-0002-2814-4757"]},"institutions":[{"id":"https://openalex.org/I2800265760","display_name":"Georgian National Academy of Sciences","ror":"https://ror.org/05aav2h42","country_code":"GE","type":"education","lineage":["https://openalex.org/I2800265760"]}],"countries":["GE"],"is_corresponding":false,"raw_author_name":"M. Pkhovelishvili","raw_affiliation_strings":["Department of Programming, N.Muskhelishvili Computing Mathematic Institute, Tbilisi, Georgia","Department of Programming N.Muskhelishvili Computing Mathematic Institute, 7, Akuri st., 0193, Tbilisi GEORGIA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Programming, N.Muskhelishvili Computing Mathematic Institute, Tbilisi, Georgia","institution_ids":["https://openalex.org/I2800265760"]},{"raw_affiliation_string":"Department of Programming N.Muskhelishvili Computing Mathematic Institute, 7, Akuri st., 0193, Tbilisi GEORGIA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078803325","display_name":"Lia Shetsiruli","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I12153360","display_name":"Batumi Shota Rustaveli State University","ror":"https://ror.org/0212gyx73","country_code":"GE","type":"education","lineage":["https://openalex.org/I12153360"]}],"countries":["GE"],"is_corresponding":false,"raw_author_name":"L. Shetsiruly","raw_affiliation_strings":["Shota Rustaveli State University, Batumi, Georgia","Shota Rustaveli State University, 35, Ninoshvili st., 6010, Batumi, GEORGIA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shota Rustaveli State University, Batumi, Georgia","institution_ids":["https://openalex.org/I12153360"]},{"raw_affiliation_string":"Shota Rustaveli State University, 35, Ninoshvili st., 6010, Batumi, GEORGIA","institution_ids":["https://openalex.org/I12153360"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.9950000047683716},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.6819999814033508},{"id":"https://openalex.org/keywords/recursive-functions","display_name":"recursive functions","score":0.9409999847412109},{"id":"https://openalex.org/keywords/transfinite-induction","display_name":"transfinite induction","score":0.7319999933242798},{"id":"https://openalex.org/keywords/structural-induction","display_name":"structural induction","score":0.968999981880188},{"id":"https://openalex.org/keywords/lisp","display_name":"LISP","score":0.8429999947547913},{"id":"https://openalex.org/keywords/c-programming-language","display_name":"C programming language","score":0.718999981880188},{"id":"https://openalex.org/keywords/imperative-programming-languages","display_name":"imperative programming languages","score":0.4410000145435333}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.8275730013847351},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7386118173599243},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6438735723495483},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6273003816604614},{"id":"https://openalex.org/C190883126","wikidata":"https://www.wikidata.org/wiki/Q132874","display_name":"Lisp","level":2,"score":0.5703203678131104},{"id":"https://openalex.org/C2982939207","wikidata":"https://www.wikidata.org/wiki/Q1175101","display_name":"Recursive functions","level":2,"score":0.5341896414756775},{"id":"https://openalex.org/C9986523","wikidata":"https://www.wikidata.org/wiki/Q1570472","display_name":"Primitive recursive function","level":2,"score":0.5128133893013},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48823073506355286},{"id":"https://openalex.org/C124416688","wikidata":"https://www.wikidata.org/wiki/Q3454656","display_name":"Mutual recursion","level":3,"score":0.4753265678882599},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4350734353065491},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36515331268310547},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21039661765098572},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.14345762133598328},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icaict.2011.6111009","doi":"https://doi.org/10.1109/icaict.2011.6111009","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icaict.2011.6111009","pdf_url":null,"source":{"id":"https://openalex.org/S4306419128","display_name":"International Conference on Application of Information and Communication Technologies","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 5th International Conference on Application of Information and Communication Technologies (AICT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W199653139"],"related_works":["https://openalex.org/W2275965367","https://openalex.org/W199653139","https://openalex.org/W2108233827","https://openalex.org/W147299627","https://openalex.org/W2049015750","https://openalex.org/W622751939","https://openalex.org/W72303624","https://openalex.org/W2948422902","https://openalex.org/W2749943653","https://openalex.org/W7101129993"],"abstract_inverted_index":{"The":[0,42,69,86,114],"functional":[1,55,126],"programs":[2,120],"are":[3,30,109],"the":[4,8,13,16,20,25,27,32,37,49,53,60,63,72,75,111,119,125,131,148,153],"recursive":[5,17,76,112],"functions.":[6,113],"Therefore,":[7],"paper":[9,43],"primarily":[10],"discuss":[11],"all":[12,66],"forms":[14,29,73],"having":[15],"function.":[18],"For":[19],"data":[21],"structures,":[22],"such":[23,103],"as":[24,57,59],"lists,":[26],"following":[28],"available:":[31],"parallel":[33],"recursion,":[34],"inter-recursion,":[35],"and":[36,82,92,140,156],"recursion":[38],"of":[39,65,74,107,118,152],"high":[40],"level.":[41],"has":[44],"exposed":[45],"each":[46],"form":[47],"on":[48],"LISP":[50],"language,":[51],"being":[52,122],"classic":[54],"language":[56],"well":[58],"ground":[61],"for":[62,71,100,102,124,130,137,143],"development":[64],"other":[67],"languages.":[68],"verification":[70,101,116],"functions":[77],"was":[78,128],"adopted":[79],"with":[80],"structural":[81],"transfinite":[83],"induction":[84,90],"methods.":[85],"analysis":[87],"describe":[88],"combined":[89],"technique":[91],"its":[93],"algorithm":[94],"is":[95,98],"discussed":[96,115],"which":[97,108],"used":[99],"complex":[104],"functions,":[105],"arguments":[106],"again":[110],"method":[117],"those":[121],"offered":[123],"languages":[127],"applied":[129],"imperative":[132],"paradigm":[133],"languages,":[134],"in":[135],"particular":[136],"Language":[138],"C":[139,144,149],"more":[141],"precisely":[142],"subset":[145],"(consider":[146],"that":[147],"program":[150],"consists":[151],"assigning,":[154],"optional":[155],"cycle":[157],"operators":[158],"only).":[159]},"counts_by_year":[],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}