{"id":"https://openalex.org/W2308530788","doi":"https://doi.org/10.1145/2892664.2897724","title":"Constraints and modularity (keynote)","display_name":"Constraints and modularity (keynote)","publication_year":2016,"publication_date":"2016-03-14","ids":{"openalex":"https://openalex.org/W2308530788","doi":"https://doi.org/10.1145/2892664.2897724","mag":"2308530788"},"language":"en","primary_location":{"id":"doi:10.1145/2892664.2897724","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2892664.2897724","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 15th International Conference on Modularity","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/A5056034943","display_name":"Alan Borning","orcid":"https://orcid.org/0009-0002-3109-2967"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alan Borning","raw_affiliation_strings":["University of Washington, USA"],"affiliations":[{"raw_affiliation_string":"University of Washington, USA","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5056034943"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02096328,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9957000017166138,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9943000078201294,"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/modularity","display_name":"Modularity (biology)","score":0.8786109685897827},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6713395118713379},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.07769733667373657}],"concepts":[{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.8786109685897827},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6713395118713379},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.07769733667373657},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2892664.2897724","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2892664.2897724","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 15th International Conference on Modularity","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7300000190734863,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2019153550","https://openalex.org/W2045398665","https://openalex.org/W2057156093","https://openalex.org/W2112779958","https://openalex.org/W2132233302","https://openalex.org/W2163671349","https://openalex.org/W2313930557"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4230687177","https://openalex.org/W1968829728","https://openalex.org/W2349859869","https://openalex.org/W3120118008","https://openalex.org/W4316651471","https://openalex.org/W2051365847","https://openalex.org/W2367249529","https://openalex.org/W2027187261"],"abstract_inverted_index":{"A":[0,45,131],"constraint":[1,46,215,264],"is":[2,122,210,261],"a":[3,7,18,31,35,54,62,123,142,161,167,170,183,211,262,315],"declarative":[4],"description":[5],"of":[6,20,30,80,99,126,163,169,173,213,280],"relation":[8],"that":[9,17,34,64,164,217,237,246,295,306],"we":[10],"want":[11],"to":[12,57,87,93,220,234,285,299,301],"have":[13,75],"hold,":[14],"for":[15,200],"example,":[16],"set":[19],"icons":[21],"be":[22,67,88,94,115,221],"equally":[23],"spaced":[24],"and":[25,110,205,245,288,291],"positioned":[26],"at":[27],"the":[28,97,107,176,232,270,281,297],"bottom":[29],"window,":[32],"or":[33,90,313],"resistor":[36],"in":[37,50,61,82,96,117,128,182,190,269,283],"an":[38,187,224,310],"electrical":[39],"circuit":[40],"simulation":[41],"obey":[42],"Ohm\u2019s":[43],"Law.":[44],"can":[47,114],"support":[48],"modularity":[49],"programs":[51],"by":[52,303],"providing":[53],"succinct":[55],"way":[56,63],"express":[58],"some":[59,195],"property,":[60],"lets":[65],"it":[66],"combined":[68],"flexibly":[69],"with":[70,223],"other":[71],"constraints.":[72],"Historically":[73],"there":[74],"been":[76],"two":[77],"principal":[78],"views":[79],"constraints":[81,113,199,219,236,254,287,294,305],"programing":[83],"languages:":[84],"as":[85,91,242,250,252],"equations":[86],"solved,":[89],"relations":[92],"maintained":[95],"face":[98],"change.":[100],"In":[101,156,228],"this":[102,129,157],"talk":[103,158],"I\u2019ll":[104,159,192],"concentrate":[105],"on":[106,198,255],"second":[108],"view":[109],"how":[111],"such":[112,241],"used":[116],"building":[118],"interactive":[119,201],"systems.":[120],"There":[121],"long":[124],"history":[125],"work":[127,197],"area.":[130],"key":[132],"early":[133,147],"system":[134,148,298],"was":[135,149],"Ivan":[136],"Sutherland\u2019s":[137],"Sketchpad":[138],"from":[139,153,179],"1963":[140],"[5];":[141],"less":[143],"notable":[144],"but":[145],"still":[146],"my":[150],"own":[151],"ThingLab":[152],"1979":[154,180],"[1].":[155],"describe":[160,194],"little":[162],"history,":[165],"including":[166,203],"demo":[168],"revived":[171],"version":[172],"ThingLab,":[174],"using":[175,186],"original":[177],"code":[178],"running":[181],"web":[184],"browser":[185],"interpreter":[188],"written":[189],"Javascript.":[191],"then":[193],"recent":[196],"systems,":[202],"Babelsberg":[204,207,230,284],"Wallingford.":[206],"[3,":[208],"4]":[209],"family":[212],"object":[214,248,256],"languages":[216],"allows":[218],"integrated":[222],"existing":[225],"object-oriented":[226,239,289],"language.":[227],"particular,":[229],"enables":[231],"programmer":[233],"write":[235],"include":[238],"constructs":[240],"message":[243],"sends":[244],"respect":[247],"encapsulation,":[249],"well":[251],"explicit":[253],"identity.":[257],"Finally,":[258],"Wallingford":[259,277],"[2]":[260],"new":[263],"reactive":[265,293],"programming":[266,273],"language":[267,274],"implemented":[268],"Rosette":[271],"solver-aided":[272],"[6,":[275],"7].":[276],"adopts":[278],"many":[279],"approaches":[282],"integrating":[286],"programming,":[290],"adds":[292],"enable":[296],"respond":[300],"events":[302],"declaring":[304],"become":[307],"active":[308],"when":[309],"event":[311],"occurs,":[312],"while":[314],"condition":[316],"holds.":[317]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}