Веб-сервис, веб-служба
(web service) вид программного обеспечения, предоставляющего свою функциональность клиентам на уровне программных интерфейсов, построенных на базе HTTP протокола.
Аксиоматическая семантика
Предмет
Программирование
👍 Проверено
Автор24
логические формулы, которые определяют («аксиоматизируют») определенные свойства программ.
Научные статьи на тему «Аксиоматическая семантика»
Понятие семантики в информатике
Можно выделить следующие типы операционной семантики:
Семантика аксиоматическая....
Семантика денотации....
Семантика интерпретаций....
Семантика трансляций....
Семантика трансформации.
Статья от экспертов
Аксиоматическая семантика подмножества языка Cloud Sisal для верификации программ инженерной математики
Creative Commons
Научный журнал
Модальная логика
Аксиоматическую точность модальной логике придал К. И. Льюис в первой половине XX века....
Изначально у льюисовских модальных систем не было точной семантики; более того, они не были конечно-значными...
Во второй половине XX века удалось найти для модальных систем адекватные алгебраические семантики, позволившие...
Практически для любой модальной системы существует адекватная алгебраическая семантика, но она может
Статья от экспертов
Семантика типов данных функционально-потокового языка параллельного программирования Пифагор
Работа посвящена описанию семантики типов данных для функционально-потокового языка параллельного программирования Пифагор. Рассматривается два вида семантики: математическая семантика на основе неформальной теории множеств и аксиоматическая семантика
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Восстанавливаемость программного обеспечения
свойство, характеризующее возможность приспосабливаться к обнаружению ошибок и их устранению.
Синхронные аппаратные прерывания, исключения (exceptions)
генерируются процессором в некоторых условиях; например, при попытке деления на ноль; они называются синхронными, потому что вызываются работой процессора.
- Семантика
- Аксиоматический метод
- Аксиоматическое определение
- Картографическая семантика
- Семантика топонима
- Денотационная семантика
- Операционная семантика
- Функциональная семантика
- Культурная семантика
- Семантика логическая
- Семантика синтаксиса
- Когнитивная семантика
- Порождающая семантика
- Процедурная семантика
- Фреймовая семантика
- Формальная аксиоматическая система (формальная система)
- Структура предложения семантико-грамматическая
- Структура предложения семантико-синтаксическая
- Семантико-семиотическая модель перевода
- Семантическая информация (семантика) объекта цифровой топографической карты
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек