Algebraic and operational semantics of specifications allowing exceptions and errors-Reference-Cited by-同舟云学术

Algebraic and operational semantics of specifications allowing exceptions and errors

Author:

Gogolla M.,Drosten K.,Lipeck U.,Ehrich H.-D.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference16 articles.

1. An initial algebra approach to the specification, correctness and implementation of abstract data types;Goguen,1978

2. Exception handling and data abstraction;Black;IBM Res. Rept. RC 8059,1980

4. Parameter passing in algebraic specification languages;Ehrig;Theoret. Comput. Sci.,1984

5. Handling errors and exceptions in the algebraic specification of data types;Engles,1981

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

1. Automated Synthesis of Software Contracts with KindSpec;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

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

3. My ADT Shrine;Recent Trends in Algebraic Development Techniques;2012