{"id":"https://openalex.org/W1486753544","doi":"https://doi.org/10.3233/fi-1996-27105","title":"SYNTACTIC AND SEMANTIC DEPENDENCE OF ARRAY-ARITHMETIC SENTENCES, WITH AN APPLICATION TO PROGRAM VERIFICATION","display_name":"SYNTACTIC AND SEMANTIC DEPENDENCE OF ARRAY-ARITHMETIC SENTENCES, WITH AN APPLICATION TO PROGRAM VERIFICATION","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1486753544","doi":"https://doi.org/10.3233/fi-1996-27105","mag":"1486753544"},"language":"en","primary_location":{"id":"doi:10.3233/fi-1996-27105","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1996-27105","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","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/A5020073000","display_name":"Leo Marcus","orcid":null},"institutions":[{"id":"https://openalex.org/I169540460","display_name":"The Aerospace Corporation","ror":"https://ror.org/01ar9e455","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I169540460"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Leo Marcus","raw_affiliation_strings":["Computer Systems Division, The Aerospace Corporation, P.O. Box 92957. Los Angeles. CA 90009, USA. E-mail: marcus@aero.org","Computer Systems Division, The Aerospace Corporation, P.O. Box 92957. Los Angeles. CA 90009, USA. E-mail: marcus@aero.org#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Systems Division, The Aerospace Corporation, P.O. Box 92957. Los Angeles. CA 90009, USA. E-mail: marcus@aero.org","institution_ids":["https://openalex.org/I169540460"]},{"raw_affiliation_string":"Computer Systems Division, The Aerospace Corporation, P.O. Box 92957. Los Angeles. CA 90009, USA. E-mail: marcus@aero.org#TAB#","institution_ids":["https://openalex.org/I169540460"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5020073000"],"corresponding_institution_ids":["https://openalex.org/I169540460"],"apc_list":null,"apc_paid":null,"fwci":0.9756,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.80734361,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"1","first_page":"77","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/arithmetic","display_name":"Arithmetic","score":0.7281255722045898},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6557841300964355},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4818100333213806},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4682259261608124},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3549525737762451},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35433751344680786},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2797772288322449}],"concepts":[{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.7281255722045898},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6557841300964355},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4818100333213806},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4682259261608124},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3549525737762451},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35433751344680786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2797772288322449}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-1996-27105","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1996-27105","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5899999737739563,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W148586085","https://openalex.org/W149859832","https://openalex.org/W1524877046","https://openalex.org/W1964714157","https://openalex.org/W1972643432","https://openalex.org/W1980102547","https://openalex.org/W2000663597","https://openalex.org/W2034104058","https://openalex.org/W2037247941","https://openalex.org/W2059490901","https://openalex.org/W2092448196","https://openalex.org/W2092518806","https://openalex.org/W2135988257","https://openalex.org/W2138986001","https://openalex.org/W2314173840","https://openalex.org/W2319373862","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4249530125","https://openalex.org/W1944601446","https://openalex.org/W2502533382","https://openalex.org/W87529998","https://openalex.org/W4247547172","https://openalex.org/W4231937131","https://openalex.org/W3188962172","https://openalex.org/W323219885","https://openalex.org/W2063928587","https://openalex.org/W3204019825"],"abstract_inverted_index":{"We":[0,46,52],"present":[1],"an":[2,75,108],"algorithm":[3,140],"that":[4,32,117,130],"takes":[5],"a":[6,29,60,89,111,125,136],"first-order":[7],"sentence":[8,90,112],"\u03c6":[9,70,115,147],"in":[10,81,94,99,120],"full":[11],"arithmetic":[12],"with":[13,20],"arrays":[14,43],"(with":[15],"quantification":[16],"over":[17],"numbers,":[18],"and":[19,27,124],"numerical":[21],"terms":[22],"serving":[23],"as":[24,59,114],"array":[25,76,128],"indices),":[26],"builds":[28],"test":[30,61],"formula":[31],"can":[33,141],"be":[34,92,132,142],"used":[35,143],"to":[36,55,144],"determine":[37,145],"which":[38],"indices":[39],"of":[40,69,74,127],"\u03c6's":[41],"constituent":[42],"\u201creally\u201d":[44],"occur.":[45],"call":[47],"this":[48],"concept":[49],"syntactic":[50,57],"dependence.":[51],"show":[53],"how":[54],"use":[56],"dependence":[58,68],"for":[62],"semantic":[63],"dependence,":[64],"i.e.,":[65],"the":[66,72,100,121,139,152],"true":[67,93,119,150],"on":[71],"value":[73,134],"element.":[77],"This":[78],"is":[79,118],"useful":[80],"truth-maintenance":[82],"systems":[83],"or":[84],"symbolic":[85],"execution":[86],"systems,":[87],"where":[88],"may":[91,131],"one":[95],"state":[96,137,153],"but":[97],"false":[98],"next.":[101],"More":[102],"specifically,":[103],"if":[104],"we":[105],"are":[106],"given":[107],"initial":[109,122],"state,":[110,123],"(such":[113],"above)":[116],"list":[126],"elements":[129],"changing":[133],"during":[135],"transition,":[138],"whether":[146],"must":[148],"remain":[149],"after":[151],"transition.":[154]},"counts_by_year":[],"updated_date":"2026-05-02T06:04:40.494371","created_date":"2025-10-10T00:00:00"}