{"id":"https://openalex.org/W4241890820","doi":"https://doi.org/10.1145/2402676","title":"Proceedings of the 2012 ACM conference on High integrity language technology","display_name":"Proceedings of the 2012 ACM conference on High integrity language technology","publication_year":2012,"publication_date":"2012-11-29","ids":{"openalex":"https://openalex.org/W4241890820","doi":"https://doi.org/10.1145/2402676"},"language":"en","primary_location":{"id":"doi:10.1145/2402676","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2402676","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.9699000120162964,"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.9699000120162964,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9279000163078308,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.902899980545044,"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.7768417596817017},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5615414381027222},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4434441328048706},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.43449339270591736},{"id":"https://openalex.org/keywords/software-quality-assurance","display_name":"Software quality assurance","score":0.4228162467479706},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3878907263278961},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3618059456348419},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.272922545671463}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7768417596817017},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5615414381027222},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4434441328048706},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.43449339270591736},{"id":"https://openalex.org/C2776969324","wikidata":"https://www.wikidata.org/wiki/Q613918","display_name":"Software quality assurance","level":5,"score":0.4228162467479706},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3878907263278961},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3618059456348419},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.272922545671463}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2402676","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2402676","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":[{"score":0.4099999964237213,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2171648479","https://openalex.org/W2132806979","https://openalex.org/W1713081424","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W188282463","https://openalex.org/W2476117260","https://openalex.org/W1923185232","https://openalex.org/W2770531922","https://openalex.org/W1845068655"],"abstract_inverted_index":{"Welcome":[0],"to":[1,4,271,316,336,349,354,382],"Boston":[2],"and":[3,56,82,100,117,126,144,219,223,235,239,241,257,274,290,294,312,338,342,347,353,359,363,377],"HILT":[5,24,92,205,299],"2012,":[6],"this":[7],"year's":[8],"annual":[9],"international":[10],"conference":[11,104,148,207],"of":[12,47,85,95,98,103,112,133,213],"the":[13,19,33,58,86,89,183,250,269,306,313,324,334,371],"ACM":[14],"Special":[15],"Interest":[16],"Group":[17],"on":[18,32,57,163,174,181,189,200],"Ada":[20,121,130],"Programming":[21,182,201],"Language":[22,202],"(SIGAda).":[23],"2012":[25,93,206,300],"features":[26],"a":[27,42,109,211,331],"top-quality":[28],"technical":[29,372],"program":[30,78,140,149,373],"focused":[31],"issues":[34],"associated":[35,215],"with":[36,210,216,340],"high":[37,309],"integrity":[38,310],"software":[39,87,254,311],"--":[40,55],"where":[41],"failure":[43],"could":[44],"cause":[45],"loss":[46],"human":[48],"life":[49],"or":[50,88],"have":[51],"other":[52,83],"unacceptable":[53],"consequences":[54],"solutions":[59,314],"provided":[60],"by":[61],"language":[62],"technology.":[63],"\"Language":[64],"technology\"":[65],"here":[66],"encompasses":[67],"not":[68],"only":[69],"programming":[70,125,128],"languages":[71,74,243],"but":[72],"also":[73],"for":[75,115,176],"expressing":[76],"specifications,":[77],"properties,":[79],"domain":[80],"models,":[81],"attributes":[84],"overall":[90],"system.":[91],"consists":[94],"two":[96],"days":[97,102],"tutorials,":[99],"three":[101],"sessions.":[105],"The":[106,147,263],"tutorials":[107],"cover":[108],"wide":[110],"range":[111,212],"topics:":[113],"designing":[114,240],"multitasking":[116],"multicore":[118],"environments;":[119],"leading-edge":[120],"verification":[122,227,255],"technologies;":[123],"contract-based":[124],"object-oriented":[127],"in":[129,253,344],"2012;":[131],"safety":[132],"embedded":[134],"software;":[135],"Microsoft":[136,288],"Research's":[137],"Dafny":[138],"automatic":[139],"verifier;":[141],"Service-Oriented":[142],"Architecture;":[143],"safety-critical":[145],"Java.":[146],"includes":[150],"keynote":[151],"presentations":[152,260],"from":[153,261],"internationally":[154],"recognized":[155],"experts:":[156],"Kathleen":[157],"Fisher":[158],"(DARPA":[159],"Information":[160],"Innovation":[161],"Office),":[162],"High-Assurance":[164,170],"Cyber":[165],"Military":[166],"Systems":[167],"(HACMS)":[168],"/":[169],"Vehicles;Nancy":[171],"Leveson":[172],"(MIT),":[173,180],"Challenges":[175],"Safety-Critical":[177],"Software;Barbara":[178],"Liskov":[179],"Turing":[184],"Machine;Greg":[185],"Morrisett":[186],"(Harvard":[187],"Univ.),":[188],"Hardening":[190],"Legacy":[191],"C/C++":[192],"Code;":[193],"andGuy":[194],"L.":[195],"Steele,":[196],"Jr.":[197],"(Oracle":[198],"Labs),":[199],"Life":[203],"Cycles.":[204],"sessions":[208],"deal":[209],"topics":[214],"safe,":[217],"secure":[218],"reliable":[220],"software:":[221],"analyzing":[222],"proving":[224],"programs":[225],"(program":[226],"at":[228,330,374],"compile":[229],"time,":[230],"advancing":[231],"compilation":[232],"technology);":[233],"security":[234],"safety;":[236],"real-time":[237],"systems;":[238],"implementing":[242],"(compiler":[244],"certification":[245],"issues).":[246],"You":[247],"will":[248,266,302,380],"learn":[249,303],"latest":[251,279],"developments":[252],"technologies,":[256],"hear":[258],"industrial":[259],"practitioners.":[262],"accompanying":[264],"exhibits":[265],"give":[267],"you":[268,301,328,384,387],"opportunity":[270],"meet":[272,337],"vendors":[273],"find":[275],"out":[276],"about":[277,304],"their":[278,378],"offerings.":[280],"Vendors":[281],"include":[282],"AdaCore":[283],"(Platinum":[284],"Level);":[285,293],"Ellidiss,":[286],"LDRA,":[287],"Research,":[289],"TASC":[291],"(Silver":[292],"MathWorks":[295],"(Basic":[296],"Level).":[297],"At":[298],"both":[305],"challenges":[307],"confronting":[308],"available":[315],"address":[317],"them.":[318],"Perhaps":[319],"just":[320],"as":[321,368,370],"important":[322],"are":[323],"social":[325],"interactions":[326],"that":[327],"get":[329],"live":[332],"conference:":[333],"chance":[335],"talk":[339],"researchers":[341],"practitioners":[343],"industry,":[345],"academia,":[346],"government,":[348],"ask":[350],"them":[351],"questions,":[352],"explain":[355],"your":[356],"own":[357],"work":[358],"interests.":[360],"These":[361],"renewed":[362],"new":[364],"associations":[365],"can":[366],"be":[367],"valuable":[369],"professional":[375],"conferences,":[376],"benefits":[379],"continue":[381],"reward":[383],"well":[385],"after":[386],"return":[388],"home.":[389]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}