Формальні моделі в об’єктно-орієнтованій парадигмі
Date
2002-03-26
Authors
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.
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.