乐胖代购免代理版

{"id":"https://openalex.org/W2104860831","doi":"https://doi.org/10.1051/ita:2004015","title":"Termination checking with types","display_name":"Termination checking with types","publication_year":2004,"publication_date":"2004-10-01","ids":{"openalex":"https://openalex.org/W2104860831","doi":"https://doi.org/10.1051/ita:2004015","mag":"2104860831"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1051/ita:2004015","pdf_url":null,"source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"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":"http://www.numdam.org/item/10.1051/ita:2004015.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008534457","display_name":"Andreas Abel","orcid":"https://orcid.org/0000-0003-0420-4492"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Andreas Abel","raw_affiliation_strings":["Department of Computer Science, Chalmers University of Technology, R\u00e4nnv\u00e4gen 6, 41296 G\u00f6teborg, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Chalmers University of Technology, R\u00e4nnv\u00e4gen 6, 41296 G\u00f6teborg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008534457"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":7.766,"has_fulltext":false,"cited_by_count":60,"citation_normalized_percentile":{"value":0.925936,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":94},"biblio":{"volume":"38","issue":"4","first_page":"277","last_page":"319"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998,"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.9998,"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.9909,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9872,"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/soundness","display_name":"Soundness","score":0.7843355},{"id":"https://openalex.org/keywords/subtyping","display_name":"Subtyping","score":0.6174786},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.4820024}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7843355},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.6709158},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.6670485},{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.6174786},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.56644505},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5368661},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4885155},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.48702365},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4820024},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4693402},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46271345},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43237537},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.42468858},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4168231},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39124238},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38373107},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33788937},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1051/ita:2004015","pdf_url":null,"source":{"id":"https://openalex.org/S6941720","display_name":"RAIRO - Theoretical Informatics and Applications","issn_l":"0988-3754","issn":["0988-3754","1290-385X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319748","host_organization_name":"EDP Sciences","host_organization_lineage":["https://openalex.org/P4310319748"],"host_organization_lineage_names":["EDP Sciences"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://www.numdam.org/articles/10.1051/ita:2004015/","pdf_url":"http://www.numdam.org/item/10.1051/ita:2004015.pdf","source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":["Universit\u00e9 Savoie Mont Blanc"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://www.numdam.org/articles/10.1051/ita:2004015/","pdf_url":"http://www.numdam.org/item/10.1051/ita:2004015.pdf","source":{"id":"https://openalex.org/S4306402264","display_name":"French digital mathematics library (Numdam)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70900168","host_organization_name":"Universit\u00e9 Savoie Mont Blanc","host_organization_lineage":["https://openalex.org/I70900168"],"host_organization_lineage_names":["Universit\u00e9 Savoie Mont Blanc"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":54,"referenced_works":["https://openalex.org/W1489250027","https://openalex.org/W1491165055","https://openalex.org/W1508224656","https://openalex.org/W1521840889","https://openalex.org/W1522144077","https://openalex.org/W1524103352","https://openalex.org/W1546727036","https://openalex.org/W1551651413","https://openalex.org/W1557561422","https://openalex.org/W1560253649","https://openalex.org/W1589398330","https://openalex.org/W1633340509","https://openalex.org/W165446927","https://openalex.org/W168357556","https://openalex.org/W1727609483","https://openalex.org/W1736942297","https://openalex.org/W1772036931","https://openalex.org/W1829457869","https://openalex.org/W1876174594","https://openalex.org/W1980939032","https://openalex.org/W1989536180","https://openalex.org/W1993129359","https://openalex.org/W2003295197","https://openalex.org/W2008920425","https://openalex.org/W2011273500","https://openalex.org/W2012419563","https://openalex.org/W2025407135","https://openalex.org/W2043740265","https://openalex.org/W2055814018","https://openalex.org/W2066550846","https://openalex.org/W2068336423","https://openalex.org/W2089576225","https://openalex.org/W2090046646","https://openalex.org/W2090855107","https://openalex.org/W2117477507","https://openalex.org/W2121757274","https://openalex.org/W2123640792","https://openalex.org/W2124729849","https://openalex.org/W2128529251","https://openalex.org/W2129351221","https://openalex.org/W2148387264","https://openalex.org/W2160809209","https://openalex.org/W2162919535","https://openalex.org/W2166822586","https://openalex.org/W2168162624","https://openalex.org/W2171496589","https://openalex.org/W2296725671","https://openalex.org/W2798401172","https://openalex.org/W3197271110","https://openalex.org/W40661913","https://openalex.org/W4230662430","https://openalex.org/W4236322259","https://openalex.org/W54625895","https://openalex.org/W836902805"],"related_works":["https://openalex.org/W4205979273","https://openalex.org/W3047158069","https://openalex.org/W2470134333","https://openalex.org/W2160037207","https://openalex.org/W2142224267","https://openalex.org/W2127389065","https://openalex.org/W2104860831","https://openalex.org/W1851509138","https://openalex.org/W1640192413","https://openalex.org/W1575522358"],"abstract_inverted_index":{"The":[0,14,48,59],"paradigm":[1],"of":[2,33,42],"type-based":[3],"termination":[4],"is":[5,50,62,70],"explored":[6],"for":[7],"functional":[8],"programming":[9],"with":[10,20],"recursive":[11],"data":[12],"types.":[13],"article":[15],"introduces":[16],",":[17],"a":[18,63],"lambda-calculus":[19],"recursion,":[21],"inductive":[22,34],"types,":[23],"subtyping":[24],"and":[25,45,56],"bounded":[26],"quantification.":[27],"Decorated":[28],"type":[29,54,65],"variables":[30],"representing":[31],"approximations":[32],"types":[35],"are":[36],"used":[37],"to":[38,52],"track":[39],"the":[40],"size":[41],"function":[43],"arguments":[44],"return":[46],"values.":[47],"system":[49],"shown":[51],"be":[53],"safe":[55],"strongly":[57],"normalizing.":[58],"main":[60],"novelty":[61],"bidirectional":[64],"checking":[66],"algorithm":[67],"whose":[68],"soundness":[69],"established":[71],"formally.":[72]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2104860831","counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2024-12-10T01:20:49.449664","created_date":"2016-06-24"}