{"id":"https://openalex.org/W2160324030","doi":"https://doi.org/10.1111/j.1467-9973.2010.01631.x","title":"ABSTRACTION, LAW, AND FREEDOM IN COMPUTER SCIENCE","display_name":"ABSTRACTION, LAW, AND FREEDOM IN COMPUTER SCIENCE","publication_year":2010,"publication_date":"2010-04-01","ids":{"openalex":"https://openalex.org/W2160324030","doi":"https://doi.org/10.1111/j.1467-9973.2010.01631.x","mag":"2160324030"},"language":"en","primary_location":{"id":"doi:10.1111/j.1467-9973.2010.01631.x","doi":"https://doi.org/10.1111/j.1467-9973.2010.01631.x","is_oa":false,"landing_page_url":"https://doi.org/10.1111/j.1467-9973.2010.01631.x","pdf_url":null,"source":{"id":"https://openalex.org/S62126955","display_name":"Metaphilosophy","issn_l":"0026-1068","issn":["0026-1068","1467-9973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","erih-plus","jufo-2","norway-1","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Metaphilosophy","raw_type":"journal-article"},"volume":null,"type":"conference-abstract","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/A5025543580","display_name":"Timothy R. Colburn","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I4210115145","display_name":"University of Minnesota, Duluth","ror":"https://ror.org/01hy4qx27","country_code":"US","type":"education","lineage":["https://openalex.org/I4210115145"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"TIMOTHY COLBURN","raw_affiliation_strings":["Department of Computer Science, University of Minnesota, 320 Heller Hall, UMD, Duluth, MN 55812, USA [email protected] [email protected]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Minnesota, 320 Heller Hall, UMD, Duluth, MN 55812, USA [email protected] [email protected]","institution_ids":["https://openalex.org/I130238516","https://openalex.org/I4210115145"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043812630","display_name":"Gary M. Shute","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I4210115145","display_name":"University of Minnesota, Duluth","ror":"https://ror.org/01hy4qx27","country_code":"US","type":"education","lineage":["https://openalex.org/I4210115145"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"GARY SHUTE","raw_affiliation_strings":["Department of Computer Science, University of Minnesota, 320 Heller Hall, UMD, Duluth, MN 55812, USA [email protected] [email protected]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Minnesota, 320 Heller Hall, UMD, Duluth, MN 55812, USA [email protected] [email protected]","institution_ids":["https://openalex.org/I130238516","https://openalex.org/I4210115145"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2760,"currency":"USD","value_usd":2760},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"41","issue":"3","first_page":"345","last_page":"364"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13308","display_name":"Cybernetics and Technology in Society","score":0.3917999863624573,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13308","display_name":"Cybernetics and Technology in Society","score":0.3917999863624573,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.16859999299049377,"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/T10533","display_name":"Teaching and Learning Programming","score":0.11469999700784683,"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/conservation-of-information","display_name":"information conservation","score":0.6819999814033508},{"id":"https://openalex.org/keywords/network-programming","display_name":"network programming","score":0.796999990940094},{"id":"https://openalex.org/keywords/invariants","display_name":"invariants","score":0.8259999752044678},{"id":"https://openalex.org/keywords/abstraction","display_name":"abstraction","score":0.5590000152587891},{"id":"https://openalex.org/keywords/levels-of-abstraction","display_name":"levels of abstraction","score":0.8320000171661377},{"id":"https://openalex.org/keywords/floridi","display_name":"Floridi","score":0.968999981880188},{"id":"https://openalex.org/keywords/programming-education","display_name":"programming education","score":0.7360000014305115},{"id":"https://openalex.org/keywords/algorithm-design","display_name":"algorithm design","score":0.859000027179718},{"id":"https://openalex.org/keywords/search-trees","display_name":"search trees","score":0.9779999852180481},{"id":"https://openalex.org/keywords/freedom","display_name":"freedom","score":0.38100001215934753}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7829164266586304},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.684572160243988},{"id":"https://openalex.org/C194583477","wikidata":"https://www.wikidata.org/wiki/Q408891","display_name":"Physical law","level":2,"score":0.5419363379478455},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5397437810897827},{"id":"https://openalex.org/C53332860","wikidata":"https://www.wikidata.org/wiki/Q2632041","display_name":"Metaverse","level":3,"score":0.5243176221847534},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.5027740001678467},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.43652820587158203},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3356727659702301},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3219592571258545},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.30440402030944824},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.2820287346839905},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23993131518363953},{"id":"https://openalex.org/C194969405","wikidata":"https://www.wikidata.org/wiki/Q170519","display_name":"Virtual reality","level":2,"score":0.16906049847602844},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09362262487411499}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1111/j.1467-9973.2010.01631.x","doi":"https://doi.org/10.1111/j.1467-9973.2010.01631.x","is_oa":false,"landing_page_url":"https://doi.org/10.1111/j.1467-9973.2010.01631.x","pdf_url":null,"source":{"id":"https://openalex.org/S62126955","display_name":"Metaphilosophy","issn_l":"0026-1068","issn":["0026-1068","1467-9973"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","erih-plus","jufo-2","norway-1","poland-100","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Metaphilosophy","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1524158821","https://openalex.org/W1587330583","https://openalex.org/W1983969968","https://openalex.org/W2052969768","https://openalex.org/W2079455354","https://openalex.org/W2083961824","https://openalex.org/W2147543351","https://openalex.org/W2161022936","https://openalex.org/W4205642892","https://openalex.org/W4235295823"],"related_works":["https://openalex.org/W2106949624","https://openalex.org/W2161022936","https://openalex.org/W4388332289","https://openalex.org/W7135238917","https://openalex.org/W2185808334","https://openalex.org/W1767893066","https://openalex.org/W7100126521","https://openalex.org/W7100224242","https://openalex.org/W6903841749","https://openalex.org/W7097499188"],"abstract_inverted_index":{"Abstract:":[0],"Laws":[1],"of":[2,23,25,33,72,74,82,98,113,121,127,137,149],"computer":[3],"science":[4],"are":[5,96,108],"prescriptive":[6],"in":[7,14,27,39,51,105,118],"nature":[8],"but":[9,124],"can":[10],"have":[11],"descriptive":[12],"analogs":[13],"the":[15,119,125,135,147],"physical":[16],"sciences.":[17],"Here,":[18],"we":[19,56,144],"describe":[20,57],"a":[21],"law":[22],"conservation":[24],"information":[26],"network":[28],"programming,":[29],"and":[30,59,66,84],"various":[31],"laws":[32,117,129],"computational":[34,53,90,114],"motion":[35],"(invariants)":[36],"for":[37,87],"programming":[38],"general,":[40],"along":[41],"with":[42],"their":[43],"pedagogical":[44],"utility.":[45],"Invariants":[46],"specify":[47],"constraints":[48],"on":[49],"objects":[50,115],"abstract":[52,89,138],"worlds,":[54],"so":[55,102],"language":[58],"data":[60],"abstraction":[61],"employed":[62],"by":[63],"software":[64],"developers":[65],"compare":[67],"them":[68],"to":[69],"Floridi's":[70,79],"concept":[71],"levels":[73],"abstraction.":[75],"We":[76],"also":[77],"consider":[78],"structural":[80],"account":[81],"reality":[83,139],"its":[85],"fit":[86],"describing":[88],"worlds.":[91],"Being":[92],"abstract,":[93],"such":[94],"worlds":[95,107,112],"products":[97],"programmers'":[99],"creative":[100,132],"imaginations,":[101],"any":[103],"\u201claws\u201d":[104],"these":[106,128],"easily":[109],"broken.":[110],"The":[111],"need":[116],"form":[120],"self\u2010prescribed":[122],"invariants,":[123],"suspension":[126],"might":[130],"be":[131],"acts.":[133],"Bending":[134],"rules":[136],"facilitates":[140],"algorithm":[141],"design,":[142],"as":[143],"demonstrate":[145],"through":[146],"example":[148],"search":[150],"trees.":[151]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2016-06-24T00:00:00"}