{"id":"https://openalex.org/W4245120671","doi":"https://doi.org/10.1145/1190216.1190220","title":"Operational semantics for multi-language programs","display_name":"Operational semantics for multi-language programs","publication_year":2007,"publication_date":"2007-01-17","ids":{"openalex":"https://openalex.org/W4245120671","doi":"https://doi.org/10.1145/1190216.1190220"},"language":"en","primary_location":{"id":"doi:10.1145/1190216.1190220","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190216.1190220","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},"type":"conference-paper","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/A5077268321","display_name":"Jacob Matthews","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jacob Matthews","raw_affiliation_strings":["University of Chicago"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081388086","display_name":"Robert Bruce Findler","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Bruce Findler","raw_affiliation_strings":["University of Chicago"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I40347166"],"apc_list":null,"apc_paid":null,"fwci":5.3416,"has_fulltext":false,"cited_by_count":96,"citation_normalized_percentile":{"value":0.96962004,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.9922000169754028,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9876999855041504,"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/computer-science","display_name":"Computer science","score":0.8504648804664612},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7296317219734192},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.6790705919265747},{"id":"https://openalex.org/keywords/interoperation","display_name":"Interoperation","score":0.4876352846622467},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46063315868377686},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4583657383918762},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.22905492782592773}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8504648804664612},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7296317219734192},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.6790705919265747},{"id":"https://openalex.org/C139458680","wikidata":"https://www.wikidata.org/wiki/Q12184942","display_name":"Interoperation","level":3,"score":0.4876352846622467},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46063315868377686},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4583657383918762},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.22905492782592773}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1190216.1190220","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190216.1190220","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W160069865","https://openalex.org/W1484092744","https://openalex.org/W1493349649","https://openalex.org/W1508638970","https://openalex.org/W1526601993","https://openalex.org/W1969600954","https://openalex.org/W1976499711","https://openalex.org/W1987203566","https://openalex.org/W1994191642","https://openalex.org/W2003715144","https://openalex.org/W2013844469","https://openalex.org/W2052763273","https://openalex.org/W2070179848","https://openalex.org/W2087748001","https://openalex.org/W2089424085","https://openalex.org/W2102222848","https://openalex.org/W2121465152","https://openalex.org/W2123357908","https://openalex.org/W2125488013","https://openalex.org/W2125519938","https://openalex.org/W2128303158","https://openalex.org/W2132904928","https://openalex.org/W2133828278","https://openalex.org/W2141210774","https://openalex.org/W2161790281","https://openalex.org/W2162053995","https://openalex.org/W2911279247","https://openalex.org/W3141241911","https://openalex.org/W4232645513","https://openalex.org/W6602203757","https://openalex.org/W6606572461","https://openalex.org/W6630201507","https://openalex.org/W6652040434","https://openalex.org/W6680562534"],"related_works":["https://openalex.org/W3195682748","https://openalex.org/W2106545963","https://openalex.org/W2348166665","https://openalex.org/W123583347","https://openalex.org/W4210786264","https://openalex.org/W2112050737","https://openalex.org/W4210651130","https://openalex.org/W2481611080","https://openalex.org/W2740059512","https://openalex.org/W2160196023"],"abstract_inverted_index":{"Inter-language":[0],"interoperability":[1,41,93],"is":[2],"big":[3],"business,":[4],"as":[5,45,138,170],"the":[6,59,89,139,171],"success":[7],"of":[8,61,82,92,120],"Microsoft's":[9],".NET":[10],"and":[11,13,31,97,100,109,167,174],"COM":[12],"Sun's":[14],"JVM":[15],"show.":[16],"Programming":[17],"language":[18],"designers":[19],"are":[20,117],"designing":[21],"programming":[22],"languages":[23,44,145],"that":[24,26,116,143],"reflect":[25],"fact":[27],"---":[28],"SML#,":[29],"Mondrian,":[30],"Scala,":[32],"to":[33,56,68,141],"name":[34],"just":[35],"a":[36,46],"few":[37],"examples,":[38],"all":[39],"treat":[40],"with":[42],"other":[43],"central":[47],"design":[48],"feature.":[49],"Still,":[50],"current":[51],"multi-language":[52,165],"research":[53],"tends":[54],"not":[55],"focus":[57,103],"on":[58,66,104,163],"semantics":[60],"interoperation":[62],"features,":[63],"but":[64],"only":[65],"how":[67],"implement":[69],"them":[70],"efficiently.":[71],"In":[72],"this":[73],"paper,":[74],"we":[75,152],"take":[76],"first":[77],"steps":[78],"toward":[79],"higher-level":[80],"models":[81,115],"interoperating":[83,144],"systems.":[84,150],"Our":[85],"technique":[86],"abstracts":[87],"away":[88],"low-level":[90],"details":[91],"like":[94,107],"garbage":[95],"collection":[96],"representation":[98],"coherence,":[99],"lets":[101],"us":[102],"semantic":[105],"properties":[106],"type-safety":[108],"observable":[110],"equivalence.Beyond":[111],"giving":[112],"simple":[113],"expressive":[114],"natural":[118],"compositions":[119],"single-language":[121],"models,":[122],"our":[123,154],"studies":[124],"have":[125],"uncovered":[126],"several":[127],"interesting":[128],"facts":[129],"about":[130],"interoperability.":[131],"For":[132],"example,":[133],"higher-order":[134],"contracts":[135],"naturally":[136],"emerge":[137],"glue":[140],"ensure":[142],"respect":[146],"each":[147],"other's":[148],"type":[149],"While":[151],"present":[153],"results":[155],"in":[156],"an":[157],"abstract":[158],"setting,":[159],"they":[160],"shed":[161],"light":[162],"real":[164],"systems":[166],"tools":[168],"such":[169],"JNI,":[172],"SWIG,":[173],"Haskell's":[175],"stable":[176],"pointers.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":10},{"year":2014,"cited_by_count":7},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}