{"id":"https://openalex.org/W1561142965","doi":null,"title":"Type systems for object-oriented intermediate languages","display_name":"Type systems for object-oriented intermediate languages","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1561142965","mag":"1561142965"},"language":"en","primary_location":{"id":"mag:1561142965","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=933449","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"book","is_traditional":true,"indexed_in":[],"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/A5101897622","display_name":"John C. Mitchell","orcid":"https://orcid.org/0000-0002-0024-860X","observed_orcids":["https://orcid.org/0000-0002-0024-860X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John C. Mitchell","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5110858761","display_name":"Stephen N. Freund","orcid":"https://orcid.org/0009-0000-6992-199X","observed_orcids":["https://orcid.org/0009-0000-6992-199X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stephen N. Freund","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4925,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.95614973,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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/T11424","display_name":"Security and Verification in Computing","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.0,"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/java-bytecode","display_name":"Java bytecode","score":0.7279999852180481},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.9559999704360962},{"id":"https://openalex.org/keywords/type-checking","display_name":"type checking","score":0.7250000238418579},{"id":"https://openalex.org/keywords/java-virtual-machine","display_name":"Java Virtual Machine","score":0.9229999780654907},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.4339999854564667},{"id":"https://openalex.org/keywords/type-checker","display_name":"type checker","score":0.6330000162124634},{"id":"https://openalex.org/keywords/java-security","display_name":"Java security","score":0.46000000834465027}],"concepts":[{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.9578872323036194},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8661971688270569},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.84384685754776},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.6559048891067505},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.6407486796379089},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6374469995498657},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.6217910051345825},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.5426086187362671},{"id":"https://openalex.org/C15524039","wikidata":"https://www.wikidata.org/wiki/Q865817","display_name":"Java applet","level":3,"score":0.5024175643920898},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.43565133213996887},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4281923174858093},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.330206036567688}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:1561142965","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=933449","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2168448595","https://openalex.org/W2005119878","https://openalex.org/W7095656680","https://openalex.org/W7095439103","https://openalex.org/W7095332313","https://openalex.org/W7096467321","https://openalex.org/W2031833469","https://openalex.org/W7100386604","https://openalex.org/W2186011611","https://openalex.org/W2016474211"],"abstract_inverted_index":{"In":[0],"the":[1,19,30,46,77,115,135,146,195,207,217,227],"standard":[2],"Java":[3,6,31,47,78,97,132],"implementation,":[4,220],"a":[5,51,56,110,127,138,143,161,165,213],"language":[7,111,148,229],"program":[8,191],"is":[9,26,63,89],"compiled":[10],"to":[11,21,105,113,121,183,188,205,223],"bytecode.":[12],"This":[13],"bytecode":[14,35,52,147,209,228],"may":[15,36,230],"be":[16,37,100,119,231],"sent":[17],"across":[18],"network":[20,44],"another":[22],"site,":[23],"where":[24],"it":[25],"then":[27],"executed":[28],"by":[29,39,73],"Virtual":[32,48,79],"Machine.":[33],"Since":[34],"written":[38],"hand,":[40],"or":[41],"corrupted":[42],"during":[43],"transmission,":[45],"Machine":[49],"contains":[50],"verifier":[53,210,219],"that":[54,117],"performs":[55],"number":[57],"of":[58,108,130,137,145,164,175,198],"consistency":[59],"checks":[60,66],"before":[61],"code":[62],"run.":[64],"These":[65],"include":[67],"type":[68,101,139,166],"correctness,":[69],"and,":[70],"as":[71,194],"illustrated":[72],"previous":[74],"attacks":[75],"on":[76],"Machine,":[80],"they":[81],"are":[82],"critical":[83],"for":[84,168],"system":[85,123,170,187],"security.":[86],"However,":[87],"there":[88],"no":[90],"existing":[91],"specification":[92,129],"which":[93,226],"fully":[94],"captures":[95],"how":[96,182],"bytecodes":[98],"must":[99],"checked.":[102],"\r\nIn":[103],"order":[104],"analyze":[106],"verification":[107],"such":[109,193],"and":[112,155,171,221,233],"understand":[114],"properties":[116],"should":[118],"checked":[120],"preserve":[122],"security,":[124],"we":[125,180],"develop":[126],"precise":[128],"statically-correct":[131],"bytecode,":[133],"in":[134,216,225],"form":[136],"system.":[140],"We":[141,158],"study":[142],"subset":[144],"including":[149],"classes,":[150],"interfaces,":[151],"constructors,":[152],"methods,":[153],"exceptions,":[154],"byte-code":[156],"subroutines.":[157],"also":[159],"describe":[160],"prototype":[162],"implementation":[163],"checker":[167],"our":[169,185],"discuss":[172],"some":[173],"applications":[174],"this":[176],"work.":[177],"For":[178],"example,":[179],"show":[181],"extend":[184],"formal":[186],"check":[189],"other":[190],"properties,":[192],"correct":[196],"use":[197],"object":[199],"locks.":[200],"\r\nThis":[201],"work":[202],"has":[203],"helped":[204],"clarify":[206],"original":[208],"specification,":[211],"uncovered":[212],"security":[214],"flaw":[215],"Sun":[218],"points":[222],"ways":[224],"simplified":[232],"extended.":[234]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}