Lievens, David; Harrison, William Abstraction over implementation structure with symmetrically encapsulated multimethods. (English) Zbl 1284.68190 Sci. Comput. Program. 78, No. 7, 953-968 (2013). MSC: 68N30 68N19 68Q60 PDFBibTeX XMLCite \textit{D. Lievens} and \textit{W. Harrison}, Sci. Comput. Program. 78, No. 7, 953--968 (2013; Zbl 1284.68190) Full Text: DOI
Ahrendt, Wolfgang; Dylla, Maximilian A system for compositional verification of asynchronous objects. (English) Zbl 1264.68050 Sci. Comput. Program. 77, No. 12, 1289-1309 (2012). MSC: 68N30 68N19 68Q55 PDFBibTeX XMLCite \textit{W. Ahrendt} and \textit{M. Dylla}, Sci. Comput. Program. 77, No. 12, 1289--1309 (2012; Zbl 1264.68050) Full Text: DOI
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin Incremental reasoning with lazy behavioral subtyping for multiple inheritance. (English) Zbl 1221.68058 Sci. Comput. Program. 76, No. 10, 915-941 (2011). MSC: 68N19 PDFBibTeX XMLCite \textit{J. Dovland} et al., Sci. Comput. Program. 76, No. 10, 915--941 (2011; Zbl 1221.68058) Full Text: DOI