{"id":"https://openalex.org/W1561895795","doi":null,"title":"State deltas: a formalism for representing segments of computation.","display_name":"State deltas: a formalism for representing segments of computation.","publication_year":1977,"publication_date":"1977-01-01","ids":{"openalex":"https://openalex.org/W1561895795","mag":"1561895795"},"language":"en","primary_location":{"id":"mag:1561895795","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=908696","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5012244300","display_name":"Stephen D. Crocker","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Stephen Crocker","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5012244300"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1646,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.92643285,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"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":0.9970999956130981,"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":0.0019000000320374966,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0006000000284984708,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.4880000054836273},{"id":"https://openalex.org/keywords/arpanet","display_name":"ARPANET","score":0.8159999847412109},{"id":"https://openalex.org/keywords/program-correctness-proofs","display_name":"program correctness proofs","score":0.4300000071525574}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7685297727584839},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6936383247375488},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6452301740646362},{"id":"https://openalex.org/C192465680","wikidata":"https://www.wikidata.org/wiki/Q1413450","display_name":"Precondition","level":2,"score":0.5190011262893677},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5056827068328857},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4856935441493988},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44297391176223755},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.42761847376823425},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42135465145111084},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4153480529785156},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2790413796901703},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:1561895795","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=908696","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W937455145","https://openalex.org/W1566687055","https://openalex.org/W1595036120","https://openalex.org/W2020149918","https://openalex.org/W2113074643","https://openalex.org/W2123452923","https://openalex.org/W2156472435","https://openalex.org/W2337392266","https://openalex.org/W2895153536","https://openalex.org/W3146075203"],"related_works":["https://openalex.org/W69647446","https://openalex.org/W1874919417","https://openalex.org/W2275989034","https://openalex.org/W1512751828","https://openalex.org/W7064998028","https://openalex.org/W7125636281","https://openalex.org/W7100058839","https://openalex.org/W7096600169","https://openalex.org/W2314173840","https://openalex.org/W2522443936"],"abstract_inverted_index":{"Abstract":[0],":":[1],"A":[2,193],"state":[3,38,63,88],"delta":[4,89],"is":[5,66,71,186],"a":[6,10,12,14,28,51,120,174,179,207],"first-order":[7],"predicate":[8],"taking":[9],"precondition,":[11],"post-condition,":[13],"modification":[15,106],"list":[16,82,107,115],"and":[17,73,110,200],"an":[18],"environment":[19,81],"list.":[20],"State":[21],"deltas":[22],"are":[23,39,108,116],"to":[24,99,118,142,150,188,202],"be":[25,56,148],"used":[26,46,187,201],"in":[27,31,47,79,104,112,212],"proof":[29,195],"system":[30,136,196],"which":[32],"predicates":[33,97,141,155],"describing":[34],"the":[35,42,69,77,80,87,93,102,105,113,131,135,159,204,210,213],"machine's":[36,52],"current":[37,122],"cross-referenced":[40,98],"by":[41,59],"locations":[43,78,103,126],"containing":[44],"values":[45,161],"each.":[48],"Reasoning":[49],"about":[50],"forward":[53],"progress":[54],"may":[55,137,147,156],"carried":[57],"out":[58],"successive":[60],"application":[61],"of":[62,76,101,134,168,176,206,209],"deltas.":[64],"Application":[65],"legal":[67],"if":[68,74],"precondition":[70],"true":[72],"none":[75],"has":[83,197],"been":[84,198],"changed":[85],"since":[86],"was":[90],"entered":[91],"into":[92],"system.":[94],"Afterward,":[95],"all":[96,169,190],"any":[100],"deleted,":[109],"those":[111],"post-condition":[114],"added":[117],"form":[119],"new":[121],"state.":[123],"If":[124,145],"some":[125],"hold":[127],"arrays":[128],"or":[129],"lists,":[130],"cross-referencing":[132],"part":[133],"provide":[138],"for":[139],"attaching":[140],"location":[143,152],"components.":[144],"names":[146],"given":[149],"individual":[151],"components,":[153],"different":[154,163],"depend":[157],"upon":[158],"same":[160],"under":[162],"names.":[164],"To":[165],"keep":[166],"track":[167],"overlap":[170],"conditions":[171],"possible":[172,191],"among":[173],"set":[175],"named":[177],"locations,":[178],"graph":[180],"structure":[181],"with":[182],"two":[183],"node":[184],"types":[185],"show":[189],"overlaps.":[192],"small":[194],"built":[199],"prove":[203],"correctness":[205],"slice":[208],"code":[211],"ARPANET":[214],"IMPs.":[215]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}