{"id":"https://openalex.org/W4246700431","doi":"https://doi.org/10.1145/2527269","title":"Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology","display_name":"Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology","publication_year":2013,"publication_date":"2013-11-10","ids":{"openalex":"https://openalex.org/W4246700431","doi":"https://doi.org/10.1145/2527269"},"language":"en","primary_location":{"id":"doi:10.1145/2527269","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2527269","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":2,"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.9933000206947327,"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.9933000206947327,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9886999726295471,"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.9835000038146973,"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.7754889726638794},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5818609595298767},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5590124130249023},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4819169342517853},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4738716781139374},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36715418100357056}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7754889726638794},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5818609595298767},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5590124130249023},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4819169342517853},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4738716781139374},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36715418100357056}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2527269","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2527269","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/W4312309273","https://openalex.org/W3136890312","https://openalex.org/W2259894237","https://openalex.org/W1923258046","https://openalex.org/W2132325017","https://openalex.org/W1671914757","https://openalex.org/W593478746","https://openalex.org/W2100079361","https://openalex.org/W4323238794","https://openalex.org/W3016342375"],"abstract_inverted_index":{"Welcome":[0],"to":[1,4,272,301,347,367,380,385,413],"Pittsburgh":[2],"and":[3,56,82,100,120,130,145,156,161,168,188,222,230,247,253,260,267,270,275,287,304,324,343,369,373,378,384,390,394,408],"HILT":[5,24,92,233,330],"2013,":[6],"this":[7],"year's":[8],"annual":[9],"international":[10],"conference":[11,104,164,235],"of":[12,47,85,95,98,103,112,118,191,218,241],"the":[13,19,33,58,86,89,189,280,299,337,344,355,365,402],"ACM":[14],"Special":[15],"Interest":[16],"Group":[17],"on":[18,32,57,185,196,209,220],"Ada":[20,114],"Programming":[21],"Language":[22],"(SIGAda).":[23],"2013":[25,93,234,331],"features":[26],"a":[27,42,109,125,131,239,362],"top-quality":[28],"technical":[29,403],"program":[30,78,165,404],"focused":[31],"issues":[34],"associated":[35,243],"with":[36,147,238,244,371],"high":[37,140,340],"integrity":[38,141,341],"software":[39,87,273,284,342],"--":[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,345],"provided":[60],"by":[61],"language":[62,126],"technology.":[63],"\"Language":[64],"technology\"":[65],"here":[66],"encompasses":[67],"not":[68],"only":[69],"programming":[70],"languages":[71,74,266],"but":[72],"also":[73],"for":[75,127,133,139,153],"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,163,293],"tutorials":[107],"cover":[108],"wide":[110],"range":[111,240],"topics:":[113],"2012,":[115],"proving":[116],"safety":[117,274],"parallel":[119,256],"multi-threaded":[121],"programs,":[122],"Formula":[123],"2.0:":[124],"formal":[128,250],"specification":[129,144],"tool":[132],"automated":[134],"analysis,":[135],"satisfiability":[136],"modulo":[137],"theories":[138],"development,":[142],"practical":[143],"verification":[146,251,285],"code":[148,261],"contracts,":[149],"bounded":[150],"model":[151],"checking":[152],"high-integrity":[154,255],"software,":[155],"service":[157],"oriented":[158],"architecture":[159,263],"concepts":[160],"implementation.":[162],"includes":[166],"keynote":[167],"invited":[169],"presentations":[170,290],"from":[171,291],"internationally":[172],"recognized":[173],"experts:":[174],"Edmund":[175],"M.":[176],"Clarke":[177],"(Carnegie":[178,203],"Mellon":[179,204],"University,":[180],"2007":[181],"Turing":[182],"Award":[183],"Winner),":[184],"Model":[186],"Checking":[187],"Curse":[190],"Dimensionality;Jeannette":[192],"Wing":[193],"(Microsoft":[194],"Research),":[195],"Formal":[197,225],"Methods:":[198],"An":[199],"Industrial":[200],"Perspective;John":[201],"Goodenough":[202],"University":[205],"Software":[206],"Engineering":[207],"Institute),":[208],"Building":[210],"Confidence":[211],"in":[212,283,375],"System":[213],"Behavior;":[214],"andMichael":[215],"Whalen":[216],"(University":[217],"Minnesota),":[219],"Up":[221],"Out:":[223],"Scaling":[224],"Analysis":[226],"Using":[227],"Model-Based":[228],"Development":[229],"Architecture":[231],"Modeling.":[232],"sessions":[236],"deal":[237],"topics":[242],"safe,":[245],"secure":[246],"reliable":[248],"software:":[249],"technologies":[252],"toolsets,":[254],"programing,":[257],"model-based":[258],"integration":[259],"generation,":[262],"level":[264],"design":[265],"compositional":[268],"verification,":[269],"approaches":[271],"security.":[276],"You":[277],"will":[278,296,333,411],"learn":[279,334],"latest":[281,309],"developments":[282],"technologies,":[286],"hear":[288],"industrial":[289],"practitioners.":[292],"accompanying":[294],"exhibits":[295],"give":[297],"you":[298,332,359,415,418],"opportunity":[300],"meet":[302,368],"vendors":[303],"find":[305],"out":[306],"about":[307,335],"their":[308,409],"offerings.":[310],"Vendors":[311],"include":[312],"AdaCore":[313],"(Platinum":[314],"Level);":[315,319,323],"Microsoft":[316],"Research":[317],"(Gold":[318],"Ellidiss,":[320],"Verocel":[321],"(Silver":[322],"LDRA,":[325],"MathWorks":[326],"(Basic":[327],"Level).":[328],"At":[329],"both":[336],"challenges":[338],"confronting":[339],"available":[346],"address":[348],"them.":[349],"Perhaps":[350],"just":[351],"as":[352,399,401],"important":[353],"are":[354],"social":[356],"interactions":[357],"that":[358],"get":[360],"at":[361,405],"live":[363],"conference:":[364],"chance":[366],"talk":[370],"researchers":[372],"practitioners":[374],"industry,":[376],"academia,":[377],"government,":[379],"ask":[381],"them":[382],"questions,":[383],"explain":[386],"your":[387],"own":[388],"work":[389],"interests.":[391],"These":[392],"renewed":[393],"new":[395],"associations":[396],"can":[397],"be":[398],"valuable":[400],"professional":[406],"conferences,":[407],"benefits":[410],"continue":[412],"reward":[414],"well":[416],"after":[417],"return":[419],"home.":[420]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}