{"id":"https://openalex.org/W4253706850","doi":"https://doi.org/10.1145/2663171","title":"Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology","display_name":"Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology","publication_year":2014,"publication_date":"2014-10-14","ids":{"openalex":"https://openalex.org/W4253706850","doi":"https://doi.org/10.1145/2663171"},"language":"en","primary_location":{"id":"doi:10.1145/2663171","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2663171","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9670000076293945,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9670000076293945,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9623000025749207,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9483000040054321,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7111005187034607},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5991443395614624},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5712135434150696},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42295706272125244}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7111005187034607},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5991443395614624},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5712135434150696},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42295706272125244}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2663171","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2663171","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672"],"abstract_inverted_index":{"Welcome":[0],"to":[1,4,29,170,200,275,317,345,358,363,391],"Portland":[2],"and":[3,48,82,108,126,147,156,189,216,220,229,236,241,257,261,280,313,347,351,356,362,368,372,386],"HILT":[5,50,118,202,300],"2014,":[6,143],"this":[7,335],"year's":[8],"annual":[9],"international":[10],"conference":[11,130,152,204],"of":[12,73,111,121,124,129,138,210,234],"the":[13,19,33,59,84,112,115,148,246,252,273,307,314,325,339,343,380],"ACM":[14],"Special":[15],"Interest":[16],"Group":[17],"on":[18,58,83,167,187,196],"Ada":[20,140],"Programming":[21],"Language":[22],"(SIGAda).":[23],"This":[24],"year":[25,336],"we":[26],"are":[27,324],"pleased":[28],"be":[30,376],"colocated":[31],"with":[32,43,62,207,213,338,349],"SPLASH":[34,340],"2014":[35,51,119,203,301,341],"conference,":[36,334],"enabling":[37],"even":[38],"more":[39],"chances":[40],"for":[41,101,225,245],"interactions":[42,327],"colleagues":[44],"in":[45,239,255,353],"industry,":[46,354],"academia,":[47,355],"government.":[49],"features":[52],"a":[53,68,135,208,332],"top-quality":[54],"technical":[55,381],"program":[56,104,153,258,382],"focused":[57],"issues":[60],"associated":[61,212],"high":[63,310],"integrity":[64,311],"software":[65,113,312],"--":[66,81],"where":[67],"failure":[69],"could":[70],"cause":[71],"loss":[72],"human":[74],"life":[75],"or":[76,114],"have":[77],"other":[78,109],"unacceptable":[79],"consequences":[80],"solutions":[85,315],"provided":[86],"by":[87],"language":[88],"technology.":[89],"\"Language":[90],"technology\"":[91],"here":[92],"encompasses":[93],"not":[94],"only":[95],"programming":[96,243],"languages":[97,100,224,244],"but":[98],"also":[99],"expressing":[102],"specifications,":[103],"properties,":[105],"domain":[106],"models,":[107],"attributes":[110],"overall":[116],"system.":[117],"consists":[120],"two":[122,127],"days":[123,128],"tutorials,":[125],"sessions.":[131],"The":[132,151,267],"tutorials":[133],"cover":[134],"wide":[136],"range":[137,209],"topics:":[139],"2012,":[141],"SPARK":[142],"High-Integrity":[144],"OOP,":[145],"AADLv2,":[146],"Rust":[149],"language.":[150],"includes":[154],"keynote":[155],"invited":[157],"presentations":[158,264],"from":[159,265],"internationally":[160],"recognized":[161],"experts:":[162],"Christine":[163],"Anderson":[164],"(Spaceport":[165],"America)":[166],"From":[168],"Ada9X":[169],"Spaceport":[171],"America:":[172],"Going":[173],"Where":[174],"No":[175],"One":[176],"Has":[177],"Gone":[178],"Before;Peter":[179],"Feiler":[180],"(Software":[181],"Engineering":[182],"Institute":[183],"/Carnegie":[184],"Mellon":[185],"University),":[186],"AADL":[188],"Model-Based":[190],"Engineering;":[191],"andTom":[192],"Ball":[193],"(Microsoft":[194],"Research),":[195],"Correctness":[197],"via":[198],"Compilation":[199],"Logic.":[201],"sessions":[205],"deal":[206],"topics":[211],"safe,":[214],"secure":[215],"reliable":[217],"software:":[218],"enhancing":[219],"evolving":[221],"embedded":[222],"systems":[223],"safety;":[226],"behavioral":[227],"modeling":[228],"code":[230],"generation;":[231],"practical":[232],"use":[233],"assertions":[235],"formal":[237],"methods":[238],"industry;":[240],"safe":[242],"multicore":[247],"era.":[248],"You":[249],"will":[250,270,303,389],"learn":[251,304],"latest":[253,285],"developments":[254],"model":[256],"verification":[259],"technologies,":[260],"hear":[262],"industrial":[263],"practitioners.":[266],"accompanying":[268],"exhibits":[269],"give":[271],"you":[272,302,329,393,396],"opportunity":[274],"meet":[276,346],"our":[277],"corporate":[278],"sponsors":[279],"find":[281],"out":[282],"about":[283,305],"their":[284,387],"offerings.":[286],"Sponsors":[287],"include":[288],"AdaCore":[289],"(Platinum":[290],"Level);":[291,295],"Microsoft":[292],"Research":[293],"(Gold":[294],"Ellidiss":[296],"(Silver":[297],"Level).":[298],"At":[299],"both":[306],"challenges":[308],"confronting":[309],"available":[316],"address":[318],"them.":[319],"Perhaps":[320],"just":[321],"as":[322,377,379],"important":[323],"social":[326],"that":[328],"get":[330],"at":[331,383],"live":[333],"co-located":[337],"conference:":[342],"chance":[344],"talk":[348],"researchers":[350],"practitioners":[352],"government,":[357],"ask":[359],"them":[360],"questions,":[361],"explain":[364],"your":[365],"own":[366],"work":[367],"interests.":[369],"These":[370],"renewed":[371],"new":[373],"associations":[374],"can":[375],"valuable":[378],"professional":[384],"conferences,":[385],"benefits":[388],"continue":[390],"reward":[392],"well":[394],"after":[395],"return":[397],"home.":[398]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}