{"id":"https://openalex.org/W2014132843","doi":"https://doi.org/10.1207/s15327051hci0102_4","title":"A Goal/Plan Analysis of Buggy Pascal Programs","display_name":"A Goal/Plan Analysis of Buggy Pascal Programs","publication_year":1985,"publication_date":"1985-06-01","ids":{"openalex":"https://openalex.org/W2014132843","doi":"https://doi.org/10.1207/s15327051hci0102_4","mag":"2014132843"},"language":"en","primary_location":{"id":"doi:10.1207/s15327051hci0102_4","is_oa":false,"landing_page_url":"https://doi.org/10.1207/s15327051hci0102_4","pdf_url":null,"source":{"id":"https://openalex.org/S2481449237","display_name":"Human-Computer Interaction","issn_l":"0737-0024","issn":["0737-0024","1532-7051"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Human\u2013Computer Interaction","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/A5005597610","display_name":"Jim Spohrer","orcid":"https://orcid.org/0000-0002-9864-2735"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James C. Spohrer","raw_affiliation_strings":["Department of Computer Science, Cognition and Programming Project, Yale University, New Haven, CT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cognition and Programming Project, Yale University, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078721379","display_name":"Elliot Soloway","orcid":"https://orcid.org/0000-0002-5724-1556"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Elliot Soloway","raw_affiliation_strings":["Department of Computer Science, Cognition and Programming Project, Yale University, New Haven, CT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cognition and Programming Project, Yale University, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038775474","display_name":"Edgar Pope","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edgar Pope","raw_affiliation_strings":["Department of Computer Science, Cognition and Programming Project, Yale University, New Haven, CT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cognition and Programming Project, Yale University, New Haven, CT","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":29.8773,"has_fulltext":false,"cited_by_count":173,"citation_normalized_percentile":{"value":0.9945218,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"1","issue":"2","first_page":"163","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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.9994999766349792,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9930999875068665,"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":0.9897000193595886,"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/computer-science","display_name":"Computer science","score":0.8206100463867188},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.7611355781555176},{"id":"https://openalex.org/keywords/categorization","display_name":"Categorization","score":0.7400482892990112},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.6954153776168823},{"id":"https://openalex.org/keywords/pascal","display_name":"Pascal (unit)","score":0.5903929471969604},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5547983646392822},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4228702485561371},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.4015974998474121},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39452123641967773},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32142549753189087},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06078660488128662}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8206100463867188},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.7611355781555176},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.7400482892990112},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.6954153776168823},{"id":"https://openalex.org/C75608658","wikidata":"https://www.wikidata.org/wiki/Q44395","display_name":"Pascal (unit)","level":2,"score":0.5903929471969604},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5547983646392822},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4228702485561371},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4015974998474121},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39452123641967773},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32142549753189087},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06078660488128662},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1207/s15327051hci0102_4","is_oa":false,"landing_page_url":"https://doi.org/10.1207/s15327051hci0102_4","pdf_url":null,"source":{"id":"https://openalex.org/S2481449237","display_name":"Human-Computer Interaction","issn_l":"0737-0024","issn":["0737-0024","1532-7051"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Human\u2013Computer Interaction","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1969138016","https://openalex.org/W1989678938","https://openalex.org/W1995776300","https://openalex.org/W1998696323","https://openalex.org/W2064430731","https://openalex.org/W2074731714","https://openalex.org/W2084297718","https://openalex.org/W2095756354","https://openalex.org/W2133247167","https://openalex.org/W2145731266"],"related_works":["https://openalex.org/W2165912799","https://openalex.org/W2735662278","https://openalex.org/W2382615723","https://openalex.org/W4311804456","https://openalex.org/W1987484445","https://openalex.org/W2623658258","https://openalex.org/W2143413548","https://openalex.org/W1969219540","https://openalex.org/W2370459448","https://openalex.org/W2105067402"],"abstract_inverted_index":{"In":[0,86],"this":[1,21,25,109],"paper,":[2],"we":[3],"present":[4],"a":[5,13,72,122],"descriptive":[6],"theory":[7,26],"of":[8,55,61,79,96,108,114],"buggy":[9],"novice":[10,99],"programs":[11,100],"and":[12,34,48,117],"bug":[14,41],"categorization":[15,42],"scheme":[16,43,64],"that":[17,37,74],"is":[18,27,111,126],"based":[19],"on":[20,69],"theory.":[22],"Central":[23],"to":[24,67,93,128],"the":[28,63,81,112],"cognitively":[29],"plausible":[30,77],"knowledge":[31,50],"-":[32,36],"goals":[33,116],"plans":[35,119],"underlies":[38],"programming.":[39],"The":[40],"makes":[44],"explicit":[45],"problem-dependent":[46],"goal":[47],"plan":[49,125],"at":[51],"many":[52],"different":[53],"levels":[54],"detail.":[56],"We":[57],"provide":[58],"several":[59],"examples":[60],"how":[62],"permits":[65],"us":[66,92],"focus":[68],"bugs":[70,82],"in":[71,120],"way":[73],"facilitates":[75],"generating":[76],"accounts":[78],"why":[80,97],"may":[83],"have":[84],"arisen.":[85],"particular,":[87],"our":[88],"approach":[89],"has":[90],"led":[91],"one":[94],"explanation":[95,110],"some":[98],"are":[101],"buggier":[102],"than":[103],"others.":[104],"A":[105],"basic":[106],"part":[107],"notion":[113],"merged":[115,118],"which":[121],"single":[123],"integrated":[124],"used":[127],"achieve":[129],"multiple":[130],"goals.":[131]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":6}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}