乐胖代购免代理版

{"id":"https://openalex.org/W2142554897","doi":"https://doi.org/10.1145/996821.996832","title":"Dynamically inferring temporal properties","display_name":"Dynamically inferring temporal properties","publication_year":2004,"publication_date":"2004-06-07","ids":{"openalex":"https://openalex.org/W2142554897","doi":"https://doi.org/10.1145/996821.996832","mag":"2142554897"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/996821.996832","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":"first","author":{"id":"https://openalex.org/A5101515211","display_name":"Jinlin Yang","orcid":"https://orcid.org/0000-0001-7266-2378"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jinlin Yang","raw_affiliation_strings":["University of Virginia, Charlottesville, VA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027001546","display_name":"David Evans","orcid":"https://orcid.org/0000-0001-7988-8943"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Evans","raw_affiliation_strings":["University of Virginia, Charlottesville, VA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA","institution_ids":["https://openalex.org/I51556381"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.555,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":61,"citation_normalized_percentile":{"value":0.969548,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988,"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.9972,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/formalism","display_name":"Formalism (music)","score":0.6422967},{"id":"https://openalex.org/keywords/template","display_name":"Template","score":0.4860952},{"id":"https://openalex.org/keywords/temporal-database","display_name":"Temporal database","score":0.48337668}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8133365},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6422967},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.61427605},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.59262675},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.4860952},{"id":"https://openalex.org/C77277458","wikidata":"https://www.wikidata.org/wiki/Q1969246","display_name":"Temporal database","level":2,"score":0.48337668},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42252675},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3717514},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33764446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3107056},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28048915},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/996821.996832","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":21,"referenced_works":["https://openalex.org/W1550487903","https://openalex.org/W1862182621","https://openalex.org/W1992371286","https://openalex.org/W1996832037","https://openalex.org/W2011958337","https://openalex.org/W2023808162","https://openalex.org/W2040060046","https://openalex.org/W2061438988","https://openalex.org/W2089139117","https://openalex.org/W2115309705","https://openalex.org/W2121059325","https://openalex.org/W2128158689","https://openalex.org/W2129058735","https://openalex.org/W2135274583","https://openalex.org/W2160668141","https://openalex.org/W2171480813","https://openalex.org/W2295399529","https://openalex.org/W3106729728","https://openalex.org/W4231709874","https://openalex.org/W4233832762","https://openalex.org/W4244022128"],"related_works":["https://openalex.org/W2752555098","https://openalex.org/W2528854787","https://openalex.org/W2115125467","https://openalex.org/W2104016983","https://openalex.org/W1964306497","https://openalex.org/W1848392865","https://openalex.org/W1553306461","https://openalex.org/W1508993047","https://openalex.org/W118671747","https://openalex.org/W117254605"],"abstract_inverted_index":{"Model":[0],"checking":[1],"requires":[2,31],"a":[3,17,32,48,59,65,71,79,98],"specification":[4],"of":[5,12,20,35,41,73,82,97],"the":[6,21,42],"target":[7],"system's":[8],"desirable":[9],"properties,":[10],"some":[11],"which":[13],"are":[14],"temporal.":[15],"Formulating":[16],"temporal":[18,55,67,95],"property":[19,74],"system":[22],"based":[23,69],"on":[24,70,87],"either":[25],"its":[26,36],"abstract":[27],"model":[28],"or":[29],"implementation":[30,81],"deep":[33],"understanding":[34],"behavior":[37],"and":[38,53,85],"sophisticated":[39],"knowledge":[40],"chosen":[43],"formalism.":[44],"This":[45],"has":[46],"been":[47],"major":[49],"impediment":[50],"to":[51,62,92],"documenting":[52],"verifying":[54],"properties.":[56],"We":[57,77],"propose":[58],"dynamic":[60],"approach":[61],"automatically":[63],"infer":[64],"program's":[66],"properties":[68,96],"set":[72],"pattern":[75],"templates.":[76],"describe":[78],"preliminary":[80],"this":[83],"approach,":[84],"report":[86],"our":[88],"experience":[89],"using":[90],"it":[91],"discover":[93],"interesting":[94],"small":[99],"program.":[100]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2142554897","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2024-12-12T17:35:30.869239","created_date":"2016-06-24"}