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...
Saved in:
| Date: | 2004 |
|---|---|
| Main Author: | Kollar, Jan |
| Format: | Article |
| Language: | English |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1341 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | The Conception and Application of PFL: a Process Functional Programming Language / Jan Kollar // Проблеми програмування. — 2004. — N 1. — С. 5-23. — Бібліогр.: 31 назв. —англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2003)
by: Bača, J., et al.
Published: (2003)
Система символьных вычислений для программирования динамических приложений
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
Принципы разработки тезауруса по проблемам сохранности документов
by: Пименов, Е.Н., et al.
Published: (2000)
by: Пименов, Е.Н., et al.
Published: (2000)
Smart visual 3D+ polyglot-concept of programming without programming languages
by: I. V. Velbitskij
Published: (2017)
by: I. V. Velbitskij
Published: (2017)
Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)
by: Goerigk, Wolfgang, et al.
Published: (2003)
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)
by: Goerigk, Wolfgang, et al.
Published: (2003)
Теоретико-категорная характеризация развертки временных сетей Петри
by: Дубцов, Р.С.
Published: (2004)
by: Дубцов, Р.С.
Published: (2004)
Концепція діалогових обчислень та деякі проблеми автоматизації програмування
by: Петрушенко, А.М., et al.
Published: (2004)
by: Петрушенко, А.М., et al.
Published: (2004)
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
by: Панченко, Т.В.
Published: (2004)
by: Панченко, Т.В.
Published: (2004)
Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
by: Теленик, С.Ф., et al.
Published: (2004)
by: Теленик, С.Ф., et al.
Published: (2004)
Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
by: Булавенко, О.Н., et al.
Published: (2004)
by: Булавенко, О.Н., et al.
Published: (2004)
Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
by: Манако, А.Ф.
Published: (2004)
by: Манако, А.Ф.
Published: (2004)
Застосування принципів ТЕІ до кодування текстових корпусних данних
by: Демська-Кульчицька, О.
Published: (2004)
by: Демська-Кульчицька, О.
Published: (2004)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
by: Грибовская, Н.С.
Published: (2004)
by: Грибовская, Н.С.
Published: (2004)
Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
by: Глибовець, М.М., et al.
Published: (2004)
by: Глибовець, М.М., et al.
Published: (2004)
Коалгебраическое исследование бисимуляционных паралельных процессов
by: Антонцева, М.Ф.
Published: (2004)
by: Антонцева, М.Ф.
Published: (2004)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Структурированные семантические сети в распределенной разработке многоязыковых словарей
by: Кульчицький, Б.Н., et al.
Published: (2004)
by: Кульчицький, Б.Н., et al.
Published: (2004)
Синтезаторы речи с MS SAPI интерфейсом для скринридеров
by: Юсим, Г.В.
Published: (2004)
by: Юсим, Г.В.
Published: (2004)
Экспликативный базис интеграционных сред
by: Редько, И.В.
Published: (2004)
by: Редько, И.В.
Published: (2004)
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
by: Погорілий, С.Д., et al.
Published: (2004)
by: Погорілий, С.Д., et al.
Published: (2004)
Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004)
by: Ошевская, Е.С,
Published: (2004)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
by: Крывый, С.Л., et al.
Published: (2003)
by: Крывый, С.Л., et al.
Published: (2003)
Формальные модели компонентного программирования
by: Грищенко, В.Н.
Published: (2003)
by: Грищенко, В.Н.
Published: (2003)
Узагальнена композиційна модель символьної обробки
by: Винник, В.Ю.
Published: (2003)
by: Винник, В.Ю.
Published: (2003)
Процесологічні середовища моделювання
by: Редько, И.В.
Published: (2003)
by: Редько, И.В.
Published: (2003)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Композиційні логіки номінативних даних
by: Нікітченко, М.С., et al.
Published: (2003)
by: Нікітченко, М.С., et al.
Published: (2003)
Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
by: Максимей, И.В., et al.
Published: (2003)
by: Максимей, И.В., et al.
Published: (2003)
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
Аксиоматические модели и методы проектирования языковых трансляторов
by: Парасюк, И.Н., et al.
Published: (2003)
by: Парасюк, И.Н., et al.
Published: (2003)
О возможных основаниях немонотонного дедуктивного синтеза программ
by: Приходько, П.П.
Published: (2003)
by: Приходько, П.П.
Published: (2003)
Українсько-турецька лексична омонімія у функціонально-семантичному аспекті
by: Юзвяк, І.П.
Published: (2011)
by: Юзвяк, І.П.
Published: (2011)
Классификация глагольных фразеологизмов арабского языка
by: Бекиров, Р.А.
Published: (2011)
by: Бекиров, Р.А.
Published: (2011)
Теоретические предпосылки изучения проблемы переводческих трансформаций (на материале русских и турецких параллельных текстов романа Ф.М. Достоевского «Преступление и наказание»)
by: Гванцеладзе, А.Н.
Published: (2011)
by: Гванцеладзе, А.Н.
Published: (2011)
О классификации глаголов действия в тюркских языках
by: Ширалиева, Ш.О.
Published: (2011)
by: Ширалиева, Ш.О.
Published: (2011)
Категория падежа в автоматическом переводе (на материале русского, украинского, турецкого и арабского языков)
by: Шеремет, В.В.
Published: (2011)
by: Шеремет, В.В.
Published: (2011)
Роль и виды мотивации в изучении турецкого языка
by: Меметов, И.А.
Published: (2011)
by: Меметов, И.А.
Published: (2011)
Соціолінгвістичні фактори в історії японських діалектів і їх вплив на формування літературної мови
by: Батюк, І.Ю.
Published: (2011)
by: Батюк, І.Ю.
Published: (2011)
Синонимия имени существительного в турецком языке
by: Челебиев, Д.Э.
Published: (2011)
by: Челебиев, Д.Э.
Published: (2011)
Similar Items
-
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2003) -
Система символьных вычислений для программирования динамических приложений
by: Дорошенко, А.Е., et al.
Published: (2003) -
Принципы разработки тезауруса по проблемам сохранности документов
by: Пименов, Е.Н., et al.
Published: (2000) -
Smart visual 3D+ polyglot-concept of programming without programming languages
by: I. V. Velbitskij
Published: (2017) -
Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)