{"id":"https://openalex.org/W30636292","doi":null,"title":"Semantics-based Reverse Engineering","display_name":"Semantics-based Reverse Engineering","publication_year":1994,"publication_date":"1994-07-01","ids":{"openalex":"https://openalex.org/W30636292","mag":"30636292"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.49.3480","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.3480","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.ifi.unizh.ch/pub/institute/baumann/sbre.ps.Z","raw_type":"text"},"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/A5069119211","display_name":"Peter Baumann","orcid":"https://orcid.org/0000-0003-3860-4726","observed_orcids":["https://orcid.org/0000-0003-3860-4726"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Baumann","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-3860-4726","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014446225","display_name":"Juerg Faessler","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Juerg Faessler","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030329969","display_name":"Markus Kiser","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Markus Kiser","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039844763","display_name":"Zafer Oeztuerk","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zafer Oeztuerk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5111424784","display_name":"Lutz Richter","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lutz Richter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3067,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.8855659,"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/T10260","display_name":"Software Engineering Research","score":0.9580000042915344,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9580000042915344,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.03460000082850456,"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/T11424","display_name":"Security and Verification in Computing","score":0.002099999925121665,"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/program-comprehension","display_name":"program comprehension","score":0.8939999938011169},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"denotational semantics","score":0.9079999923706055},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":1.0},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.7749999761581421},{"id":"https://openalex.org/keywords/software-maintenance","display_name":"software maintenance","score":0.7570000290870667},{"id":"https://openalex.org/keywords/optimizing-compilers","display_name":"optimizing compilers","score":0.5429999828338623}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6515491008758545},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.6160129308700562},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5616149306297302},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5356568694114685},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3559207320213318}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.49.3480","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.3480","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.ifi.unizh.ch/pub/institute/baumann/sbre.ps.Z","raw_type":"text"},{"id":"mag:30636292","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=901592","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/W2170722860","https://openalex.org/W2139769766","https://openalex.org/W2146404976","https://openalex.org/W2116064489","https://openalex.org/W98599866","https://openalex.org/W2165411481","https://openalex.org/W7097811448","https://openalex.org/W7098174795","https://openalex.org/W2149910957","https://openalex.org/W3119382141"],"abstract_inverted_index":{"Program":[0],"understanding":[1,33,99],"is":[2,13,121],"one":[3],"of":[4,20,34,50,84,100,104],"the":[5,47,67,82,94,98,101],"key":[6],"issues":[7],"in":[8,66,73,90,112,118,136],"software":[9],"reverse":[10,53,61,119,138],"engineering.":[11],"It":[12],"common":[14],"to":[15,46,92],"distinguish":[16],"between":[17],"different":[18],"levels":[19],"program":[21],"understanding.":[22],"Software":[23],"maintenance":[24],"tasks":[25],"require":[26],"at":[27],"least":[28],"a":[29,43,131,143],"thorough":[30],"semantic":[31,48],"level":[32],"programs.":[35,106],"In":[36],"this":[37],"paper":[38],"we":[39,58,80,126,140],"introduce":[40],"and":[41,87],"advocate":[42],"powerful":[44],"approach":[45],"analysis":[49,70],"programs":[51],"for":[52,97,133],"engineering":[54,120],"purposes.":[55],"The":[56],"technique,":[57],"call":[59],"semantics-based":[60,137],"engineering,":[62,139],"has":[63],"its":[64],"roots":[65],"formal":[68],"static":[69],"methods":[71],"developed":[72],"modern":[74],"programming":[75],"language":[76],"theory.":[77],"More":[78],"precisely,":[79],"propose":[81],"use":[83,117],"denotational":[85],"semantics":[86],"abstract":[88],"interpretations":[89],"order":[91],"extract":[93],"relevant":[95],"information":[96],"inner":[102],"workings":[103],"existing":[105],"Such":[107],"techniques":[108],"are":[109,141],"applied":[110],"successfully":[111],"advanced":[113],"optimizing":[114],"compilers.":[115],"Their":[116],"also":[122],"very":[123],"promising,":[124],"as":[125],"will":[127],"show":[128],"below.":[129],"As":[130],"testbed":[132],"our":[134],"research":[135],"developing":[142],"protot...":[144]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2016-06-24T00:00:00"}