{"id":"https://openalex.org/W1500873111","doi":"https://doi.org/10.1007/978-3-642-04843-2_25","title":"Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations","display_name":"Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1500873111","doi":"https://doi.org/10.1007/978-3-642-04843-2_25","mag":"1500873111"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-04843-2_25","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-04843-2_25","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5034822260","display_name":"Pei He","orcid":"https://orcid.org/0000-0003-1099-1525"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]},{"id":"https://openalex.org/I56934997","display_name":"Changsha University of Science and Technology","ror":"https://ror.org/03yph8055","country_code":"CN","type":"education","lineage":["https://openalex.org/I56934997"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Pei He","raw_affiliation_strings":["School of Computer and Communication Engineering, Changsha University of Science and Technology, Chnagsha, 410114, P. R. China","State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, P. R. China","Changsha University of Science and Technology","Wuhan University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Communication Engineering, Changsha University of Science and Technology, Chnagsha, 410114, P. R. China","institution_ids":["https://openalex.org/I56934997"]},{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, P. R. China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Changsha University of Science and Technology","institution_ids":["https://openalex.org/I56934997"]},{"raw_affiliation_string":"Wuhan University","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108535007","display_name":"Lishan Kang","orcid":null},"institutions":[{"id":"https://openalex.org/I3124059619","display_name":"China University of Geosciences","ror":"https://ror.org/04gcegc37","country_code":"CN","type":"education","lineage":["https://openalex.org/I3124059619"]},{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lishan Kang","raw_affiliation_strings":["School of Computer, China University of Geosciences, Wuhan, 430074, P. R. China","State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, P. R. China","China University of Geosciences","Wuhan University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer, China University of Geosciences, Wuhan, 430074, P. R. China","institution_ids":["https://openalex.org/I3124059619"]},{"raw_affiliation_string":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, 430072, P. R. China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"China University of Geosciences","institution_ids":["https://openalex.org/I3124059619"]},{"raw_affiliation_string":"Wuhan University","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"last","author":{"id":null,"display_name":"Daochang Huang","orcid":null},"institutions":[{"id":"https://openalex.org/I56934997","display_name":"Changsha University of Science and Technology","ror":"https://ror.org/03yph8055","country_code":"CN","type":"education","lineage":["https://openalex.org/I56934997"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Daochang Huang","raw_affiliation_strings":["School of Computer and Communication Engineering, Changsha University of Science and Technology, Chnagsha, 410114, P. R. China","Changsha University of Science and Technology,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Communication Engineering, Changsha University of Science and Technology, Chnagsha, 410114, P. R. China","institution_ids":["https://openalex.org/I56934997"]},{"raw_affiliation_string":"Changsha University of Science and Technology,","institution_ids":["https://openalex.org/I56934997"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5034822260","https://openalex.org/A5108535007"],"corresponding_institution_ids":["https://openalex.org/I3124059619","https://openalex.org/I37461747","https://openalex.org/I56934997"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2437,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.42577876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"228","last_page":"237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":1.0,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":1.0,"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/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9912999868392944,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.972599983215332,"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/hoare-logic","display_name":"Hoare logic","score":0.9673212766647339},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7753734588623047},{"id":"https://openalex.org/keywords/axiomatic-semantics","display_name":"Axiomatic semantics","score":0.6946547627449036},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.643517255783081},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.595874547958374},{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.5684934854507446},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4241971969604492},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.29040905833244324},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.09279820322990417},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.08491092920303345},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.06230425834655762}],"concepts":[{"id":"https://openalex.org/C104949639","wikidata":"https://www.wikidata.org/wiki/Q1375924","display_name":"Hoare logic","level":3,"score":0.9673212766647339},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7753734588623047},{"id":"https://openalex.org/C58041814","wikidata":"https://www.wikidata.org/wiki/Q792533","display_name":"Axiomatic semantics","level":5,"score":0.6946547627449036},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.643517255783081},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.595874547958374},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.5684934854507446},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4241971969604492},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.29040905833244324},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.09279820322990417},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.08491092920303345},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.06230425834655762}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-04843-2_25","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-04843-2_25","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1497256448","https://openalex.org/W1511668635","https://openalex.org/W1517016597","https://openalex.org/W1522972365","https://openalex.org/W1526689666","https://openalex.org/W1576818901","https://openalex.org/W1579433101","https://openalex.org/W1579983817","https://openalex.org/W1679534293","https://openalex.org/W1984815740","https://openalex.org/W2011039300","https://openalex.org/W2013500188","https://openalex.org/W2027649639","https://openalex.org/W2097571405","https://openalex.org/W2106493925","https://openalex.org/W2111706174","https://openalex.org/W2114776669","https://openalex.org/W2169840877","https://openalex.org/W2353528417","https://openalex.org/W2585105539","https://openalex.org/W2612597751","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4234924236","https://openalex.org/W4251228600","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2096553703","https://openalex.org/W2165970356","https://openalex.org/W183428347","https://openalex.org/W1013128375","https://openalex.org/W1864574667","https://openalex.org/W2117210984","https://openalex.org/W1536810838","https://openalex.org/W2479659155","https://openalex.org/W2120897738","https://openalex.org/W590274811"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}