{"id":"https://openalex.org/W31337554","doi":null,"title":"Interactive source-level debugging for optimized programs (compilation, high-level)","display_name":"Interactive source-level debugging for optimized programs (compilation, high-level)","publication_year":1984,"publication_date":"1984-01-01","ids":{"openalex":"https://openalex.org/W31337554","mag":"31337554"},"language":"en","primary_location":{"id":"mag:31337554","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=911595","pdf_url":null,"source":null,"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/A5026567500","display_name":"Polle T. Zellweger","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Polle T. Zellweger","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5026567500"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.00887436,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"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.9541000127792358,"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.9541000127792358,"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/T10126","display_name":"Logic, programming, and type systems","score":0.024700000882148743,"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.01119999960064888,"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/source-level-debugging","display_name":"source-level debugging","score":0.8450000286102295},{"id":"https://openalex.org/keywords/optimizing-compilers","display_name":"optimizing compilers","score":0.7889999747276306}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.9377846717834473},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9193488359451294},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8574939966201782},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7607530951499939},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.703723669052124},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6696389317512512},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.6098870038986206},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5681893229484558},{"id":"https://openalex.org/C2780154230","wikidata":"https://www.wikidata.org/wiki/Q513420","display_name":"Undo","level":2,"score":0.4534282386302948}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:31337554","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=911595","pdf_url":null,"source":null,"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/W4252006888","https://openalex.org/W2024870618","https://openalex.org/W2593666349","https://openalex.org/W7100272641","https://openalex.org/W2049010566","https://openalex.org/W1480532367","https://openalex.org/W1533276554","https://openalex.org/W1998807269","https://openalex.org/W4256231703","https://openalex.org/W2897009930"],"abstract_inverted_index":{"The":[0,144],"transformations":[1],"performed":[2],"by":[3,113,159,187,260,264,276],"an":[4,333],"optimizing":[5,64],"compiler":[6,266,324],"have":[7,27],"traditionally":[8],"impeded":[9],"interactive":[10,36],"debugging":[11,49,76,133,172,206,297,302],"in":[12,234],"source":[13,20,142],"language":[14],"terms:":[15],"after":[16],"optimization,":[17],"a":[18,28,81,132,160,177],"program's":[19],"text":[21],"and":[22,51,86,171,246,273,289,325],"object":[23],"code":[24,252],"do":[25],"not":[26],"straightforward":[29],"correspondence.":[30],"This":[31],"dissertation":[32,70,195],"shows":[33],"that":[34,124,254],"effective":[35],"source-level":[37],"debuggers":[38,46,85],"can":[39,47,225],"be":[40,147,226],"provided":[41],"for":[42,94,212,316],"optimized":[43,77,95],"programs.":[44,78,96,318],"Such":[45],"reduce":[48],"time":[50,315],"programmer":[52],"confusion.":[53],"These":[54],"benefits":[55],"are":[56,189,291,299,328],"especially":[57],"important":[58,89],"given":[59],"the":[60,69,72,105,108,111,128,136,141,151,155,167,184,194,202,213,218,235,265,268,271,277,280,284,323],"increasing":[61],"availability":[62],"of":[63,68,75,84,91,107,166,179,193,201,237,251,270,283,320,322,335],"compilers.\r\nThe":[65],"first":[66],"half":[67,192],"studies":[71],"overall":[73],"problem":[74,185],"It":[79,117],"presents":[80],"general":[82],"view":[83],"defines":[87],"two":[88,238],"levels":[90],"debugger":[92,98,278,313,326],"behavior":[93,101,120,259],"A":[97,163,204],"provides":[99,118,257,306],"expected":[100,258],"if":[102,121],"it":[103,122,125],"hides":[104],"effects":[106,269],"optimizations":[109,272],"from":[110,140,154],"user":[112,145],"doing":[114],"behind-the-scenes":[115],"processing.":[116],"truthful":[119,161],"indicates":[123],"cannot":[126],"give":[127],"exact":[129],"answer":[130,153],"to":[131,149,182,229],"query":[134],"(because":[135],"executing":[137],"program":[138,231],"differs":[139],"program).":[143],"may":[146],"able":[148],"deduce":[150],"correct":[152],"partial":[156],"information":[157,262,274],"displayed":[158],"response.":[162],"thorough":[164],"study":[165],"interactions":[168],"between":[169],"optimization":[170,188],"is":[173,303],"included.":[174],"In":[175],"addition,":[176],"collection":[178],"solution":[180],"techniques":[181],"relive":[183],"caused":[186],"described.\r\nThe":[190],"second":[191],"implementation":[196],"experience":[197],"with":[198],"one":[199],"aspect":[200],"problem.":[203],"prototype":[205],"system":[207],"called":[208],"Navigator":[209,224,256,305],"was":[210],"developed":[211],"Cedar":[214],"programming":[215],"environment":[216],"at":[217],"Xerox":[219],"Palo":[220],"Alto":[221],"Research":[222],"Center.":[223],"used":[227],"interactively":[228],"monitor":[230],"execution":[232,287],"flow":[233],"presence":[236],"simple":[239],"but":[240],"nontrivial":[241],"optimizations:":[242],"inline":[243],"procedure":[244],"expansion":[245],"cross-jumping":[247],"(merging":[248],"identical":[249],"tails":[250],"paths":[253],"join).":[255],"combining":[261],"collected":[263,275],"about":[267,279],"control-flow":[281],"history":[282],"computation.":[285],"Program":[286],"space":[288],"speed":[290],"almost":[292],"total":[293],"unaffected":[294],"when":[295],"no":[296],"requests":[298],"active.":[300],"When":[301],"requested,":[304],"its":[307],"added":[308],"functionality":[309],"without":[310],"noticeably":[311],"degrading":[312],"response":[314],"most":[317],"Proofs":[319],"correctness":[321],"algorithms":[327],"given,":[329],"as":[330,332],"well":[331],"analysis":[334],"their":[336],"efficiency.":[337]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-08T07:41:36.138363","created_date":"2016-06-24T00:00:00"}