Формальні моделі в об’єктно-орієнтованій парадигмі

Date

2002-03-26

Journal Title

Journal ISSN

Volume Title

Publisher

Видавництво Національного університету “Львівська політехніка”

Abstract

Наведено спробу формалізації семантики об'єктно-орієнтовної парадигми засобами перетворювачів предикатів, багатовимірного простору, простору станів обчислювань.
Attempt to formalize semantics of object-oriented paradigm is given. There are used predicate transformers, multidimensional spaces, spaces of states.

Description

Keywords

Citation

Ковальов С. О. Формальні моделі в об’єктно-орієнтованій парадигмі / С. О. Ковальов // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2002. — № 464 : Інформаційні системи та мережі. — С. 147–158.