Abstraction over implementation structure with symmetrically encapsulated multimethods
From MaRDI portal
Publication:2442958
DOI10.1016/j.scico.2012.12.007zbMath1284.68190OpenAlexW2027261723MaRDI QIDQ2442958
Publication date: 2 April 2014
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2012.12.007
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
This page was built for publication: Abstraction over implementation structure with symmetrically encapsulated multimethods