乐胖代购免代理版

{"id":"https://openalex.org/W2029214188","doi":"https://doi.org/10.1109/tse.2006.125","title":"Modular Pluggable Analyses for Data Structure Consistency","display_name":"Modular Pluggable Analyses for Data Structure Consistency","publication_year":2006,"publication_date":"2006-12-01","ids":{"openalex":"https://openalex.org/W2029214188","doi":"https://doi.org/10.1109/tse.2006.125","mag":"2029214188"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2006.125","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/record/110247/files/KuncakETAL06ModularPluggableAnalysesDataStructureConsistency.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008699657","display_name":"Viktor Kun\u010dak","orcid":"https://orcid.org/0000-0001-7044-9522"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Viktor Kuncak","raw_affiliation_strings":["MIT Computer Science & Artificial Intelligence Lab, Cambridge, MA"],"affiliations":[{"raw_affiliation_string":"MIT Computer Science & Artificial Intelligence Lab, Cambridge, MA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016375266","display_name":"Patrick Lam","orcid":"https://orcid.org/0000-0001-8278-5400"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick Lam","raw_affiliation_strings":["MIT Computer Science & Artificial Intelligence Lab, Cambridge, MA"],"affiliations":[{"raw_affiliation_string":"MIT Computer Science & Artificial Intelligence Lab, Cambridge, MA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022620260","display_name":"Karen Zee","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karen Zee","raw_affiliation_strings":["MIT Computer Science & Artificial Intelligence Lab, Cambridge, MA"],"affiliations":[{"raw_affiliation_string":"MIT Computer Science & Artificial Intelligence Lab, Cambridge, MA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045127387","display_name":"Martin Rinard","orcid":"https://orcid.org/0000-0001-8095-8523"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Rinard","raw_affiliation_strings":["MIT Computer Science & Artificial Intelligence Lab, Cambridge, MA"],"affiliations":[{"raw_affiliation_string":"MIT Computer Science & Artificial Intelligence Lab, Cambridge, MA","institution_ids":["https://openalex.org/I63966007"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.939,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":53,"citation_normalized_percentile":{"value":0.9426,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":94},"biblio":{"volume":"32","issue":"12","first_page":"988","last_page":"1005"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9985,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9982,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5190245},{"id":"https://openalex.org/keywords/abstract-data-type","display_name":"Abstract data type","score":0.4964841}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7814981},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.72713554},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.59706306},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.57482296},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5641219},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5190245},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.49852014},{"id":"https://openalex.org/C175971053","wikidata":"https://www.wikidata.org/wiki/Q827335","display_name":"Abstract data type","level":2,"score":0.4964841},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44654092},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.43290323},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42985284},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.24312699},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.111573815},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.086132765},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2006.125","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/record/110247/files/KuncakETAL06ModularPluggableAnalysesDataStructureConsistency.pdf","pdf_url":"https://infoscience.epfl.ch/record/110247/files/KuncakETAL06ModularPluggableAnalysesDataStructureConsistency.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/record/110247/files/KuncakETAL06ModularPluggableAnalysesDataStructureConsistency.pdf","pdf_url":"https://infoscience.epfl.ch/record/110247/files/KuncakETAL06ModularPluggableAnalysesDataStructureConsistency.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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},"sustainable_development_goals":[{"score":0.51,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":90,"referenced_works":["https://openalex.org/W117718117","https://openalex.org/W122118143","https://openalex.org/W1482002366","https://openalex.org/W1501871411","https://openalex.org/W1506404239","https://openalex.org/W1541825597","https://openalex.org/W1546221080","https://openalex.org/W1546727036","https://openalex.org/W1550200770","https://openalex.org/W1572470107","https://openalex.org/W1575118279","https://openalex.org/W1576361343","https://openalex.org/W1578097867","https://openalex.org/W1583095677","https://openalex.org/W1585486594","https://openalex.org/W1595212543","https://openalex.org/W1649645444","https://openalex.org/W1731421159","https://openalex.org/W1767054418","https://openalex.org/W1829244603","https://openalex.org/W1970495662","https://openalex.org/W1987469449","https://openalex.org/W1988441831","https://openalex.org/W1991837261","https://openalex.org/W1992431017","https://openalex.org/W1993836075","https://openalex.org/W1996228525","https://openalex.org/W1998070736","https://openalex.org/W2014764321","https://openalex.org/W2026114025","https://openalex.org/W2029214188","https://openalex.org/W2029682051","https://openalex.org/W2030101147","https://openalex.org/W2031868253","https://openalex.org/W2035020702","https://openalex.org/W2041388743","https://openalex.org/W2044550200","https://openalex.org/W2044590882","https://openalex.org/W2053478668","https://openalex.org/W2055477538","https://openalex.org/W2080769562","https://openalex.org/W2083251422","https://openalex.org/W2100962534","https://openalex.org/W2102913701","https://openalex.org/W2103953153","https://openalex.org/W2106017511","https://openalex.org/W2106192381","https://openalex.org/W2107995193","https://openalex.org/W2110980218","https://openalex.org/W2112243500","https://openalex.org/W2117009500","https://openalex.org/W2117879955","https://openalex.org/W2121421673","https://openalex.org/W2123828382","https://openalex.org/W2127505967","https://openalex.org/W2130175237","https://openalex.org/W2131742729","https://openalex.org/W2134311998","https://openalex.org/W2140144076","https://openalex.org/W2141236940","https://openalex.org/W2142837069","https://openalex.org/W2143238865","https://openalex.org/W2145899398","https://openalex.org/W2151131364","https://openalex.org/W2151463894","https://openalex.org/W2152720880","https://openalex.org/W2154689462","https://openalex.org/W2158376721","https://openalex.org/W2160573490","https://openalex.org/W2162284942","https://openalex.org/W2165587117","https://openalex.org/W2166985644","https://openalex.org/W2168838065","https://openalex.org/W2169102536","https://openalex.org/W2295622790","https://openalex.org/W2318940639","https://openalex.org/W2912166712","https://openalex.org/W2915057152","https://openalex.org/W3147662708","https://openalex.org/W4205178514","https://openalex.org/W4212792638","https://openalex.org/W4213009134","https://openalex.org/W4231090099","https://openalex.org/W4233622783","https://openalex.org/W4235654897","https://openalex.org/W4242057943","https://openalex.org/W4243167850","https://openalex.org/W4250846042","https://openalex.org/W4251167975","https://openalex.org/W4254691308"],"related_works":["https://openalex.org/W4233387348","https://openalex.org/W3160136729","https://openalex.org/W3010469175","https://openalex.org/W2560607624","https://openalex.org/W2390190248","https://openalex.org/W2353865532","https://openalex.org/W2048053751","https://openalex.org/W2029214188","https://openalex.org/W2024918697","https://openalex.org/W1604914670"],"abstract_inverted_index":{"Hob":[0],"is":[1,139],"a":[2,67,128,142,148,154,181],"program":[3],"analysis":[4,47,130,151,187,191],"system":[5,121,169],"that":[6,49,71,109,167],"enables":[7],"the":[8,18,50,53,73,78,82,85,102,174],"focused":[9],"application":[10],"of":[11,52,75,176],"multiple":[12,95,112,200],"analyses":[13,83,205],"to":[14,38,88,99,106,193],"different":[15,116,190,204],"modules":[16,113,133,201],"in":[17,35,43,94,134,145],"same":[19],"program.":[20],"In":[21],"our":[22,120,168],"approach,":[23],"each":[24,146],"module":[25,54,183],"encapsulates":[26],"one":[27],"or":[28],"more":[29],"data":[30,44,59,79,96,162,177],"structures":[31,97,178],"and":[32,63,98,122,153,184],"uses":[33],"membership":[34,138],"abstract":[36,136],"sets":[37],"characterize":[39,90],"how":[40,91],"objects":[41,92,197],"participate":[42,93],"structures.":[45,163],"Each":[46],"verifies":[48],"implementation":[51],"1)":[55,89,172],"preserves":[56],"important":[57],"internal":[58],"structure":[60],"consistency":[61,175],"properties":[62,108,195],"2)":[64,100,185],"correctly":[65],"implements":[66],"set":[68,86,137],"algebra":[69,87],"interface":[70],"characterizes":[72],"effects":[74],"operations":[76],"on":[77,111],"structure.":[80],"Collectively,":[81],"use":[84],"enable":[101],"interanalysis":[103],"communication":[104],"required":[105],"verify":[107,173,194],"depend":[110],"analyzed":[114,202],"by":[115,141,199,203],"analyses.":[117],"We":[118],"implemented":[119],"deployed":[123],"several":[124],"pluggable":[125],"analyses,":[126],"including":[127],"flag":[129,143],"plug-in":[131,157],"for":[132,158],"which":[135],"determined":[140],"field":[144],"object,":[147],"PALE":[149],"shape":[150],"plug-in,":[152],"theorem":[155],"proving":[156],"analyzing":[159],"arbitrarily":[160],"complicated":[161],"Our":[164],"experience":[165],"shows":[166],"can":[170],"effectively":[171],"encapsulated":[179],"within":[180],"single":[182],"combine":[186],"results":[188],"from":[189],"plug-ins":[192],"involving":[196],"shared":[198]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2029214188","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2024-12-13T15:52:19.478530","created_date":"2016-06-24"}