{"id":"https://openalex.org/W2088690769","doi":"https://doi.org/10.1016/0096-0551(82)90024-8","title":"A mechanism for exception handling and its verification rules","display_name":"A mechanism for exception handling and its verification rules","publication_year":1982,"publication_date":"1982-01-01","ids":{"openalex":"https://openalex.org/W2088690769","doi":"https://doi.org/10.1016/0096-0551(82)90024-8","mag":"2088690769"},"language":"en","primary_location":{"id":"doi:10.1016/0096-0551(82)90024-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0096-0551(82)90024-8","pdf_url":null,"source":{"id":"https://openalex.org/S181974911","display_name":"Computer Languages","issn_l":"0096-0551","issn":["0096-0551","1873-6742"],"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":"Computer Languages","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/A5030853031","display_name":"Nicoletta Cocco","orcid":null},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"N. Cocco","raw_affiliation_strings":["Seminario Matematico dell'Universit\u00e0 di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy"],"affiliations":[{"raw_affiliation_string":"Seminario Matematico dell'Universit\u00e0 di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008709432","display_name":"Susi Dulli","orcid":null},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"S. Dulli","raw_affiliation_strings":["Facolt\u00e0 di Statistica dell'Universit\u00e0 di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy","Facolt\u00e0 di Statistica dell'Universit\u00e0 di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Facolt\u00e0 di Statistica dell'Universit\u00e0 di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]},{"raw_affiliation_string":"Facolt\u00e0 di Statistica dell'Universit\u00e0 di Padova, Centro di Calcolo Sezione Scientifica, Via VIII Febbraio 2, Padova, Italy#TAB#","institution_ids":["https://openalex.org/I138689650"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030853031"],"corresponding_institution_ids":["https://openalex.org/I138689650"],"apc_list":null,"apc_paid":null,"fwci":1.9747,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.88748376,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":"2","first_page":"89","last_page":"102"},"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.9994000196456909,"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.9994000196456909,"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.9979000091552734,"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/T11424","display_name":"Security and Verification in Computing","score":0.9976999759674072,"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/computer-science","display_name":"Computer science","score":0.8853346705436707},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7042515277862549},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.6763013601303101},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6382675766944885},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.6274555325508118},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4780735969543457}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8853346705436707},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7042515277862549},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.6763013601303101},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6382675766944885},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.6274555325508118},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4780735969543457},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/0096-0551(82)90024-8","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0096-0551(82)90024-8","pdf_url":null,"source":{"id":"https://openalex.org/S181974911","display_name":"Computer Languages","issn_l":"0096-0551","issn":["0096-0551","1873-6742"],"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":"Computer Languages","raw_type":"journal-article"},{"id":"pmh:oai:iris.unive.it:10278/12246","is_oa":false,"landing_page_url":"http://hdl.handle.net/10278/12246","pdf_url":null,"source":{"id":"https://openalex.org/S4306402336","display_name":"ARCA (Universit\u00e0 Ca' Foscari Venezia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149461666","host_organization_name":"Ca' Foscari University of Venice","host_organization_lineage":["https://openalex.org/I149461666"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1519374584","https://openalex.org/W1542049623","https://openalex.org/W2017381700","https://openalex.org/W2023441400","https://openalex.org/W2051221358","https://openalex.org/W2064428788","https://openalex.org/W2071136304","https://openalex.org/W2081379485","https://openalex.org/W2095224573","https://openalex.org/W2133201251","https://openalex.org/W2139650364","https://openalex.org/W2142018213","https://openalex.org/W2159469223","https://openalex.org/W2164591125","https://openalex.org/W3035757797","https://openalex.org/W4205394253","https://openalex.org/W6630984691"],"related_works":["https://openalex.org/W2360234149","https://openalex.org/W2788308474","https://openalex.org/W2114879684","https://openalex.org/W2035290118","https://openalex.org/W4244303744","https://openalex.org/W2607262752","https://openalex.org/W1851310281","https://openalex.org/W2069170161","https://openalex.org/W1548358088","https://openalex.org/W2381674891"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}