{"id":"https://openalex.org/W2025151086","doi":"https://doi.org/10.1007/bf00289066","title":"The clean termination of Pascal programs","display_name":"The clean termination of Pascal programs","publication_year":1979,"publication_date":"1979-01-01","ids":{"openalex":"https://openalex.org/W2025151086","doi":"https://doi.org/10.1007/bf00289066","mag":"2025151086"},"language":"en","primary_location":{"id":"doi:10.1007/bf00289066","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00289066","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"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/A5003533685","display_name":"Derek Coleman","orcid":null},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"D. Coleman","raw_affiliation_strings":["Computation Department, University of Manchester, Institute of Science and Technology, Sackville Street, M60 1QD, Manchester, Great Britain","Computation Department, University of Manchester, Institute of Science and Technology, Manchester, Great Britain M60 1QD#TAB#"],"affiliations":[{"raw_affiliation_string":"Computation Department, University of Manchester, Institute of Science and Technology, Sackville Street, M60 1QD, Manchester, Great Britain","institution_ids":["https://openalex.org/I28407311"]},{"raw_affiliation_string":"Computation Department, University of Manchester, Institute of Science and Technology, Manchester, Great Britain M60 1QD#TAB#","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110839183","display_name":"J. W. Hughes","orcid":null},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"J. W. Hughes","raw_affiliation_strings":["Computation Department, University of Manchester, Institute of Science and Technology, Sackville Street, M60 1QD, Manchester, Great Britain","Computation Department, University of Manchester, Institute of Science and Technology, Manchester, Great Britain M60 1QD#TAB#"],"affiliations":[{"raw_affiliation_string":"Computation Department, University of Manchester, Institute of Science and Technology, Sackville Street, M60 1QD, Manchester, Great Britain","institution_ids":["https://openalex.org/I28407311"]},{"raw_affiliation_string":"Computation Department, University of Manchester, Institute of Science and Technology, Manchester, Great Britain M60 1QD#TAB#","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003533685"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.7472,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.90799194,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":"3","first_page":"195","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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.9997000098228455,"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.992900013923645,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9915000200271606,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/pascal","display_name":"Pascal (unit)","score":0.8125309944152832},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.8095508813858032},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7350491881370544},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6639457941055298},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5574060678482056},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.5379055142402649},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4877103269100189},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4858776926994324},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4609876275062561},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.4123808741569519},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3594208061695099},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22475871443748474},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.08331072330474854}],"concepts":[{"id":"https://openalex.org/C75608658","wikidata":"https://www.wikidata.org/wiki/Q44395","display_name":"Pascal (unit)","level":2,"score":0.8125309944152832},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.8095508813858032},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7350491881370544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6639457941055298},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5574060678482056},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.5379055142402649},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4877103269100189},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4858776926994324},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4609876275062561},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.4123808741569519},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3594208061695099},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22475871443748474},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.08331072330474854},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf00289066","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00289066","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W23069016","https://openalex.org/W1595036120","https://openalex.org/W2095224573","https://openalex.org/W2111706174","https://openalex.org/W2113074643","https://openalex.org/W2128274181","https://openalex.org/W2752853835","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W3151246481","https://openalex.org/W4298110380"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W2899793048","https://openalex.org/W2950202488","https://openalex.org/W1594411369","https://openalex.org/W4385887367","https://openalex.org/W2046172023","https://openalex.org/W2027534055","https://openalex.org/W2604424424","https://openalex.org/W2972896947","https://openalex.org/W2047375041"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}