Leszczylowski, Jacek; Wirsing, Martin Polymorphism, parametrization and typing: An algebraic specification perspective. (English) Zbl 0788.68098 Theoretical aspects of computer science, Proc. 8th Annu. Symp., STACS ’91, Hamburg/Ger. 1991, Lect. Notes Comput. Sci. 480, 1-15 (1991). MSC: 68Q65 68N01 68P05 PDFBibTeX XMLCite \textit{J. Leszczylowski} and \textit{M. Wirsing}, Lect. Notes Comput. Sci. 480, 1--15 (1991; Zbl 0788.68098)
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin Algebraic specifications of reachable higher-order algebras. (English) Zbl 0659.68027 Recent trends in data type specification. Specification of abstract data types, Sel. Pap. 5th Workshop, Gullane/UK 1987, Lect. Notes Comput. Sci. 332, 154-169 (1988). MSC: 68P05 08C05 68Q65 PDFBibTeX XML
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin Algebraic specification with built-in domain constructions. (English) Zbl 0645.68027 Trees in algebra and programming, Proc. 13th Colloq. CAAP, Nancy/France 1988, Lect. Notes Comput. Sci. 299, 132-148 (1988). MSC: 68P05 68Q65 08C05 PDFBibTeX XML
Bauer, F. L.; Wirsing, M. Crypt-equivalent algebraic specifications. (English) Zbl 0632.68024 Acta Inf. 25, No. 2, 111-153 (1988). MSC: 68P05 PDFBibTeX XMLCite \textit{F. L. Bauer} and \textit{M. Wirsing}, Acta Inf. 25, No. 2, 111--153 (1988; Zbl 0632.68024) Full Text: DOI
Broy, Manfred; Wirsing, Martin; Pepper, Peter On the algebraic definition of programming languages. (English) Zbl 0627.68009 ACM Trans. Program. Lang. Syst. 9, 54-99 (1987). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{M. Broy} et al., ACM Trans. Program. Lang. Syst. 9, 54--99 (1987; Zbl 0627.68009) Full Text: DOI Link
Tarlecki, Andrzej; Wirsing, Martin Continuous abstract data types. (English) Zbl 0624.68024 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 9, 95-125 (1986). Reviewer: G.Grigas MSC: 68P05 PDFBibTeX XMLCite \textit{A. Tarlecki} and \textit{M. Wirsing}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 9, 95--125 (1986; Zbl 0624.68024)
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
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin Algebraic implementations preserve program correctness. (English) Zbl 0597.68021 Sci. Comput. Program. 7, 35-53 (1986). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{M. Broy} et al., Sci. Comput. Program. 7, 35--53 (1986; Zbl 0597.68021) Full Text: DOI
Wirsing, Martin Denotational semantics of algebraic specification languages. (English) Zbl 0594.68015 Formal models in programming, Proc. IFIP TC2 Working Conf., Vienna/Austria 1985, 259-283 (1986). MSC: 68P05 PDFBibTeX XML
Hennicker, Rolf; Wirsing, Martin Observational specification: A Birkhoff-theorem. (English) Zbl 0584.68039 Recent trends in data type specification, 3rd Workshop on theory and applications of abstract data types, Bremen/Ger. 1984, Inf.-Fachber. 116, 119-135 (1985). Reviewer: V.Calmatuianu MSC: 68P05 PDFBibTeX XML
Tarlecki, Andrzej; Wirsing, Martin Continuous abstract data types: basic machinery and results. (English) Zbl 0571.68014 Fundamentals of computation theory, Proc. 5th Int. Conf., Cottbus/Ger. 1985, Lect. Notes Comput. Sci. 199, 431-441 (1985). MSC: 68P05 PDFBibTeX XML
Astesiano, E.; Mascari, G. F.; Reggio, G.; Wirsing, M. On the parameterized algebraic specification of concurrent systems. (English) Zbl 0563.68018 Mathematical foundations of software development, Proc. Int. Conf., Berlin 1985, Vol. 1: Colloq. Trees in algera and programming, Lect. Notes Comput. Sci. 185, 342-358 (1985). MSC: 68P05 68N25 PDFBibTeX XML
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
Sannella, Donald; Wirsing, Martin A kernel language for algebraic specification and implementation. Extended abstract. (English) Zbl 0517.68043 Foundations of computation theory, Proc. int. FCT-Conf., Borgholm/ Swed. 1983, Lect. Notes Comput. Sci. 158, 413-427 (1983). MSC: 68P05 PDFBibTeX XML
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
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred On hierarchies of abstract data types. (English) Zbl 0513.68015 Acta Inf. 20, 1-33 (1983). MSC: 68P05 PDFBibTeX XMLCite \textit{M. Wirsing} et al., Acta Inf. 20, 1--33 (1983; Zbl 0513.68015) Full Text: DOI
Broy, Manfred; Wirsing, Martin On the algebraic specification of finitary infinite communicating sequential processes. (English) Zbl 0512.68021 Formal description of programming concepts II, Proc. IFIP Conf., Garmisch-Partenkirchen 1982, 171-198 (1983). MSC: 68P05 68N25 PDFBibTeX XML
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred On hierarchies of abstract data types. (English) Zbl 0506.68024 TUM, Inst. Inf. TUM-I8303, 54 p. (1983). MSC: 68P05 PDFBibTeX XML
Wirsing, Martin Structured algebraic specifications. (English) Zbl 0514.68024 Les mathematiques de l’informatique, AFCET Colloq., Paris 1982, 93-107 (1982). MSC: 68P05 68Q60 68N01 03B40 PDFBibTeX XML
Wirsing, Martin; Broy, Manfred An analysis of semantic models for algebraic specifications. (English) Zbl 0508.68006 Theoretical foundations of programming methodology, Lect. Notes int. Summer Sch., Marktoberdorf/Ger. 1981, NATO Adv. Study Inst. Ser., C, Math. Phys. Sci. 91, 351-413 (1982). MSC: 68P05 PDFBibTeX XML
Leszczylowski, Jacek; Wirsing, Martin A system for reasoning within and about algebraic specifications. (English) Zbl 0496.68016 Programming, Proc. int. Symp., 5th Colloq., Turin 1982, Lect. Notes Comput. Sci. 137, 257-282 (1982). MSC: 68Q60 68P05 PDFBibTeX XML
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
Sannella, Donald; Wirsing, Martin Implementation of parameterised specifications (extended abstract). (English) Zbl 0492.68023 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 473-488 (1982). MSC: 68P05 68N01 68Q60 PDFBibTeX XML
Pepper, P.; Broy, M.; Bauer, F. L.; Partsch, H.; Dosch, W.; Wirsing, M. Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. (German) Zbl 0488.68024 Inf.-Spektrum 5, 107-119 (1982). MSC: 68P05 PDFBibTeX XML
Broy, Manfred; Wirsing, Martin On the algebraic extensions of abstract data types. (English) Zbl 0492.68024 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 244-251 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Broy, M.; Dosch, W.; Moeller, B.; Wirsing, M. GOTOs - A study in the algebraic specification of programming languages. (Extended abstract). (English) Zbl 0481.68028 GI - 11. Jahrestag., 3rd Conf. Eur. Co-op. Inf., München 1981, Inf.- Fachber. 50. 109-121 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H. Programming in a wide spectrum language: A collection of examples. (English) Zbl 0469.68003 Sci. Comput. Program. 1, 73-114 (1981). MSC: 68N01 68Q60 68P05 PDFBibTeX XMLCite \textit{F. L. Bauer} et al., Sci. Comput. Program. 1, 73--114 (1981; Zbl 0469.68003) Full Text: DOI
Bergstra, J. A.; Broy, M.; Tucker, J. V.; Wirsing, M. On the power of algebraic specifications. (English) Zbl 0462.68001 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 193-204 (1981). MSC: 68N01 68P05 PDFBibTeX XML
Wirsing, M.; Broy, M. Abstract data types as lattices of finitely generated models. (English) Zbl 0441.68014 Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 673-685 (1980). MSC: 68P05 PDFBibTeX XML
Broy, M.; Wirsing, M. Programming languages as abstract data types. (English) Zbl 0433.68014 Les arbres en algebre et en programmation, 5ieme Colloq., Lille 1980, 160-177 (1980). MSC: 68Q60 68P05 68N01 PDFBibTeX XML
Broy, M.; Gnatz, R.; Wirsing, M. Problemspezifikation - eine Grundlage für Programmentwicklung. (German) Zbl 0407.68005 Workshop on reliable software, 2nd Meet. Ger. Chapter ACM, Bonn 1978, Appl. Comput. Sci., Ber. Prakt. Inf. 14, 235-246 (1979). MSC: 68N01 68P05 68Q65 PDFBibTeX XML
Broy, M.; Wirsing, M.; Finance, J. P.; Quere, A.; Remy, J. L. Methodical solution of the problem of ascending subsequences of maximum length within a given sequence. (English) Zbl 0406.68012 Inf. Process. Lett. 8, 224-229 (1979). MSC: 68Q60 68N01 68P05 68W99 03D20 PDFBibTeX XMLCite \textit{M. Broy} et al., Inf. Process. Lett. 8, 224--229 (1979; Zbl 0406.68012) Full Text: DOI
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M. Existential quantifiers in abstract data types. (English) Zbl 0404.68026 Automata, languages and programming, 6th Colloq., Graz 1979, Lect. Notes Comput. Sci. 71, 73-87 (1979). MSC: 68P05 PDFBibTeX XML