{"id":"https://openalex.org/W6997035780","doi":null,"title":"Towards Effective Two-Level Supercompilation","display_name":"Towards Effective Two-Level Supercompilation","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W6997035780"},"language":"en","primary_location":{"id":"pmh:oai:gquwzn:1:p2010-81","doi":null,"is_oa":true,"landing_page_url":"http://socionet.ru/publication.xml?h=repec:rus:keldys:2010-81&type=","pdf_url":"http://socionet.ru/publication.xml?h=repec:rus:keldys:2010-81&type=","source":{"id":"https://openalex.org/S4306401841","display_name":"\u0421\u043e\u0446\u0438\u043e\u043d\u0435\u0442 (\u0421\u043e\u0446\u0438\u043e\u043d\u0435\u0442/\u0426\u042d\u041c\u0418 \u0420\u0410\u041d/\u0418\u042d\u041e\u041f\u041f \u0421\u041e \u0420\u0410\u041d)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"paper"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://socionet.ru/publication.xml?h=repec:rus:keldys:2010-81&type=","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Klyuchnikov I. G.","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I86427540","display_name":"Keldysh Institute of Applied Mathematics","ror":"https://ror.org/01dv3hq14","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210124601","https://openalex.org/I86427540"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Klyuchnikov I. G.http://library.keldysh.ru/author_page.asp?aid=3145","raw_affiliation_strings":["KELDYSH INSTITUTE OF APPLIED MATHEMATICS Russian Academy of Sciences","Keldysh Institute \u2022 Publication search"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KELDYSH INSTITUTE OF APPLIED MATHEMATICS Russian Academy of Sciences","institution_ids":["https://openalex.org/I86427540"]},{"raw_affiliation_string":"Keldysh Institute \u2022 Publication search","institution_ids":["https://openalex.org/I86427540"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I86427540"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.53075424,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9951000213623047,"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.9951000213623047,"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.002199999988079071,"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/T11269","display_name":"Algorithms and Data Compression","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/supercompilation","display_name":"supercompilation","score":0.7789999842643738},{"id":"https://openalex.org/keywords/process-trees","display_name":"process trees","score":0.6710000038146973},{"id":"https://openalex.org/keywords/normalization","display_name":"normalization","score":0.7680000066757202},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.5379999876022339},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.36899998784065247}],"concepts":[{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.5055999755859375},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49129998683929443},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.487199991941452},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47589999437332153},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45500001311302185},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.367000013589859},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.26109999418258667},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.2590999901294708},{"id":"https://openalex.org/C155386361","wikidata":"https://www.wikidata.org/wiki/Q1649571","display_name":"Process control","level":3,"score":0.22679999470710754},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.21889999508857727}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:gquwzn:1:p2010-81","doi":null,"is_oa":true,"landing_page_url":"http://socionet.ru/publication.xml?h=repec:rus:keldys:2010-81&type=","pdf_url":"http://socionet.ru/publication.xml?h=repec:rus:keldys:2010-81&type=","source":{"id":"https://openalex.org/S4306401841","display_name":"\u0421\u043e\u0446\u0438\u043e\u043d\u0435\u0442 (\u0421\u043e\u0446\u0438\u043e\u043d\u0435\u0442/\u0426\u042d\u041c\u0418 \u0420\u0410\u041d/\u0418\u042d\u041e\u041f\u041f \u0421\u041e \u0420\u0410\u041d)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"paper"}],"best_oa_location":{"id":"pmh:oai:gquwzn:1:p2010-81","doi":null,"is_oa":true,"landing_page_url":"http://socionet.ru/publication.xml?h=repec:rus:keldys:2010-81&type=","pdf_url":"http://socionet.ru/publication.xml?h=repec:rus:keldys:2010-81&type=","source":{"id":"https://openalex.org/S4306401841","display_name":"\u0421\u043e\u0446\u0438\u043e\u043d\u0435\u0442 (\u0421\u043e\u0446\u0438\u043e\u043d\u0435\u0442/\u0426\u042d\u041c\u0418 \u0420\u0410\u041d/\u0418\u042d\u041e\u041f\u041f \u0421\u041e \u0420\u0410\u041d)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"paper"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G5796677041","display_name":null,"funder_award_id":"00280-a","funder_id":"https://openalex.org/F4320321079","funder_display_name":"Russian Foundation for Basic Research"}],"funders":[{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6997035780.pdf","grobid_xml":"https://content.openalex.org/works/W6997035780.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7097428138","https://openalex.org/W7099476807","https://openalex.org/W7095961893","https://openalex.org/W7015456634","https://openalex.org/W6996834690","https://openalex.org/W2347435866","https://openalex.org/W7061839639","https://openalex.org/W1567046583","https://openalex.org/W7096715824","https://openalex.org/W4412275376"],"abstract_inverted_index":{"Abstract:":[0],"\\n":[1],"The":[2],"paper":[3],"presents":[4],"a":[5,15,47],"number":[6],"of":[7,12,18,35,43,53,59],"improvements":[8],"to":[9,32],"the":[10,23,26,33,41,57],"method":[11],"two-level":[13,60],"supercompilation:":[14],"fast":[16],"technique":[17],"lemma":[19],"discovering":[20],"by":[21],"analyzing":[22],"expressions":[24],"in":[25,56],"partial":[27],"process":[28,58],"tree,":[29],"an":[30],"enhancement":[31],"algorithm":[34],"checking":[36],"improvement":[37],"lemmas":[38,54],"based":[39],"on":[40],"normalization":[42],"tick":[44],"annotations,":[45],"and":[46],"few":[48],"techniques":[49],"of\\nfinding":[50],"simplified":[51],"versions":[52],"discovered":[55],"supercompilation.":[61]},"counts_by_year":[],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2025-10-10T00:00:00"}