{"id":"https://openalex.org/W2160815532","doi":null,"title":"Programming data structures in logic","display_name":"Programming data structures in logic","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W2160815532","mag":"2160815532"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.38.2721","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.2721","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.utexas.edu/pub/techreports/tr92-44.ps.Z","raw_type":"text"},"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/A5018944617","display_name":"Russell Turpin","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"William Russell Turpin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5018944617"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5637,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.69692385,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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":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/T10533","display_name":"Teaching and Learning Programming","score":9.999999747378752e-05,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0,"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/pointer-based-data-structures","display_name":"pointer-based data structures","score":0.8009999990463257},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.5839999914169312},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.7639999985694885},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.5580000281333923},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.3319999873638153},{"id":"https://openalex.org/keywords/data-structure-manipulation","display_name":"data structure manipulation","score":0.48100000619888306},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.9570000171661377},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"lambda calculus","score":0.5860000252723694},{"id":"https://openalex.org/keywords/horn-clause-logic","display_name":"Horn clause logic","score":0.8489999771118164},{"id":"https://openalex.org/keywords/programming-language-design","display_name":"programming language design","score":0.421999990940094}],"concepts":[{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.8435713052749634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8007638454437256},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.762729287147522},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5909180045127869},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5878259539604187},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5551580190658569},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.5003674030303955},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.4974956810474396},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.45703282952308655},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37393099069595337},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1884097456932068}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.38.2721","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.2721","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.utexas.edu/pub/techreports/tr92-44.ps.Z","raw_type":"text"},{"id":"mag:2160815532","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=171093","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":31,"referenced_works":["https://openalex.org/W85477688","https://openalex.org/W163943229","https://openalex.org/W581245379","https://openalex.org/W1513458930","https://openalex.org/W1523103694","https://openalex.org/W1530765221","https://openalex.org/W1541434994","https://openalex.org/W1554859476","https://openalex.org/W1557507696","https://openalex.org/W1605195718","https://openalex.org/W1887570530","https://openalex.org/W1968513265","https://openalex.org/W1977583107","https://openalex.org/W1986804682","https://openalex.org/W1988095917","https://openalex.org/W2009944560","https://openalex.org/W2028074529","https://openalex.org/W2038774992","https://openalex.org/W2051113166","https://openalex.org/W2052363833","https://openalex.org/W2058847156","https://openalex.org/W2103090960","https://openalex.org/W2134338128","https://openalex.org/W2144344516","https://openalex.org/W2160823258","https://openalex.org/W2168674960","https://openalex.org/W2172307690","https://openalex.org/W2752853835","https://openalex.org/W2987803397","https://openalex.org/W3146075203","https://openalex.org/W6959749435"],"related_works":["https://openalex.org/W7099694347","https://openalex.org/W1902143194","https://openalex.org/W2021081188","https://openalex.org/W4232290387","https://openalex.org/W1975156572","https://openalex.org/W2032767692","https://openalex.org/W7100930505","https://openalex.org/W2165252223","https://openalex.org/W2120897738","https://openalex.org/W7097838934"],"abstract_inverted_index":{":":[0],"Current":[1],"programming":[2,58,125],"languages":[3,48,59,80],"that":[4,60,90,147],"are":[5],"grounded":[6,47],"in":[7,45,55,127],"a":[8,69,124,129],"formal":[9,74],"logic":[10],"---":[11,28],"such":[12],"as":[13],"pure":[14],"Lisp":[15],"(based":[16,23],"on":[17,24,135],"the":[18,32,56,73],"lambda":[19],"calculus)":[20],"and":[21,138,140],"Prolog":[22],"Horn":[25],"clause":[26],"logic)":[27],"do":[29],"not":[30,82],"support":[31,54],"use":[33,141],"of":[34,41,65],"complex,":[35,92,110,149],"pointer-based":[36,93,111],"data":[37,94,112,136],"structures.":[38,95],"The":[39],"lack":[40],"this":[42,120],"important":[43],"feature":[44],"logically":[46],"contrasts":[49],"sharply":[50],"with":[51],"its":[52],"strong":[53],"imperative":[57,79],"have":[61,81],"enjoyed":[62],"wide":[63],"application,":[64],"which":[66,128],"C":[67],"is":[68],"prime":[70],"example.":[71],"Unfortunately,":[72],"methods":[75],"for":[76,86],"reasoning":[77,87],"about":[78,88],"proved":[83],"broadly":[84],"useful":[85],"programs":[89,108,146],"manipulate":[91,148],"Between":[96],"these":[97,142],"two":[98],"camps":[99],"resides":[100],"an":[101,117],"open":[102],"question:":[103],"How":[104],"can":[105,131],"we":[106],"verify":[107],"involving":[109],"structures?":[113],"This":[114],"work":[115],"gives":[116],"answer":[118],"to":[119,144],"question.":[121],"It":[122],"describes":[123],"language":[126],"programmer":[130],"define":[132],"logical":[133],"predicates":[134,143],"structures":[137],"pointers,":[139],"specify":[145],"...":[150]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}