{"id":"https://openalex.org/W82028491","doi":null,"title":"Debugging standard ML","display_name":"Debugging standard ML","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W82028491","mag":"82028491"},"language":"en","primary_location":{"id":"mag:82028491","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=171049","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/A5046980155","display_name":"Andrew P. Tolmach","orcid":"https://orcid.org/0000-0002-0748-2044","observed_orcids":["https://orcid.org/0000-0002-0748-2044"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Andrew Tolmach","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-0748-2044","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5046980155"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2549,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.87594554,"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.5181000232696533,"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.5181000232696533,"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.47780001163482666,"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.0012000000569969416,"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.7310000061988831},{"id":"https://openalex.org/keywords/reverse-execution","display_name":"reverse execution","score":0.8930000066757202},{"id":"https://openalex.org/keywords/concurrent-programming","display_name":"concurrent programming","score":0.5220000147819519},{"id":"https://openalex.org/keywords/multiprocessor-systems","display_name":"multiprocessor systems","score":0.6990000009536743},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.746999979019165},{"id":"https://openalex.org/keywords/compiler-optimization","display_name":"compiler optimization","score":0.5600000023841858}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.9760029315948486},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8582566976547241},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.812009334564209},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8117896914482117},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7971410751342773},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5422554612159729},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.49814701080322266},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4862040877342224},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.4761490821838379}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:82028491","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=171049","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2027620096","https://openalex.org/W2079978872","https://openalex.org/W2072122071","https://openalex.org/W7095580578","https://openalex.org/W6907897614","https://openalex.org/W2146717778","https://openalex.org/W2946801219","https://openalex.org/W7098256181","https://openalex.org/W7099550627","https://openalex.org/W6977961390"],"abstract_inverted_index":{"Traditional":[0],"source-level":[1],"debuggers":[2,92],"for":[3,93,126,141,158,173],"compiled":[4],"languages":[5],"actually":[6],"operate":[7],"at":[8,166],"machine":[9],"level,":[10],"which":[11],"makes":[12],"them":[13],"complex,":[14],"difficult":[15],"to":[16,34,41,148,154],"port,":[17],"and":[18,72,75,88,112,123,153],"intolerant":[19],"of":[20,90,97,132,144,163,176],"compiler":[21],"optimization.":[22],"For":[23],"type-safe":[24],"languages,":[25],"however,":[26],"debugging":[27,150],"support":[28],"can":[29,56],"be":[30,57],"provided":[31],"without":[32],"reference":[33],"the":[35,48,60,69,77,82,86,94,160],"underlying":[36,70],"machine,":[37],"by":[38,59,81],"adding":[39],"instrumentation":[40],"program":[42],"source":[43],"code":[44,50],"before":[45],"compilation.":[46],"Because":[47],"instrumented":[49],"is":[51,65,146],"(almost)":[52],"ordinary":[53,61,109],"source,":[54],"it":[55],"processed":[58],"compiler.":[62,100],"The":[63],"debugger":[64,107,116,125],"thus":[66],"independent":[67],"from":[68,76],"hardware":[71],"runtime":[73],"system,":[74],"optimization":[78],"strategies":[79],"used":[80,147],"compiler.\r\nThis":[83],"dissertation":[84],"describes":[85],"design":[87],"implementation":[89],"instrumentation-based":[91],"Standard":[95],"ML":[96,127,133,145],"New":[98],"Jersey":[99],"Three":[101],"systems":[102],"are":[103,171],"described:":[104],"a":[105,115,124,129,142,156,174],"simple":[106],"with":[108],"variable":[110],"display":[111],"breakpoint":[113],"facilities,":[114],"supporting--and":[117],"taking":[118],"internal":[119],"advantage":[120],"of--reverse":[121],"execution,":[122],"Threads,":[128],"concurrent":[130],"extension":[131],"running":[134],"on":[135],"multiprocessors.":[136],"A":[137],"formal":[138],"operational":[139],"semantics":[140],"subset":[143],"define":[149],"operations":[151],"precisely,":[152],"provide":[155],"basis":[157],"determining":[159],"concrete":[161],"types":[162],"polymorphic":[164],"variables":[165],"runtime.":[167],"Debugger":[168],"performance":[169],"measurements":[170],"presented":[172],"range":[175],"real":[177],"programs.":[178]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}