Behavioral institutions and refinements in generalized hidden logics
We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract algebraic logic theory of hidden heterogeneous deductive systems (called hidden k-logics) to the algebraic specification of ob...
| Main Author: | |
|---|---|
| Format: | article |
| Language: | eng |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10773/5548 |
| Country: | Portugal |
| Oai: | oai:ria.ua.pt:10773/5548 |