{"id":"https://openalex.org/W790745547","doi":null,"title":"Debugging tasked Ada programs","display_name":"Debugging tasked Ada programs","publication_year":1986,"publication_date":"1986-01-01","ids":{"openalex":"https://openalex.org/W790745547","mag":"790745547"},"language":"en","primary_location":{"id":"mag:790745547","doi":null,"is_oa":false,"landing_page_url":"https://ntrs.nasa.gov/api/citations/19890006909/downloads/19890006909.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306402118","display_name":"NASA Technical Reports Server (NASA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","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/A5049753918","display_name":"Robert G. Fainter","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert G. Fainter","raw_affiliation_strings":["Virginia Polytechnic Inst. Blacksburg., United States"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Virginia Polytechnic Inst. Blacksburg., United States","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113621222","display_name":"Timothy E. Lindquist","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy E. Lindquist","raw_affiliation_strings":["Arizona State Univ. Tempe (United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Arizona State Univ. Tempe (United States)","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9911999702453613,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9911999702453613,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.0020000000949949026,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0019000000320374966,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/ada","display_name":"Ada","score":0.6729999780654907},{"id":"https://openalex.org/keywords/tasking","display_name":"tasking","score":0.9160000085830688},{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.7490000128746033},{"id":"https://openalex.org/keywords/distributed-programs","display_name":"distributed programs","score":0.6069999933242798},{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.7549999952316284},{"id":"https://openalex.org/keywords/debugger","display_name":"debugger","score":0.3709999918937683},{"id":"https://openalex.org/keywords/parallel-programming","display_name":"parallel programming","score":0.4830000102519989}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.9473785161972046},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9439663887023926},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8148741126060486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.646212100982666},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.594679057598114},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5583126544952393},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5116329789161682},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4678329527378082},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.45600757002830505},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4379119873046875},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4329037070274353},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4263164699077606},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:790745547","doi":null,"is_oa":false,"landing_page_url":"https://ntrs.nasa.gov/api/citations/19890006909/downloads/19890006909.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306402118","display_name":"NASA Technical Reports Server (NASA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"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/W3214992414","https://openalex.org/W1996158062","https://openalex.org/W102953721","https://openalex.org/W1973853749","https://openalex.org/W4240485154","https://openalex.org/W7097859262","https://openalex.org/W2152712534","https://openalex.org/W2108499003","https://openalex.org/W218838345","https://openalex.org/W1976249213"],"abstract_inverted_index":{"The":[0,104,116],"applications":[1],"for":[2,52,57,64,86],"which":[3],"Ada":[4,43,54,88,130],"was":[5,127],"developed":[6],"require":[7],"distributed":[8,59],"implementations":[9],"of":[10,16,29,34,39,118],"the":[11,37,48,102,111],"language":[12],"and":[13,20,67,73,93,122,131],"extensive":[14],"use":[15,91,112],"tasking":[17,92],"facilities.":[18],"Debugging":[19],"testing":[21,62],"technology":[22],"as":[23],"it":[24,94],"applies":[25],"to":[26,47,71,74,79,100,114],"parallel":[27],"features":[28],"languages":[30],"currently":[31],"falls":[32],"short":[33],"needs.":[35],"Thus,":[36],"development":[38],"embedded":[40],"systems":[41],"using":[42],"pose":[44],"special":[45],"challenges":[46],"software":[49],"engineer.":[50],"Techniques":[51],"distributing":[53],"programs,":[55,66],"support":[56,69,101],"simulating":[58],"target":[60],"machines,":[61],"facilities":[63],"tasked":[65,140],"debugging":[68,87,105],"applicable":[70],"simulated":[72],"real":[75],"targets":[76],"all":[77],"need":[78],"be":[80],"addressed.":[81],"A":[82],"technique":[83,106],"is":[84,107,132],"presented":[85,108,133],"programs":[89],"that":[90,120],"describes":[95],"a":[96,138],"debugger,":[97],"called":[98],"AdaTAD,":[99],"technique.":[103],"together":[109],"with":[110,137],"interface":[113],"AdaTAD.":[115],"component":[117],"AdaTAD":[119],"monitors":[121],"controls":[123],"communication":[124],"among":[125],"tasks":[126],"designed":[128],"in":[129],"through":[134],"an":[135],"example":[136],"simple":[139],"program.":[141]},"counts_by_year":[],"updated_date":"2026-11-01T11:40:01.658920","created_date":"2016-06-24T00:00:00"}