乐胖代购免代理版

{"id":"https://openalex.org/W2182941099","doi":"https://doi.org/10.1142/s0218213016500019","title":"Mode Analysis During Program Development","display_name":"Mode Analysis During Program Development","publication_year":2015,"publication_date":"2015-11-05","ids":{"openalex":"https://openalex.org/W2182941099","doi":"https://doi.org/10.1142/s0218213016500019","mag":"2182941099"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213016500019","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009937562","display_name":"Emmanouil Marakakis","orcid":"https://orcid.org/0000-0002-5685-0480"},"institutions":[{"id":"https://openalex.org/I28710699","display_name":"Hellenic Mediterranean University","ror":"https://ror.org/039ce0m20","country_code":"GR","type":"education","lineage":["https://openalex.org/I28710699"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Emmanouil Marakakis","raw_affiliation_strings":["Department of Informatics Engineering, Technological Educational Institute of Crete, Heraklion, GR-71410, Greece"],"affiliations":[{"raw_affiliation_string":"Department of Informatics Engineering, Technological Educational Institute of Crete, Heraklion, GR-71410, Greece","institution_ids":["https://openalex.org/I28710699"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070664655","display_name":"Haridimos Kondylakis","orcid":"https://orcid.org/0000-0002-9917-4486"},"institutions":[{"id":"https://openalex.org/I8901234","display_name":"Foundation for Research and Technology Hellas","ror":"https://ror.org/052rphn09","country_code":"GR","type":"facility","lineage":["https://openalex.org/I8901234"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Haridimos Kondylakis","raw_affiliation_strings":["Institute of Computer Science, Foundation for Research & Technology \u2013 Hellas (FORTH), N. Plastira 100, V. Vouton, GR-70013, Heraklion, Greece"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Foundation for Research & Technology \u2013 Hellas (FORTH), N. Plastira 100, V. Vouton, GR-70013, Heraklion, Greece","institution_ids":["https://openalex.org/I8901234"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.295,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54232,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":66,"max":73},"biblio":{"volume":"25","issue":"02","first_page":"1650001","last_page":"1650001"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9997,"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":"Program Analysis and Verification Techniques","score":0.9997,"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 Software Verification and Control","score":0.9988,"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 Programming and Knowledge Representation","score":0.9987,"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/schema","display_name":"Schema (genetic algorithms)","score":0.517804},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint Logic Programming","score":0.517014},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.48906928},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.43456957},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.4266258},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.42026636}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8735889},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6375993},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5931654},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.52417207},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.517804},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.492867},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.48906928},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.45737007},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4494665},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.43456957},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.4266258},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.42026636},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40210822},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36860013},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.15434116},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.092731476},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08433491},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218213016500019","pdf_url":null,"source":{"id":"https://openalex.org/S178780388","display_name":"International Journal of Artificial Intelligence Tools","issn_l":"0218-2130","issn":["0218-2130","1793-6349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.43,"display_name":"Partnerships for the goals"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":12,"referenced_works":["https://openalex.org/W153405243","https://openalex.org/W1744916874","https://openalex.org/W1975813326","https://openalex.org/W2030720224","https://openalex.org/W2043827880","https://openalex.org/W2074516823","https://openalex.org/W207722629","https://openalex.org/W2081810835","https://openalex.org/W2091138122","https://openalex.org/W2098120938","https://openalex.org/W2102983272","https://openalex.org/W4249904616"],"related_works":["https://openalex.org/W3120011499","https://openalex.org/W3003055204","https://openalex.org/W2955524408","https://openalex.org/W2930019028","https://openalex.org/W2888997865","https://openalex.org/W2545238856","https://openalex.org/W2525463489","https://openalex.org/W2169391873","https://openalex.org/W2112914024","https://openalex.org/W2080046362"],"abstract_inverted_index":{"Mode":[0],"analysis":[1,14,61,102,122],"in":[2,15,126],"logic":[3,29,112],"programs":[4],"has":[5],"been":[6],"used":[7],"mainly":[8],"for":[9,100],"code":[10],"optimization.":[11],"The":[12,31],"mode":[13,60,101],"this":[16,127],"paper":[17],"supports":[18,62],"the":[19,53,56,63,77,83,91,117,121],"program":[20,32,113],"construction":[21,33],"process.":[22,58],"It":[23],"is":[24,35],"applied":[25],"to":[26],"partially":[27],"complete":[28],"programs.":[30],"process":[34],"based":[36,103],"on":[37,104],"schema":[38],"refinements":[39,41,67],"and":[40,116],"by":[42,47,68,82],"data":[43,48,69],"type":[44,49,70],"operations.":[45,71],"Refinements":[46],"operations":[50,87],"are":[51,88,124],"at":[52],"end":[54],"of":[55,66,110,120],"refinement":[57],"This":[59],"proper":[64],"application":[65],"In":[72],"addition,":[73],"it":[74],"checks":[75],"that":[76],"declared":[78],"modes":[79],"as":[80],"defined":[81],"Data":[84],"Type":[85],"(DT)":[86],"consistent":[89],"with":[90],"inferred":[92],"runtime":[93],"modes.":[94],"We":[95],"have":[96],"implemented":[97],"an":[98],"algorithm":[99],"minimal":[105],"function":[106],"graphs.":[107],"An":[108],"overview":[109],"our":[111],"development":[114],"method":[115],"denotational":[118],"semantics":[119],"framework":[123],"presented":[125],"paper.":[128]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2182941099","counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2024-11-28T13:41:04.118870","created_date":"2016-06-24"}