Категоріальна абстрактна машина

Категоріальна абстрактна машина (categorical abstract machine) — це модель обчислення програми, в якій спостерегаються особливості апплікативного, функціонального або композиційного стиля.

Використовуй ШІ

Зміст

1. 1 ставлення: Categorical Abstract Machine Language.

2. Моделі обчислень

Categorical Abstract Machine Language

Caml (скорочення від Categorical Abstract Machine Language) — діалект мови програмування ML, розроблений в INRIA та ENS. Як і всі діалекти ML, Caml є мовою програмування зі статичною типізацією, строгим порядком обчислень, та використовує автоматичне керування пам'ятю.

Переглянути Категоріальна абстрактна машина і Categorical Abstract Machine Language

Див. також

Моделі обчислень

• URISC
• Автомат Мілі
• Автомат з магазинною пам'яттю
• Агентне моделювання
• Багатопотокове оброблення даних
• Біноміальна модель оцінювання опціонів
• ДНК-комп'ютер
• Денотаційна семантика
• Діаграма станів автомата
• Категоріальна абстрактна машина
• Лямбда-числення
• Машина Зенона
• Машина Поста
• Машина Тюрінга
• Машина з натуральнозначними регістрами
• Мережа процесів Кана
• Мережі Петрі
• Модель дерева рішень
• Модель обчислення
• Модель станів і переходів
• Модифікації машини Тюрінга
• Нормальні алгоритми
• Паралельна машина з довільним доступом
• Персистентність
• Фотонний комп'ютер
• Числення Поста

Юніонпедія є ментальна карта, концепція карта, або семантична мережа організована як енциклопедія або словник. Це дає коротке визначення кожному поняттю і його відносин.

Це гігантська онлайн ментальної карти, яка служить в якості основи для концепції діаграм. Це вільно використовувати і кожна стаття або документ може бути завантажений. Це інструмент, ресурс або заслання для вивчення, дослідження, освіта, навчання або викладання, які можуть бути використані вчителями, педагогами, учнями та студентами; для академічного світу: для школи, початкової, середньої, середній школі, коледжі, посеред, технічної ступеня, коледж, університет, студентів, магістрів або докторські ступені; для паперів, звітів, проектів, ідей, документації, опитувань, резюме, або дисертації. Ось визначення, пояснення, опис, або сенс кожного значним, на якому вам потрібна інформація, а також список пов'язаних з ними понять, як глосарій. Доступна на Український, англійська, іспанська, португальська, японська, китайська, французька, німецька, італійська, польська, голландська, російська, арабська, гінді, шведська, угорська, каталонська, чеська, іврит, датський, фінський, індонезійська, норвезький, румунський, турецька, в'єтнамський, корейська, тайська, грецька, болгарський, хорватська, словацька, литовський, філіппінський, латвійська, естонії і словенії. Інші мови найближчим часом.

Інформація базується на статтях Вікіпедії та інших проєктах Вікімедіа і доступна за ліцензією Creative Commons Attribution-ShareAlike.

Юніонпедія не схвалена Фондом Вікімедіа та не пов’язана з ним.

Google Play, Android і логотип Google Play є торговельними марками корпорації Google Inc.

Політика конфіденційності