The Conception and Application of PFL: a Process Functional Programming Language
A new process functional programming paradigm and its application in PFL – a process functional programming language is introduced in the paper. This paradigm is based on affecting the state represented by the values of memory cells strictly by evaluating expressions. Process functional conception p...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/1341 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | The Conception and Application of PFL: a Process Functional Programming Language / Jan Kollar // Проблеми програмування. — 2004. — N 1. — С. 5-23. — Бібліогр.: 31 назв. —англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2003)
за авторством: Bača, J., та інші
Опубліковано: (2003)
Система символьных вычислений для программирования динамических приложений
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)
Принципы разработки тезауруса по проблемам сохранности документов
за авторством: Пименов, Е.Н., та інші
Опубліковано: (2000)
за авторством: Пименов, Е.Н., та інші
Опубліковано: (2000)
Smart visual 3D+ polyglot-concept of programming without programming languages
за авторством: I. V. Velbitskij
Опубліковано: (2017)
за авторством: I. V. Velbitskij
Опубліковано: (2017)
Realistic correct systems implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)
Теоретико-категорная характеризация развертки временных сетей Петри
за авторством: Дубцов, Р.С.
Опубліковано: (2004)
за авторством: Дубцов, Р.С.
Опубліковано: (2004)
Концепція діалогових обчислень та деякі проблеми автоматизації програмування
за авторством: Петрушенко, А.М., та інші
Опубліковано: (2004)
за авторством: Петрушенко, А.М., та інші
Опубліковано: (2004)
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
за авторством: Панченко, Т.В.
Опубліковано: (2004)
за авторством: Панченко, Т.В.
Опубліковано: (2004)
Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2004)
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2004)
Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
за авторством: Булавенко, О.Н., та інші
Опубліковано: (2004)
за авторством: Булавенко, О.Н., та інші
Опубліковано: (2004)
Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
за авторством: Манако, А.Ф.
Опубліковано: (2004)
за авторством: Манако, А.Ф.
Опубліковано: (2004)
Застосування принципів ТЕІ до кодування текстових корпусних данних
за авторством: Демська-Кульчицька, О.
Опубліковано: (2004)
за авторством: Демська-Кульчицька, О.
Опубліковано: (2004)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
за авторством: Грибовская, Н.С.
Опубліковано: (2004)
за авторством: Грибовская, Н.С.
Опубліковано: (2004)
Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
за авторством: Глибовець, М.М., та інші
Опубліковано: (2004)
за авторством: Глибовець, М.М., та інші
Опубліковано: (2004)
Коалгебраическое исследование бисимуляционных паралельных процессов
за авторством: Антонцева, М.Ф.
Опубліковано: (2004)
за авторством: Антонцева, М.Ф.
Опубліковано: (2004)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)
Структурированные семантические сети в распределенной разработке многоязыковых словарей
за авторством: Кульчицький, Б.Н., та інші
Опубліковано: (2004)
за авторством: Кульчицький, Б.Н., та інші
Опубліковано: (2004)
Синтезаторы речи с MS SAPI интерфейсом для скринридеров
за авторством: Юсим, Г.В.
Опубліковано: (2004)
за авторством: Юсим, Г.В.
Опубліковано: (2004)
Экспликативный базис интеграционных сред
за авторством: Редько, И.В.
Опубліковано: (2004)
за авторством: Редько, И.В.
Опубліковано: (2004)
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2004)
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2004)
Об одной геометрической модели временных параллельных процессов
за авторством: Ошевская, Е.С,
Опубліковано: (2004)
за авторством: Ошевская, Е.С,
Опубліковано: (2004)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)
Формальные модели компонентного программирования
за авторством: Грищенко, В.Н.
Опубліковано: (2003)
за авторством: Грищенко, В.Н.
Опубліковано: (2003)
Узагальнена композиційна модель символьної обробки
за авторством: Винник, В.Ю.
Опубліковано: (2003)
за авторством: Винник, В.Ю.
Опубліковано: (2003)
Процесологічні середовища моделювання
за авторством: Редько, И.В.
Опубліковано: (2003)
за авторством: Редько, И.В.
Опубліковано: (2003)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)
Композиційні логіки номінативних даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2003)
Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
за авторством: Максимей, И.В., та інші
Опубліковано: (2003)
за авторством: Максимей, И.В., та інші
Опубліковано: (2003)
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)
Аксиоматические модели и методы проектирования языковых трансляторов
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2003)
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2003)
О возможных основаниях немонотонного дедуктивного синтеза программ
за авторством: Приходько, П.П.
Опубліковано: (2003)
за авторством: Приходько, П.П.
Опубліковано: (2003)
Українсько-турецька лексична омонімія у функціонально-семантичному аспекті
за авторством: Юзвяк, І.П.
Опубліковано: (2011)
за авторством: Юзвяк, І.П.
Опубліковано: (2011)
Классификация глагольных фразеологизмов арабского языка
за авторством: Бекиров, Р.А.
Опубліковано: (2011)
за авторством: Бекиров, Р.А.
Опубліковано: (2011)
Теоретические предпосылки изучения проблемы переводческих трансформаций (на материале русских и турецких параллельных текстов романа Ф.М. Достоевского «Преступление и наказание»)
за авторством: Гванцеладзе, А.Н.
Опубліковано: (2011)
за авторством: Гванцеладзе, А.Н.
Опубліковано: (2011)
О классификации глаголов действия в тюркских языках
за авторством: Ширалиева, Ш.О.
Опубліковано: (2011)
за авторством: Ширалиева, Ш.О.
Опубліковано: (2011)
Категория падежа в автоматическом переводе (на материале русского, украинского, турецкого и арабского языков)
за авторством: Шеремет, В.В.
Опубліковано: (2011)
за авторством: Шеремет, В.В.
Опубліковано: (2011)
Роль и виды мотивации в изучении турецкого языка
за авторством: Меметов, И.А.
Опубліковано: (2011)
за авторством: Меметов, И.А.
Опубліковано: (2011)
Соціолінгвістичні фактори в історії японських діалектів і їх вплив на формування літературної мови
за авторством: Батюк, І.Ю.
Опубліковано: (2011)
за авторством: Батюк, І.Ю.
Опубліковано: (2011)
Синонимия имени существительного в турецком языке
за авторством: Челебиев, Д.Э.
Опубліковано: (2011)
за авторством: Челебиев, Д.Э.
Опубліковано: (2011)