Publication Information

{'id': 'https://openalex.org/W2071986313', 'doi': 'https://doi.org/10.5555/800054.801946', 'title': 'Exception handling: Formal specification and systematic program construction', 'display_name': 'Exception handling: Formal specification and systematic program construction', 'publication_year': 1984, 'publication_date': '1984-03-26', 'ids': {'openalex': 'https://openalex.org/W2071986313', 'doi': 'https://doi.org/10.5555/800054.801946', 'mag': '2071986313'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.5555/800054.801946', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5062496192', 'display_name': 'Michel Bidoit', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210144804', 'display_name': 'Laboratoire de Recherche en Informatique', 'ror': 'https://ror.org/04e3ktk27', 'country_code': 'FR', 'type': 'facility', 'lineage': ['https://openalex.org/I102197404', 'https://openalex.org/I1294671590', 'https://openalex.org/I1326498283', 'https://openalex.org/I4210144804', 'https://openalex.org/I4210159245']}, {'id': 'https://openalex.org/I102197404', 'display_name': 'Université Paris-Sud', 'ror': 'https://ror.org/028rypz17', 'country_code': 'FR', 'type': 'education', 'lineage': ['https://openalex.org/I102197404']}], 'countries': ['FR'], 'is_corresponding': False, 'raw_author_name': 'M. Bidoit', 'raw_affiliation_strings': ['Laboratoire de Recherche en Informatique, University of Paris-Sud'], 'affiliations': [{'raw_affiliation_string': 'Laboratoire de Recherche en Informatique, University of Paris-Sud', 'institution_ids': ['https://openalex.org/I4210144804', 'https://openalex.org/I102197404']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5089879744', 'display_name': 'Brigitte Biébow', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210091279', 'display_name': 'Université Sorbonne Paris Nord', 'ror': 'https://ror.org/0199hds37', 'country_code': 'FR', 'type': 'education', 'lineage': ['https://openalex.org/I4210091279']}], 'countries': ['FR'], 'is_corresponding': False, 'raw_author_name': 'B. Biebow', 'raw_affiliation_strings': ['Univ. of Villetaneuse, Villetaneuse, France#TAB#'], 'affiliations': [{'raw_affiliation_string': 'Univ. of Villetaneuse, Villetaneuse, France#TAB#', 'institution_ids': ['https://openalex.org/I4210091279']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5112535256', 'display_name': 'MC Gaudel', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I102197404', 'display_name': 'Université Paris-Sud', 'ror': 'https://ror.org/028rypz17', 'country_code': 'FR', 'type': 'education', 'lineage': ['https://openalex.org/I102197404']}], 'countries': ['FR'], 'is_corresponding': False, 'raw_author_name': 'M-C. Gaudel', 'raw_affiliation_strings': ['University of Paris-Sud, Orsay cedex, France'], 'affiliations': [{'raw_affiliation_string': 'University of Paris-Sud, Orsay cedex, France', 'institution_ids': ['https://openalex.org/I102197404']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5026411773', 'display_name': 'Christian Gresse', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I12449238', 'display_name': "Université d'Orléans", 'ror': 'https://ror.org/014zrew76', 'country_code': 'FR', 'type': 'education', 'lineage': ['https://openalex.org/I12449238']}], 'countries': ['FR'], 'is_corresponding': False, 'raw_author_name': 'C. Gresse', 'raw_affiliation_strings': ['University of Orléans, Orléans Cedex, France#TAB#'], 'affiliations': [{'raw_affiliation_string': 'University of Orléans, Orléans Cedex, France#TAB#', 'institution_ids': ['https://openalex.org/I12449238']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5030666663', 'display_name': 'G. Guiho', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210102085', 'display_name': "Laboratoire d'Électrotechnique et d'Électronique de Puissance de Lille", 'ror': 'https://ror.org/0186z1m53', 'country_code': 'FR', 'type': 'facility', 'lineage': ['https://openalex.org/I190752583', 'https://openalex.org/I190861549', 'https://openalex.org/I2279609970', 'https://openalex.org/I3132096951', 'https://openalex.org/I4210102085', 'https://openalex.org/I4210134562', 'https://openalex.org/I7454413']}], 'countries': ['FR'], 'is_corresponding': False, 'raw_author_name': 'G. Guiho', 'raw_affiliation_strings': ["Compagnie Ge´ne´rale d'Electricite´, Marcoussis, France#TAB#"], 'affiliations': [{'raw_affiliation_string': "Compagnie Ge´ne´rale d'Electricite´, Marcoussis, France#TAB#", 'institution_ids': ['https://openalex.org/I4210102085']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 5, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 1.166, 'has_fulltext': False, 'cited_by_count': 8, 'citation_normalized_percentile': {'value': 0.514286, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 77, 'max': 78}, 'biblio': {'volume': None, 'issue': None, 'first_page': '18', 'last_page': '29'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10639', 'display_name': 'Advanced Software Engineering Methodologies', 'score': 0.9999, '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/T10639', 'display_name': 'Advanced Software Engineering Methodologies', 'score': 0.9999, '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.9996, '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/T12423', 'display_name': 'Software Reliability and Analysis Research', 'score': 0.9994, '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'}}], 'keywords': [{'id': 'https://openalex.org/keywords/algebraic-specification', 'display_name': 'Algebraic specification', 'score': 0.7410799}, {'id': 'https://openalex.org/keywords/programming-language-specification', 'display_name': 'Programming language specification', 'score': 0.71962845}, {'id': 'https://openalex.org/keywords/refinement', 'display_name': 'Refinement', 'score': 0.48598704}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.7928417}, {'id': 'https://openalex.org/C201677973', 'wikidata': 'https://www.wikidata.org/wiki/Q1209840', 'display_name': 'Specification language', 'level': 2, 'score': 0.7710574}, {'id': 'https://openalex.org/C2777691520', 'wikidata': 'https://www.wikidata.org/wiki/Q4724019', 'display_name': 'Algebraic specification', 'level': 3, 'score': 0.7410799}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.73706555}, {'id': 'https://openalex.org/C116253237', 'wikidata': 'https://www.wikidata.org/wiki/Q1437424', 'display_name': 'Formal specification', 'level': 2, 'score': 0.7206571}, {'id': 'https://openalex.org/C15077461', 'wikidata': 'https://www.wikidata.org/wiki/Q7248507', 'display_name': 'Programming language specification', 'level': 5, 'score': 0.71962845}, {'id': 'https://openalex.org/C90069079', 'wikidata': 'https://www.wikidata.org/wiki/Q1805432', 'display_name': 'Language Of Temporal Ordering Specification', 'level': 3, 'score': 0.6895247}, {'id': 'https://openalex.org/C75606506', 'wikidata': 'https://www.wikidata.org/wiki/Q1049183', 'display_name': 'Formal methods', 'level': 2, 'score': 0.6117592}, {'id': 'https://openalex.org/C14331664', 'wikidata': 'https://www.wikidata.org/wiki/Q3417382', 'display_name': 'Refinement', 'level': 3, 'score': 0.48598704}, {'id': 'https://openalex.org/C98045186', 'wikidata': 'https://www.wikidata.org/wiki/Q205663', 'display_name': 'Process (computing)', 'level': 2, 'score': 0.48424312}, {'id': 'https://openalex.org/C9376300', 'wikidata': 'https://www.wikidata.org/wiki/Q168817', 'display_name': 'Algebraic number', 'level': 2, 'score': 0.45621386}, {'id': 'https://openalex.org/C146072743', 'wikidata': 'https://www.wikidata.org/wiki/Q192161', 'display_name': 'Formal language', 'level': 2, 'score': 0.44557077}, {'id': 'https://openalex.org/C115903868', 'wikidata': 'https://www.wikidata.org/wiki/Q80993', 'display_name': 'Software engineering', 'level': 1, 'score': 0.38193208}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.0708732}, {'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/C50033165', 'wikidata': 'https://www.wikidata.org/wiki/Q15712089', 'display_name': 'Inductive programming', 'level': 3, 'score': 0.0}, {'id': 'https://openalex.org/C119263510', 'wikidata': 'https://www.wikidata.org/wiki/Q7248501', 'display_name': 'Programming domain', 'level': 4, 'score': 0.0}, {'id': 'https://openalex.org/C34165917', 'wikidata': 'https://www.wikidata.org/wiki/Q188267', 'display_name': 'Programming paradigm', 'level': 2, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.5555/800054.801946', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 10, 'referenced_works': ['https://openalex.org/W1490422498', 'https://openalex.org/W1496607686', 'https://openalex.org/W1538991291', 'https://openalex.org/W1549434492', 'https://openalex.org/W1586272280', 'https://openalex.org/W1771169222', 'https://openalex.org/W2039314417', 'https://openalex.org/W2069746600', 'https://openalex.org/W2109798037', 'https://openalex.org/W35310721'], 'related_works': ['https://openalex.org/W2606265537', 'https://openalex.org/W2545610616', 'https://openalex.org/W2354111879', 'https://openalex.org/W2325262602', 'https://openalex.org/W2166768964', 'https://openalex.org/W2162581636', 'https://openalex.org/W2141730086', 'https://openalex.org/W2103378296', 'https://openalex.org/W2094642588', 'https://openalex.org/W2092207455', 'https://openalex.org/W2024253113', 'https://openalex.org/W2024024272', 'https://openalex.org/W2009068123', 'https://openalex.org/W1980295870', 'https://openalex.org/W1801366570', 'https://openalex.org/W1595274322', 'https://openalex.org/W1592887751', 'https://openalex.org/W1510923468', 'https://openalex.org/W1494306577', 'https://openalex.org/W1484068637'], 'abstract_inverted_index': {'We': [0], 'present': [1], 'an': [2, 17], 'algebraic': [3, 18], 'specification': [4, 19, 69], 'language': [5], '(PLUSS)': [6], 'and': [7, 55, 71], 'a': [8, 31, 36], 'program': [9, 74], 'construction': [10], 'method.': [11], 'Programs': [12], 'are': [13], 'built': [14], 'systematically': [15], 'from': [16], 'of': [20, 35], 'the': [21, 50, 68, 73], 'data': [22], 'they': [23], 'deal': [24], 'with.': [25], 'The': [26], 'method': [27], 'was': [28, 49], 'tested': [29], 'on': [30], 'realistic': [32], 'problem': [33, 66], '(part': [34], 'telephone': [37], 'switching': [38], 'system).': [39], 'In': [40], 'these': [41], 'experiments,': [42], 'it': [43], 'turned': [44], 'out': [45], 'that': [46], 'error': [47], 'handling': [48], 'difficult': [51], 'part': [52], 'to': [53, 56, 62], 'specify': [54], 'program.': [57], 'This': [58], 'paper': [59], 'shows': [60], 'how': [61], 'cope': [63], 'with': [64], 'this': [65], 'at': [67], 'level': [70], 'during': [72], 'development': [75], 'process.': [76]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2071986313', 'counts_by_year': [], 'updated_date': '2024-12-11T05:17:17.159759', 'created_date': '2016-06-24'}