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: Ошевская, Е.С,
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: Нікітченко, М.С., 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: Погорілий, С.Д., et al.
Published: (2004)
by: Погорілий, С.Д., et al.
Published: (2004)
Экспликативный базис интеграционных сред
by: Редько, И.В.
Published: (2004)
by: Редько, И.В.
Published: (2004)
Коалгебраическое исследование бисимуляционных паралельных процессов
by: Антонцева, М.Ф.
Published: (2004)
by: Антонцева, М.Ф.
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: Булавенко, О.Н., 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: Яценко, Е.А., et al.
Published: (2004)
by: Яценко, Е.А., et al.
Published: (2004)
Подход к созданию комплексной учебной программы для подготовки ИТ-менеджеров
by: Лаврищева, Е.М., et al.
Published: (2004)
by: Лаврищева, Е.М., et al.
Published: (2004)
Узагальнена композиційна модель символьної обробки
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: Грищенко, В.Н.
Published: (2003)
by: Грищенко, В.Н.
Published: (2003)
Аксиоматические модели и методы проектирования языковых трансляторов
by: Парасюк, И.Н., et al.
Published: (2003)
by: Парасюк, И.Н., et al.
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: Редько, И.В.
Published: (2003)
by: Редько, И.В.
Published: (2003)
Clarification of the basic concepts of programming for a virtual process
by: Yu. V. Koval
Published: (2018)
by: Yu. V. Koval
Published: (2018)
Синонимия имени существительного в турецком языке
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)