{"id":"https://openalex.org/W2567048852","doi":"https://doi.org/10.1145/3014812.3014827","title":"Static techniques for reducing memory usage in the C implementation of whiley programs","display_name":"Static techniques for reducing memory usage in the C implementation of whiley programs","publication_year":2016,"publication_date":"2016-12-20","ids":{"openalex":"https://openalex.org/W2567048852","doi":"https://doi.org/10.1145/3014812.3014827","mag":"2567048852"},"language":"en","primary_location":{"id":"doi:10.1145/3014812.3014827","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3014812.3014827","pdf_url":null,"source":{"id":"https://openalex.org/S4306524001","display_name":"Proceedings of the Australasian Computer Science Week Multiconference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Australasian Computer Science Week Multiconference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/10289/11067","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030689225","display_name":"Min-Hsien Weng","orcid":"https://orcid.org/0000-0003-2334-1863"},"institutions":[{"id":"https://openalex.org/I52179390","display_name":"University of Waikato","ror":"https://ror.org/013fsnh78","country_code":"NZ","type":"education","lineage":["https://openalex.org/I52179390"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Min-Hsien Weng","raw_affiliation_strings":["University of Waikato, Hamilton, New Zealand"],"affiliations":[{"raw_affiliation_string":"University of Waikato, Hamilton, New Zealand","institution_ids":["https://openalex.org/I52179390"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087785022","display_name":"Bernhard Pfahringer","orcid":"https://orcid.org/0000-0002-3732-5787"},"institutions":[{"id":"https://openalex.org/I52179390","display_name":"University of Waikato","ror":"https://ror.org/013fsnh78","country_code":"NZ","type":"education","lineage":["https://openalex.org/I52179390"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Bernhard Pfahringer","raw_affiliation_strings":["University of Waikato, Hamilton, New Zealand"],"affiliations":[{"raw_affiliation_string":"University of Waikato, Hamilton, New Zealand","institution_ids":["https://openalex.org/I52179390"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061718956","display_name":"Mark Utting","orcid":"https://orcid.org/0000-0003-3134-6306"},"institutions":[{"id":"https://openalex.org/I174025329","display_name":"University of the Sunshine Coast","ror":"https://ror.org/016gb9e15","country_code":"AU","type":"education","lineage":["https://openalex.org/I174025329"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Mark Utting","raw_affiliation_strings":["University of the Sunshine, Coast, Queensland, Australia"],"affiliations":[{"raw_affiliation_string":"University of the Sunshine, Coast, Queensland, Australia","institution_ids":["https://openalex.org/I174025329"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030689225"],"corresponding_institution_ids":["https://openalex.org/I52179390"],"apc_list":null,"apc_paid":null,"fwci":0.32,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61441835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.9674848318099976},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.844797670841217},{"id":"https://openalex.org/keywords/manual-memory-management","display_name":"Manual memory management","score":0.8334668874740601},{"id":"https://openalex.org/keywords/copying","display_name":"Copying","score":0.8001348972320557},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.791967511177063},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7000308036804199},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.614175021648407},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5751699805259705},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.573184072971344},{"id":"https://openalex.org/keywords/memory-leak","display_name":"Memory leak","score":0.5678523778915405},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.4261569380760193},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3610338270664215},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3281729519367218}],"concepts":[{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.9674848318099976},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.844797670841217},{"id":"https://openalex.org/C82810778","wikidata":"https://www.wikidata.org/wiki/Q6752316","display_name":"Manual memory management","level":4,"score":0.8334668874740601},{"id":"https://openalex.org/C2779151265","wikidata":"https://www.wikidata.org/wiki/Q1156791","display_name":"Copying","level":2,"score":0.8001348972320557},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.791967511177063},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7000308036804199},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.614175021648407},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5751699805259705},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.573184072971344},{"id":"https://openalex.org/C156731835","wikidata":"https://www.wikidata.org/wiki/Q751740","display_name":"Memory leak","level":4,"score":0.5678523778915405},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4261569380760193},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3610338270664215},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3281729519367218},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3014812.3014827","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3014812.3014827","pdf_url":null,"source":{"id":"https://openalex.org/S4306524001","display_name":"Proceedings of the Australasian Computer Science Week Multiconference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Australasian Computer Science Week Multiconference","raw_type":"proceedings-article"},{"id":"pmh:oai:researchcommons.waikato.ac.nz:10289/11067","is_oa":true,"landing_page_url":"https://hdl.handle.net/10289/11067","pdf_url":"https://hdl.handle.net/10289/11067","source":{"id":"https://openalex.org/S4306400944","display_name":"Research Commons (University of Waikato)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I52179390","host_organization_name":"University of Waikato","host_organization_lineage":["https://openalex.org/I52179390"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACSW'17","raw_type":"Conference Contribution"},{"id":"pmh:oai:espace.library.uq.edu.au:UQ:5648c2e","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402388","display_name":"Queensland's institutional digital repository (The University of Queensland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165143802","host_organization_name":"The University of Queensland","host_organization_lineage":["https://openalex.org/I165143802"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"},{"id":"pmh:usc:21454","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1145/3014812.3014827","pdf_url":null,"source":{"id":"https://openalex.org/S4306401632","display_name":"USC Research Bank (University of the Sunshine Coast)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I174025329","host_organization_name":"University of the Sunshine Coast","host_organization_lineage":["https://openalex.org/I174025329"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":{"id":"pmh:oai:researchcommons.waikato.ac.nz:10289/11067","is_oa":true,"landing_page_url":"https://hdl.handle.net/10289/11067","pdf_url":"https://hdl.handle.net/10289/11067","source":{"id":"https://openalex.org/S4306400944","display_name":"Research Commons (University of Waikato)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I52179390","host_organization_name":"University of Waikato","host_organization_lineage":["https://openalex.org/I52179390"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACSW'17","raw_type":"Conference Contribution"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2567048852.pdf","grobid_xml":"https://content.openalex.org/works/W2567048852.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1505883827","https://openalex.org/W1555693494","https://openalex.org/W1567903304","https://openalex.org/W1997147920","https://openalex.org/W2146934772","https://openalex.org/W2156858199","https://openalex.org/W2289498755","https://openalex.org/W2482069863","https://openalex.org/W2522590477","https://openalex.org/W2999514747","https://openalex.org/W4239035626"],"related_works":["https://openalex.org/W2245694847","https://openalex.org/W2132258996","https://openalex.org/W2182829270","https://openalex.org/W2592247214","https://openalex.org/W4381304378","https://openalex.org/W2304927939","https://openalex.org/W4384948881","https://openalex.org/W2165063050","https://openalex.org/W2104098106","https://openalex.org/W3046276722"],"abstract_inverted_index":{"Languages":[0],"that":[1,53],"use":[2],"call-by-value":[3],"semantics,":[4],"such":[5],"as":[6],"Whiley,":[7],"can":[8,38],"make":[9],"program":[10],"verification":[11],"easier.":[12],"But":[13],"efficient":[14,62],"implementation":[15],"becomes":[16],"harder,":[17],"due":[18],"to":[19,41,58],"the":[20],"overhead":[21],"of":[22,33],"copying":[23,44],"and":[24,36,45],"garbage":[25,49],"collection.":[26,50],"This":[27],"paper":[28],"describes":[29],"how":[30],"a":[31],"mixture":[32],"static":[34],"analysis":[35],"runtime-monitoring":[37],"be":[39,59],"used":[40],"eliminate":[42],"unnecessary":[43],"deallocate":[46],"memory":[47],"without":[48],"We":[51],"show":[52],"this":[54],"allows":[55],"Whiley":[56],"programs":[57],"translated":[60],"into":[61],"C":[63],"implementations.":[64]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}