{"id":"https://openalex.org/W2078079279","doi":"https://doi.org/10.1137/0201006","title":"On Classes of Program Schemata","display_name":"On Classes of Program Schemata","publication_year":1972,"publication_date":"1972-03-01","ids":{"openalex":"https://openalex.org/W2078079279","doi":"https://doi.org/10.1137/0201006","mag":"2078079279"},"language":"en","primary_location":{"id":"doi:10.1137/0201006","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0201006","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5103371465","display_name":"Robert L. Constable","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Robert L. Constable","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5102132333","display_name":"David Gries","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gries David","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5103371465"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.9912,"has_fulltext":false,"cited_by_count":84,"citation_normalized_percentile":{"value":0.98610754,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"1","issue":"1","first_page":"66","last_page":"118"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9976000189781189,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9976000189781189,"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/T10142","display_name":"Formal Methods in Verification","score":0.9975000023841858,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/noisy-text-analytics","display_name":"Noisy text analytics","score":0.5418383479118347},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4812459647655487},{"id":"https://openalex.org/keywords/text-mining","display_name":"Text mining","score":0.454089879989624},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.3676668405532837},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.36089786887168884},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3481469750404358},{"id":"https://openalex.org/keywords/text-graph","display_name":"Text graph","score":0.3454838693141937},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.255361407995224},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.19746577739715576},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15104833245277405}],"concepts":[{"id":"https://openalex.org/C151375590","wikidata":"https://www.wikidata.org/wiki/Q17147076","display_name":"Noisy text analytics","level":4,"score":0.5418383479118347},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4812459647655487},{"id":"https://openalex.org/C71472368","wikidata":"https://www.wikidata.org/wiki/Q676880","display_name":"Text mining","level":2,"score":0.454089879989624},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3676668405532837},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.36089786887168884},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3481469750404358},{"id":"https://openalex.org/C66945725","wikidata":"https://www.wikidata.org/wiki/Q18388823","display_name":"Text graph","level":3,"score":0.3454838693141937},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.255361407995224},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.19746577739715576},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15104833245277405}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0201006","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0201006","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2010927194","https://openalex.org/W2012140001","https://openalex.org/W2045255985","https://openalex.org/W2047783023","https://openalex.org/W2122330398","https://openalex.org/W2592184324"],"related_works":["https://openalex.org/W2770471982","https://openalex.org/W2770474375","https://openalex.org/W4384067529","https://openalex.org/W2011580521","https://openalex.org/W2372183225","https://openalex.org/W1625494842","https://openalex.org/W2389119968","https://openalex.org/W4390515129","https://openalex.org/W2174664889","https://openalex.org/W2475935882"],"abstract_inverted_index":{"We":[0,131,156,250,275,285],"define":[1,286],"the":[2,44,106,121,268,277,287,293,296],"following":[3],"classes":[4,259],"of":[5,12,18,25,37,46,57,66,76,82,91,108,123,141,179,289],"program":[6,211],"schemata:":[7],"${\\text{P}}":[8,189],"=":[9,22,34,41,54,63,73,88],"$":[10,23,35,55,64,74,89,194,204,215,234,238],"class":[11,24,36,56,65,75,90,107,122,178,288,297],"schemes":[13,26,38,58,67,77,92,109,124],"using":[14,27,93],"a":[15,79,210],"finite":[16,80],"number":[17,81],"simple":[19,28],"variables;":[20],"${\\text{P}}_{\\text{A}}":[21,40,237],"and":[29,112,118,127,136,144,185,195,257,271,291,301,304],"subscripted":[30],"variables":[31],"(arrays);":[32],"${\\text{P}}_{{\\text{Ae}}}":[33,298],"in":[39,151,213,222,232],"$,":[42,105,120,254,256,299],"with":[43],"addition":[45],"an":[47,219,235],"equality":[48],"test":[49],"on":[50],"subscript":[51],"values;":[52,71,86],"${\\text{P}}_{\\text{R}}":[53],"allowing":[59,68,78,110,125],"recursive":[60],"functions;":[61],"${\\text{P}}_{\\text{L}}":[62],"labels":[69,128,145],"as":[70,85,115,129,146],"${\\text{P}}_{\\text{M}}":[72],"special":[83,113],"markers":[84,114],"${\\text{P}}_{{\\text{pds}}}":[87],"pushdown":[94],"stores.":[95],"With":[96],"these,":[97],"we":[98,216,226],"can":[99,217],"also":[100,242],"discuss,":[101],"for":[102,229],"example,":[103,208],"${\\text{P}}_{{\\text{AM}}}":[104,214,233],"arrays,":[111,126],"values":[116],";":[117],"${\\text{P}}_{{\\text{AL}}}":[119,197,223,255],"values.":[130],"argue":[132],"that":[133,148,158,228,252,267],"${\\text{P}}_{\\text{A}}$,":[134],"${\\text{P}}_{\\text{R}}$,":[135],"${\\text{P}}_{\\text{L}}$":[137],"faithfully":[138],"represent":[139],"mechanisms":[140],"subscripting,":[142],"recursion,":[143],"values,":[147],"are":[149,205,260,273,283],"present":[150],"many":[152],"\u201creal\u201d":[153],"programming":[154],"languages.":[155],"show":[157,227],"\\[":[159],"{\\text{P}}":[160],"<":[161,163,190,192],"{\\text{P}}_{\\text{R}}":[162,191],"{\\text{P}}_{\\text{A}}":[164,193],"\\equiv":[165,167,169,171,198,200,202],"{\\text{P}}_{{\\text{AM}}}":[166,199],"{\\text{P}}_{{\\text{pdsM}}}":[168,201],"{\\text{P}}_{{\\text{Ae}}}":[170,203],"{\\text{EF}},":[172],"\\]":[173],"where":[174],"EF":[175],"is":[176],"Strong\u2019s":[177,302],"effective":[180,306],"functionals,":[181],"assuming":[182],"total":[183],"functions":[184,270],"predicates.":[186],"The":[187,263],"inclusions":[188],"equivalences":[196],"effective.":[206],"For":[207],"given":[209],"scheme":[212,231,239],"construct":[218],"equivalent":[220,236,258],"one":[221],"$.":[224],"However,":[225],"any":[230],"exists,":[240],"but":[241],"prove":[243],"it":[244],"cannot":[245],"(in":[246],"general)":[247],"be":[248],"constructed!":[249],"conjecture":[251],"${\\text{P}}_{{\\text{A}}}":[253],"indeed":[261],"\u201cuniversal.\u201d":[262],"above":[264],"results":[265],"assume":[266],"uninterpreted":[269],"predicates":[272],"total.":[274],"discuss":[276],"problems":[278],"which":[279],"arise":[280],"when":[281],"they":[282],"partial.":[284],"multischemes":[290],"outline":[292],"relationship":[294],"between":[295],"multischemes,":[300],"nondeterministic":[303],"deterministic":[305],"functionals.":[307]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}