{"id":"https://openalex.org/W438419232","doi":"https://doi.org/10.1007/978-3-662-43799-5_22","title":"Signature-Based Method of Deciding Program\u00a0Termination","display_name":"Signature-Based Method of Deciding Program\u00a0Termination","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W438419232","doi":"https://doi.org/10.1007/978-3-662-43799-5_22","mag":"438419232"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-43799-5_22","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-43799-5_22","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Mathematics","raw_type":"book-chapter"},"type":"book-chapter","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/A5036850358","display_name":"Yaohui Li","orcid":"https://orcid.org/0000-0002-3832-9894"},"institutions":[{"id":"https://openalex.org/I133270356","display_name":"Tianjin University of Technology and Education","ror":"https://ror.org/035gwtk09","country_code":"CN","type":"education","lineage":["https://openalex.org/I133270356"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yaohui Li","raw_affiliation_strings":["Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People\u2019s Republic of China","Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People\u2019s Republic of China","institution_ids":["https://openalex.org/I133270356"]},{"raw_affiliation_string":"Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People's Republic of China","institution_ids":["https://openalex.org/I133270356"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088459000","display_name":"Yuqing Song","orcid":"https://orcid.org/0000-0002-0246-4330"},"institutions":[{"id":"https://openalex.org/I133270356","display_name":"Tianjin University of Technology and Education","ror":"https://ror.org/035gwtk09","country_code":"CN","type":"education","lineage":["https://openalex.org/I133270356"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuqing Song","raw_affiliation_strings":["Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People\u2019s Republic of China","Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People\u2019s Republic of China","institution_ids":["https://openalex.org/I133270356"]},{"raw_affiliation_string":"Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People's Republic of China","institution_ids":["https://openalex.org/I133270356"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101078342","display_name":"Zhifeng Wu","orcid":"https://orcid.org/0000-0003-3870-8314"},"institutions":[{"id":"https://openalex.org/I133270356","display_name":"Tianjin University of Technology and Education","ror":"https://ror.org/035gwtk09","country_code":"CN","type":"education","lineage":["https://openalex.org/I133270356"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhifeng Wu","raw_affiliation_strings":["Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People\u2019s Republic of China","Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People\u2019s Republic of China","institution_ids":["https://openalex.org/I133270356"]},{"raw_affiliation_string":"Department of Computer Science, Tianjin University of Technology and Education, Tianjin, 300222, People's Republic of China","institution_ids":["https://openalex.org/I133270356"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5036850358"],"corresponding_institution_ids":["https://openalex.org/I133270356"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11228814,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"297","last_page":"310"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9678000211715698,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9678000211715698,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9376000165939331,"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/T10533","display_name":"Teaching and Learning Programming","score":0.9064000248908997,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/polynomial","display_name":"Polynomial","score":0.6774131655693054},{"id":"https://openalex.org/keywords/sign","display_name":"Sign (mathematics)","score":0.6453056335449219},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6090458035469055},{"id":"https://openalex.org/keywords/discriminant","display_name":"Discriminant","score":0.5724672079086304},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.5707019567489624},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5604819655418396},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5278762578964233},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5277353525161743},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5267350673675537},{"id":"https://openalex.org/keywords/matrix-polynomial","display_name":"Matrix polynomial","score":0.4765075743198395},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.4627494812011719},{"id":"https://openalex.org/keywords/coefficient-matrix","display_name":"Coefficient matrix","score":0.4315977692604065},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41206106543540955},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36625587940216064},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34136122465133667},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30614951252937317},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1375446617603302},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09431096911430359},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08204275369644165},{"id":"https://openalex.org/keywords/eigenvalues-and-eigenvectors","display_name":"Eigenvalues and eigenvectors","score":0.0657854676246643}],"concepts":[{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6774131655693054},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.6453056335449219},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6090458035469055},{"id":"https://openalex.org/C78397625","wikidata":"https://www.wikidata.org/wiki/Q192487","display_name":"Discriminant","level":2,"score":0.5724672079086304},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.5707019567489624},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5604819655418396},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5278762578964233},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5277353525161743},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5267350673675537},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.4765075743198395},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.4627494812011719},{"id":"https://openalex.org/C60866291","wikidata":"https://www.wikidata.org/wiki/Q5140577","display_name":"Coefficient matrix","level":3,"score":0.4315977692604065},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41206106543540955},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36625587940216064},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34136122465133667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30614951252937317},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1375446617603302},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09431096911430359},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08204275369644165},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.0657854676246643},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-662-43799-5_22","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-43799-5_22","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Mathematics","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1575647584","https://openalex.org/W2106006965","https://openalex.org/W2350676948","https://openalex.org/W2612686320","https://openalex.org/W4234682643","https://openalex.org/W4292096448","https://openalex.org/W6675626603"],"related_works":["https://openalex.org/W2070124887","https://openalex.org/W4241330371","https://openalex.org/W4255888212","https://openalex.org/W1671124163","https://openalex.org/W2292507975","https://openalex.org/W2168674042","https://openalex.org/W2020591703","https://openalex.org/W2971379656","https://openalex.org/W2133588464","https://openalex.org/W1579789819"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}