Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors-Reference-Cited by-同舟云学术

Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors

Published:1986 Issue: Volume:46 Page:13-45
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Bernot Gilles,Bidoit Michel,Choppy Christine

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference21 articles.

1. Initial models of algebraic specifications with exception handling;Bernot;Rept. LRI 201,1984

2. Abstract implementations and correctness proofs;Bernot,1986

3. Implémentations de types abstraits algébriques en présence d'exceptions;Bernot,1984

4. Une sémantique algébrique pour une spécification différenciée des exceptions et des erreurs: application à l'implémentation et aux primitives de structuration des spécification formelles;Bernot,1986

5. Spécification des cas d'exceptions dans les types abstraits algébriques: problèmes et perspectives;Bidoit;Rept. LRI 146,1983

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A general approach to define binders using matching logic;Proceedings of the ACM on Programming Languages;2020-08-02

2. Exact Exploration and Hanging Algorithms;Computer Science Logic;2010

3. Label algebras and exception handling;Science of Computer Programming;1994-12

4. Bounded implementation of algebraic specifications;Recent Trends in Data Type Specification;1993

5. Label algebras: A systematic use of terms;Recent Trends in Data Type Specification;1993