{"id":"https://openalex.org/W2808343001","doi":"https://doi.org/10.1145/3183377.3183392","title":"Making the liskov substitution principle happy and sad","display_name":"Making the liskov substitution principle happy and sad","publication_year":2018,"publication_date":"2018-05-27","ids":{"openalex":"https://openalex.org/W2808343001","doi":"https://doi.org/10.1145/3183377.3183392","mag":"2808343001"},"language":"en","primary_location":{"id":"doi:10.1145/3183377.3183392","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3183377.3183392","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training","raw_type":"proceedings-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/A5072890481","display_name":"Elisa Baniassad","orcid":"https://orcid.org/0000-0001-9627-4396"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Elisa Baniassad","raw_affiliation_strings":["University of British Columbia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of British Columbia","institution_ids":["https://openalex.org/I141945490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5072890481"],"corresponding_institution_ids":["https://openalex.org/I141945490"],"apc_list":null,"apc_paid":null,"fwci":0.2189,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.61556604,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"17","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11516","display_name":"Visual and Cognitive Learning Processes","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11516","display_name":"Visual and Cognitive Learning Processes","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10072","display_name":"Science Education and Pedagogy","score":0.9677000045776367,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13083","display_name":"Advanced Text Analysis Techniques","score":0.9581000208854675,"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/substitution","display_name":"Substitution (logic)","score":0.7993159890174866},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.620589017868042},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5540640354156494},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.505242645740509},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.45844340324401855},{"id":"https://openalex.org/keywords/aesthetics","display_name":"Aesthetics","score":0.40938451886177063},{"id":"https://openalex.org/keywords/cognitive-psychology","display_name":"Cognitive psychology","score":0.3820468783378601},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.37911391258239746},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.3602865934371948},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.35880184173583984},{"id":"https://openalex.org/keywords/positive-economics","display_name":"Positive economics","score":0.3533393144607544},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.29433462023735046},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23990017175674438},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.18299341201782227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10141953825950623},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09591937065124512}],"concepts":[{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.7993159890174866},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.620589017868042},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5540640354156494},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.505242645740509},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.45844340324401855},{"id":"https://openalex.org/C107038049","wikidata":"https://www.wikidata.org/wiki/Q35986","display_name":"Aesthetics","level":1,"score":0.40938451886177063},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.3820468783378601},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.37911391258239746},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.3602865934371948},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.35880184173583984},{"id":"https://openalex.org/C118084267","wikidata":"https://www.wikidata.org/wiki/Q26110","display_name":"Positive economics","level":1,"score":0.3533393144607544},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.29433462023735046},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23990017175674438},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.18299341201782227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10141953825950623},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09591937065124512}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3183377.3183392","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3183377.3183392","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training","raw_type":"proceedings-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/W1987149757","https://openalex.org/W1991964822","https://openalex.org/W1995008247","https://openalex.org/W2022643643","https://openalex.org/W2900708446","https://openalex.org/W3152101742"],"related_works":["https://openalex.org/W2379444625","https://openalex.org/W2393147081","https://openalex.org/W2575869988","https://openalex.org/W4308647020","https://openalex.org/W2370088286","https://openalex.org/W2385568494","https://openalex.org/W2912058948","https://openalex.org/W2588424405","https://openalex.org/W2042068218","https://openalex.org/W4327590948"],"abstract_inverted_index":{"The":[0],"Liskov":[1],"Substitution":[2],"Principle":[3],"states,":[4],"among":[5],"other":[6],"constraints,":[7],"that":[8,31,130],"a":[9,65],"subtype":[10],"is":[11,73,77,80,98,105,124],"not":[12],"substitutable":[13],"for":[14],"its":[15,21,26],"super":[16],"type":[17],"if":[18,75,100],"it":[19,76,101,131],"strengthens":[20],"operations'":[22,27],"preconditions,":[23,91,112],"or":[24,53],"weakens":[25],"postconditions.":[28,120],"We":[29,63],"found":[30,129],"students":[32,133],"in":[33],"two":[34],"subsequent":[35],"courses":[36],"had":[37],"trouble":[38],"remembering":[39],"these":[40],"rules.":[41],"Their":[42],"major":[43],"stumbling":[44],"block":[45],"appeared":[46],"to":[47,69,134,137],"be":[48,56,61],"recalling":[49],"which":[50,59],"condition":[51],"(pre-":[52],"post-)":[54],"could":[55,60],"strengthened":[57],"and":[58,92,113],"weakened.":[62],"developed":[64],"simple":[66],"visual":[67],"reminder":[68],"help:":[70],"A":[71,96],"method":[72,97],"happy":[74],"substitutable---A":[78],"smile":[79],"wider":[81,114],"at":[82,86,107,115],"the":[83,87,108,116,122,138,144],"top":[84],"than":[85],"bottom,":[88,117],"suggesting":[89,110,118],"weaker/looser/wider":[90,119],"stronger/tighter/narrower":[93,111],"post":[94],"conditions.;":[95],"sad":[99],"isn't":[102],"substitutable---a":[103],"frown":[104],"narrower":[106],"top,":[109],"Though":[121],"technique":[123],"far":[125],"from":[126],"perfect,":[127],"we":[128],"allowed":[132],"move":[135],"on":[136],"more":[139],"interesting":[140],"design":[141],"questions":[142],"around":[143],"LSP.":[145]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-18T08:16:58.900851","created_date":"2025-10-10T00:00:00"}