{"id":"https://openalex.org/W1989860832","doi":"https://doi.org/10.1016/s0167-6423(98)00027-6","title":"Specifications, programs, and total correctness","display_name":"Specifications, programs, and total correctness","publication_year":1999,"publication_date":"1999-07-01","ids":{"openalex":"https://openalex.org/W1989860832","doi":"https://doi.org/10.1016/s0167-6423(98)00027-6","mag":"1989860832"},"language":"en","primary_location":{"id":"doi:10.1016/s0167-6423(98)00027-6","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-6423(98)00027-6","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","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/A5016175160","display_name":"Eric C. R. Hehner","orcid":"https://orcid.org/0000-0002-0179-0097"},"institutions":[{"id":"https://openalex.org/I106938459","display_name":"University of New Brunswick","ror":"https://ror.org/05nkf0n29","country_code":"CA","type":"education","lineage":["https://openalex.org/I106938459"]},{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Eric C.R. Hehner","raw_affiliation_strings":["Department of Computer Science, University of Toronto, 10 King's College Rd, Toronto, Ont., Canada M5S 3G4","Department of Computer Science, University of Toronto, 10 King's College Rd., Toronto, Ont., Canada M5S 3G4"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, 10 King's College Rd, Toronto, Ont., Canada M5S 3G4","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"Department of Computer Science, University of Toronto, 10 King's College Rd., Toronto, Ont., Canada M5S 3G4","institution_ids":["https://openalex.org/I185261750","https://openalex.org/I106938459"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016175160"],"corresponding_institution_ids":["https://openalex.org/I106938459","https://openalex.org/I185261750"],"apc_list":{"value":2460,"currency":"USD","value_usd":2460},"apc_paid":null,"fwci":1.043,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.81097649,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"34","issue":"3","first_page":"191","last_page":"205"},"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.9998999834060669,"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.9998999834060669,"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.9995999932289124,"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/T10260","display_name":"Software Engineering Research","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/correctness","display_name":"Correctness","score":0.9129009246826172},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8973109126091003},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7175264954566956},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4923492670059204},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.46706920862197876},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44645819067955017},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4393139183521271},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40965548157691956}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9129009246826172},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8973109126091003},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7175264954566956},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4923492670059204},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.46706920862197876},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44645819067955017},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4393139183521271},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40965548157691956}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0167-6423(98)00027-6","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-6423(98)00027-6","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"display_name":"No poverty","id":"https://metadata.un.org/sdg/1"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W170531427","https://openalex.org/W1493887327","https://openalex.org/W1511826042","https://openalex.org/W1552647623","https://openalex.org/W1584820183","https://openalex.org/W1900491454","https://openalex.org/W1938490108","https://openalex.org/W1970495662","https://openalex.org/W2038814435","https://openalex.org/W2052603522","https://openalex.org/W2062251861","https://openalex.org/W2076513239","https://openalex.org/W2081945419","https://openalex.org/W2087403174","https://openalex.org/W2098683076","https://openalex.org/W2105601930","https://openalex.org/W2109597998","https://openalex.org/W2141405923","https://openalex.org/W2144973245","https://openalex.org/W2157577995","https://openalex.org/W2318940639","https://openalex.org/W2936157456","https://openalex.org/W2952445416","https://openalex.org/W3140353777","https://openalex.org/W3148428321","https://openalex.org/W3150304274","https://openalex.org/W6606983656","https://openalex.org/W6629329629","https://openalex.org/W6635239638","https://openalex.org/W6639670383","https://openalex.org/W6645668827","https://openalex.org/W6681008045"],"related_works":["https://openalex.org/W2104890704","https://openalex.org/W2245685274","https://openalex.org/W2002931343","https://openalex.org/W3042312155","https://openalex.org/W3021003119","https://openalex.org/W3007870257","https://openalex.org/W2610513781","https://openalex.org/W2112801462","https://openalex.org/W2910115471","https://openalex.org/W2503735611"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}