{"id":"https://openalex.org/W1970962925","doi":"https://doi.org/10.1145/2402676.2402685","title":"Tutorial overview","display_name":"Tutorial overview","publication_year":2012,"publication_date":"2012-11-29","ids":{"openalex":"https://openalex.org/W1970962925","doi":"https://doi.org/10.1145/2402676.2402685","mag":"1970962925"},"language":"en","primary_location":{"id":"doi:10.1145/2402676.2402685","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2402676.2402685","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2012 ACM conference on High integrity language technology","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/A5110883655","display_name":"Kelvin Nilsen","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kelvin Nilsen","raw_affiliation_strings":["Atego Systems, San Diego, CA, USA"],"affiliations":[{"raw_affiliation_string":"Atego Systems, San Diego, CA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110883655"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08133352,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"15","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9944999814033508,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8982806205749512},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.7808854579925537},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.579792857170105},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5632467865943909},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5360373258590698},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.530774712562561},{"id":"https://openalex.org/keywords/manual-memory-management","display_name":"Manual memory management","score":0.48935145139694214},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.4854746162891388},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.45098647475242615},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.43054550886154175},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.41065359115600586},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.2881604731082916}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8982806205749512},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.7808854579925537},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.579792857170105},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5632467865943909},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5360373258590698},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.530774712562561},{"id":"https://openalex.org/C82810778","wikidata":"https://www.wikidata.org/wiki/Q6752316","display_name":"Manual memory management","level":4,"score":0.48935145139694214},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.4854746162891388},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.45098647475242615},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.43054550886154175},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.41065359115600586},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.2881604731082916}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2402676.2402685","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2402676.2402685","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2012 ACM conference on High integrity language technology","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309036","display_name":"Purdue University","ror":"https://ror.org/02dqehb95"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1970883111","https://openalex.org/W2005526723","https://openalex.org/W2111228111","https://openalex.org/W2115597529","https://openalex.org/W2118522165","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2096662407","https://openalex.org/W2115447959","https://openalex.org/W158838145","https://openalex.org/W2011342976","https://openalex.org/W2362520115","https://openalex.org/W2154801850","https://openalex.org/W3000464808","https://openalex.org/W2112832394","https://openalex.org/W2132258996","https://openalex.org/W1513015403"],"abstract_inverted_index":{"In":[0],"spite":[1],"of":[2,7,33,65,74,119],"the":[3,16,29,38,66,97,117,126,133],"high-level":[4],"abstraction":[5],"benefits":[6],"automatic":[8],"tracing":[9,53],"garbage":[10,54],"collection,":[11],"current":[12],"prevailing":[13],"sentiment":[14],"within":[15,106],"safety":[17,35,43],"certification":[18],"community":[19],"is":[20,26,62],"that":[21,99],"a":[22,63,71,101],"simpler":[23],"memory":[24,49,58,111,120],"model":[25,59],"required":[27],"for":[28,42,60,122,129],"most":[30],"rigorous":[31],"levels":[32],"software":[34],"certification.":[36],"Thus,":[37],"draft":[39],"JSR-302":[40,61,69,134],"specification":[41,135],"critical":[44],"Java":[45,130],"relies":[46],"on":[47],"scope-based":[48],"allocation":[50],"rather":[51],"than":[52],"collection.":[55],"The":[56,109],"scoped":[57],"simplification":[64],"RTSJ":[67],"model.":[68],"enforces":[70],"strict":[72],"hierarchy":[73],"scopes":[75],"and":[76],"distinguishes":[77],"private":[78],"scopes,":[79,90],"which":[80,91,132],"can":[81,92],"be":[82,93],"seen":[83],"only":[84],"by":[85,95],"one":[86],"thread,":[87],"from":[88,131],"mission":[89],"accessed":[94],"all":[96],"threads":[98,104],"comprise":[100],"mission,":[102],"including":[103],"running":[105],"inner-nested":[107],"sub-missions.":[108],"hierarchical":[110],"structure":[112],"allows":[113],"implementations":[114],"to":[115],"guarantee":[116],"absence":[118],"fragmentation":[121],"scope":[123],"management,":[124],"unlike":[125],"Real-Time":[127],"Specification":[128],"was":[136],"derived.":[137]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}