{"id":"https://openalex.org/W2000931408","doi":"https://doi.org/10.1145/12276.13322","title":"Data flow analysis for `intractable' system software","display_name":"Data flow analysis for `intractable' system software","publication_year":1986,"publication_date":"1986-07-01","ids":{"openalex":"https://openalex.org/W2000931408","doi":"https://doi.org/10.1145/12276.13322","mag":"2000931408"},"language":"en","primary_location":{"id":"doi:10.1145/12276.13322","doi":"https://doi.org/10.1145/12276.13322","is_oa":true,"landing_page_url":"https://doi.org/10.1145/12276.13322","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/12276.13322","source":{"id":"https://openalex.org/S7407106430","display_name":"ACM SIGPLAN Symposium on Compiler Construction","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1986 SIGPLAN symposium on Compiler construction","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/12276.13322","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Harold Johnson","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I176714629","display_name":"Bell (Canada)","ror":"https://ror.org/00xdg8m59","country_code":"CA","type":"company","lineage":["https://openalex.org/I176714629"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Harold Johnson","raw_affiliation_strings":["Bell Northern Research"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bell Northern Research","institution_ids":["https://openalex.org/I176714629"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I176714629"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"109","last_page":"117"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6636000275611877,"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/T10126","display_name":"Logic, programming, and type systems","score":0.6636000275611877,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.13600000739097595,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.12839999794960022,"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/data-flow-analysis","display_name":"data flow analysis","score":0.8379999995231628},{"id":"https://openalex.org/keywords/system-software","display_name":"system software","score":0.7149999737739563},{"id":"https://openalex.org/keywords/embedded-applications","display_name":"embedded applications","score":0.7630000114440918},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.7829999923706055}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7138307094573975},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4510008692741394},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.4347561001777649},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.4331373870372772},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38072726130485535},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.33897489309310913},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26228010654449463},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.14514127373695374},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06954014301300049},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/12276.13322","doi":"https://doi.org/10.1145/12276.13322","is_oa":true,"landing_page_url":"https://doi.org/10.1145/12276.13322","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/12276.13322","source":{"id":"https://openalex.org/S7407106430","display_name":"ACM SIGPLAN Symposium on Compiler Construction","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1986 SIGPLAN symposium on Compiler construction","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/12276.13322","doi":"https://doi.org/10.1145/12276.13322","is_oa":true,"landing_page_url":"https://doi.org/10.1145/12276.13322","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/12276.13322","source":{"id":"https://openalex.org/S7407106430","display_name":"ACM SIGPLAN Symposium on Compiler Construction","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1986 SIGPLAN symposium on Compiler construction","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2000931408.pdf","grobid_xml":"https://content.openalex.org/works/W2000931408.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W136694243","https://openalex.org/W1502293651","https://openalex.org/W1571012617","https://openalex.org/W1980885047","https://openalex.org/W2003011196","https://openalex.org/W2044636442","https://openalex.org/W2045818721","https://openalex.org/W2088017390","https://openalex.org/W2102890180","https://openalex.org/W2116446217","https://openalex.org/W2534652523"],"related_works":["https://openalex.org/W7100076060","https://openalex.org/W7015716797","https://openalex.org/W168348267","https://openalex.org/W148396834","https://openalex.org/W7339949","https://openalex.org/W7098970759","https://openalex.org/W110734221","https://openalex.org/W46650353","https://openalex.org/W7099875502","https://openalex.org/W23693130"],"abstract_inverted_index":{"We":[0],"describe,":[1],"and":[2],"give":[3],"experience":[4],"with,":[5],"a":[6],"new":[7],"method":[8,18],"of":[9,28],"intraprocedural":[10],"data":[11,38],"flow":[12,39],"analysis":[13,40],"on":[14],"reducible":[15],"flow-graphs[9].":[16],"The":[17],"is":[19,41],"advantageous":[20],"in":[21],"imbedded":[22],"applications":[23],"where":[24],"the":[25,45],"added":[26],"value":[27],"improved":[29],"performance":[30],"justifies":[31],"substantial":[32],"optimization":[33],"effort,":[34],"but":[35],"extremely":[36],"powerful":[37],"required":[42],"due":[43],"to":[44],"code":[46],"profile.":[47]},"counts_by_year":[{"year":2014,"cited_by_count":2}],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2016-06-24T00:00:00"}