{“id”：“https://openalex.org/W3152001840“，”doi“：”https://doi.org/10.1109/memcod.2009.5185372“，”title“：”根据时态属性规范合成程序“，”display_name“：”基于时态属性规格合成程序“、”publication_year“：2009、”publiation_date“：”2009-07-01“、”ids“：{”openalex“：”https://openalex.org/W3152001840“，”doi“：”https://doi.org/10.1109/memcod.2009.5185372“，”mag“：”3152001840“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/memcod.2009.5185372“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5078214635“，”display_name“：”Amir Pnueli“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I36672615“，”display_name“：”Courant数学科学研究所“，”ror“：”https://ror.org/037tm7f56“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I36672615","https://openalex.org/I57206974“]}，{”id“：”https://openalex.org/I57206974“，”display_name“：”纽约大学“，”ror“：”https://ror.org/0190ak572“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I57206974“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Amir Pnueli“，”raw _ afiliation_strings“：[“美国纽约州纽约市纽约大学数学科学学院”]，”affiliations“：[{”raw_ afiliation _string“：”美国纽约州纽约克大学数学科学院”，“institution_ids”：[“https://openalex.org/I36672615","https://openalex.org/I57206974“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5028569315“，”display_name“：”Uri Klein“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I36672615“，”display_name“：”Courant数学科学研究所“，”ror“：”https://ror.org/037tm7f56“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I36672615","https://openalex.org/I57206974“]}，{”id“：”https://openalex.org/I57206974“，”display_name“：”纽约大学“，”ror“：”https://ror.org/0190ak572“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I57206974“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Uri Klein“，”raw _affiliation_strings“：[“美国纽约州纽约市纽约大学数学科学学院”]，”affiliations“：[{”raw _affiliation_string“：”美国纽约州纽约克大学数学科学院”，“institution_ids”：[”https://openalex.org/I36672615","https://openalex.org/I57206974“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：0.813，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：8，“citation_normalized_percentile”：{“value”：0.6 84762，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：82，”max“：83}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9993，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9967，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/euristics“，”display_name“：”启发式“，”score“：0.6461866}，{”id“：”https://openalex.org/keywords/timing-analysis网站“，”display_name“：”计时分析“，”score“：0.544072}，{”id“：”https://openalex.org/keywords/program-synthesis网站“，”display_name“：”程序合成“，”score“：0.5219012}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.512205}，{”id“：”https://openalex.org/keywords/high-level-synthesis网站“，”display_name“：”高级合成“，”score“：0.510633｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.74792856}，{”id“：”https://openalex.org/C127705205，“wikidata”：https://www.wikidata.org/wiki/Q5748245“，”display_name“：”启发式“，”level“：2，”score“：0.6461866}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.6162664}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.615744}，{”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.6100345}，{”id“：”https://openalex.org/C58013763，“wikidata”：https://www.wikidata.org/wiki/Q5754574“，”display_name“：”高级合成“，”level“：3，”score“：0.58176583}，{”id“：”https://openalex.org/C2776937632，“wikidata”：https://www.wikidata.org/wiki/Q4117718“，”display_name“：”程序合成“，”level“：2，”score“：0.5219012}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.48813304}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.44161117}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42633536}，{”id“：”https://openalex.org/C9019067，“wikidata”：https://www.wikidata.org/wiki/Q43260“，”display_name“：”多项式“，”level“：2，”score“：0.42604268}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.37603176}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35447085}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14013252}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.13694233}，{”id“：”https://openalex.org/C42935608，“wikidata”：https://www.wikidata.org/wiki/Q190411“，”display_name“：”现场可编程门阵列“，”level“：2，”score“：0.114230186}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/memcod.2009.5185372“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：12，“referrenced_works”：[”https://openalex.org/W1535168632","https://openalex.org/W1590315663","https://openalex.org/W1606824214","https://openalex.org/W1737156267","https://openalex.org/W2016206563","https://openalex.org/W2040127143","https://openalex.org/W2098682681","https://openalex.org/W2122620434","https://openalex.org/W2149191071","https://openalex.org/W2178626170","https://openalex.org/W3023554972","https://openalex.org/W4231624530“]，”related_works“：[”https://openalex.org/W4254327869","https://openalex.org/W4252555497","https://openalex.org/W3143197806","https://openalex.org/W3133402516","https://openalex.org/W3121175838","https://openalex.org/W2280422768","https://openalex.org/W2148087029","https://openalex.org/W2116677773","https://openalex.org/W2077567910","https://openalex.org/W102195678“]，”abstract_inverted_index“：{”The“：[0,22]，”paper“：[1]，”investives“：[2]，”a“：[3,18,31,55,82]，”development“：[4]，”process“：[5]，”for“：[6,35,60,96]，”reactive“：[7,65]，”programs“：[8]，”in“：[9100109124]，”which“：[10]，”The“：[11,36,47,61,68,74,93104110127]，”program“：[12]，”是“：[13,24]，”自动“：[14]，”生成“：[15]，”（合成）“：[16]，”来自“：[17,42]，”高级“：[19]，”临时“：[20,44]，”规范。“：[21]，”方法“：[23,34]，”基于“：[25]，”依据“：[26]，”先前“：[27]，”结果“：[28105]，”那“：[29,91112118]，”建议“：[30]，”类似“：[32]，”合成“：[33,62,69,94]，”自动“：[37]，”构造“：[38]，”的“：[39,57,63,70,85126]，”硬件“：[40]，”设计“：[41]，”它们的“：【43】，”规范。“：[45]，”因此，“：[46]，”工作“：[48]，”报告“：[49]，”此处“：[50]，”可以“：[51114]，”是“：[52]，”查看“：[53]，”作为“：[54]，”泛化“：[56]，”现有“：[58]，”方法“：[59]，”同步“：[64,75]，”系统“：[66]，”转换为“：[67]，”异步“：[71]，”systems。“：[72]，“In”：[73]，“case”：[76]，“it”：[77]，“was”：[78]，“possible”：[79]，“to”：[80]，“identified”：[81]，“restricted”：[83,98]，“subscrible”：[84]，“formulas”：+86]，“and”：[87]，“present”：[88]，“an”：[89]，“algorithma”：[90]，“solutions”：/92]，“problem”：[95]，“these”：[97]，“specifications”：[99]，“多项式”：[101]，“时间。“：[102]，“这里”：[103]，“是”：[106]，“更少”：[107]，“确定”：[108]，“意义”：[111]，“我们”：[113]，“提供”：[115]，“一些”：[116125]，“启发式”：[117]，“可能”：[119]，“提供方”：[120]，“多项式时间”：[121]，“解决方案”：[122]，“仅”：[123]，“案例”。“：[128]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W3152001840“，”counts_by_year“：[{”年“：2018，”cited_by_count“：2}，{”年份“：2016，”cited_by_count”：3}，“年份”：2015，”citecd_by_count“：1}，”年度“：2012，”citted_by_count“:2}]，”updated_date“：”2024-09-15T19:50:15.836522“，”created_dated“：”2020年4月13日“}