Poigné, Axel; Voss, Josef On the implementation of abstract data types by programming language constructs. (English) Zbl 0619.68025 J. Comput. Syst. Sci. 34, 340-376 (1987). MSC: 68P05 PDFBibTeX XMLCite \textit{A. Poigné} and \textit{J. Voss}, J. Comput. Syst. Sci. 34, 340--376 (1987; Zbl 0619.68025) Full Text: DOI
Bernot, Gilles; Bidoit, Michel; Choppy, Christine Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors. (English) Zbl 0603.68015 Theor. Comput. Sci. 46, 13-45 (1986). MSC: 68P05 PDFBibTeX XMLCite \textit{G. Bernot} et al., Theor. Comput. Sci. 46, 13--45 (1986; Zbl 0603.68015) Full Text: DOI
Broy, Manfred A theory for nondeterminism, parallelism, communication, and concurrency. (English) Zbl 0601.68022 Theor. Comput. Sci. 45, 1-61 (1986). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{M. Broy}, Theor. Comput. Sci. 45, 1--61 (1986; Zbl 0601.68022) Full Text: DOI
Wirsing, Martin Structured algebraic specifications: A kernel language. (English) Zbl 0599.68021 Theor. Comput. Sci. 42, 123-249 (1986). MSC: 68P05 PDFBibTeX XMLCite \textit{M. Wirsing}, Theor. Comput. Sci. 42, 123--249 (1986; Zbl 0599.68021) Full Text: DOI
Mascari, Gianfranco; Venturini Zilli, Marisa While-programs with nondeterministic assignments and the logic ALNA. (English) Zbl 0603.68032 Theor. Comput. Sci. 40, 211-235 (1985). MSC: 68Q65 03B70 68Q60 PDFBibTeX XMLCite \textit{G. Mascari} and \textit{M. Venturini Zilli}, Theor. Comput. Sci. 40, 211--235 (1985; Zbl 0603.68032) Full Text: DOI
Broy, M.; Wirsing, M.; Pair, C. A systematic study of models of abstract data types. (English) Zbl 0552.68010 Theor. Comput. Sci. 33, 139-174 (1984). MSC: 68P05 PDFBibTeX XMLCite \textit{M. Broy} et al., Theor. Comput. Sci. 33, 139--174 (1984; Zbl 0552.68010) Full Text: DOI
Klaeren, Herbert A. A constructive method for abstract algebraic software specification. (English) Zbl 0544.68016 Theor. Comput. Sci. 30, 139-204 (1984). MSC: 68P05 PDFBibTeX XMLCite \textit{H. A. Klaeren}, Theor. Comput. Sci. 30, 139--204 (1984; Zbl 0544.68016) Full Text: DOI
Broy, Manfred; Wirsing, Martin Algebraic definition of a functional programming language and its semantic models. (English) Zbl 0515.68017 RAIRO, Inf. Théor. 17, 137-161 (1983). MSC: 68P05 68N01 PDFBibTeX XMLCite \textit{M. Broy} and \textit{M. Wirsing}, RAIRO, Inf. Théor. 17, 137--161 (1983; Zbl 0515.68017) Full Text: EuDML
Pair, C. Abstract data types and algebraic semantics of programming languages. (English) Zbl 0499.68010 Theor. Comput. Sci. 18, 1-31 (1982). MSC: 68Q60 68N01 68P05 PDFBibTeX XMLCite \textit{C. Pair}, Theor. Comput. Sci. 18, 1--31 (1982; Zbl 0499.68010) Full Text: DOI
Broy, Manfred; Wirsing, Martin Partial abstract types. (English) Zbl 0494.68020 Acta Inf. 18, 47-64 (1982). MSC: 68P05 PDFBibTeX XMLCite \textit{M. Broy} and \textit{M. Wirsing}, Acta Inf. 18, 47--64 (1982; Zbl 0494.68020) Full Text: DOI