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...
Gespeichert in:
| Datum: | 2004 |
|---|---|
| 1. Verfasser: | Kollar, Jan |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1341 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | 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 UkraineÄhnliche Einträge
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003)
von: Bača, J., et al.
Veröffentlicht: (2003)
Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)
Smart visual 3D+ polyglot-concept of programming without programming languages
von: I. V. Velbitskij
Veröffentlicht: (2017)
von: I. V. Velbitskij
Veröffentlicht: (2017)
Принципы разработки тезауруса по проблемам сохранности документов
von: Пименов, Е.Н., et al.
Veröffentlicht: (2000)
von: Пименов, Е.Н., et al.
Veröffentlicht: (2000)
Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)
Застосування принципів ТЕІ до кодування текстових корпусних данних
von: Демська-Кульчицька, О.
Veröffentlicht: (2004)
von: Демська-Кульчицька, О.
Veröffentlicht: (2004)
Об одной геометрической модели временных параллельных процессов
von: Ошевская, Е.С,
Veröffentlicht: (2004)
von: Ошевская, Е.С,
Veröffentlicht: (2004)
Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
von: Теленик, С.Ф., et al.
Veröffentlicht: (2004)
von: Теленик, С.Ф., et al.
Veröffentlicht: (2004)
Концепція діалогових обчислень та деякі проблеми автоматизації програмування
von: Петрушенко, А.М., et al.
Veröffentlicht: (2004)
von: Петрушенко, А.М., et al.
Veröffentlicht: (2004)
Теоретико-категорная характеризация развертки временных сетей Петри
von: Дубцов, Р.С.
Veröffentlicht: (2004)
von: Дубцов, Р.С.
Veröffentlicht: (2004)
Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
Структурированные семантические сети в распределенной разработке многоязыковых словарей
von: Кульчицький, Б.Н., et al.
Veröffentlicht: (2004)
von: Кульчицький, Б.Н., et al.
Veröffentlicht: (2004)
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
von: Грибовская, Н.С.
Veröffentlicht: (2004)
von: Грибовская, Н.С.
Veröffentlicht: (2004)
Дослідження та створення інструментальних засобів автоматизованої трансформації схем алгоритмів
von: Погорілий, С.Д., et al.
Veröffentlicht: (2004)
von: Погорілий, С.Д., et al.
Veröffentlicht: (2004)
Экспликативный базис интеграционных сред
von: Редько, И.В.
Veröffentlicht: (2004)
von: Редько, И.В.
Veröffentlicht: (2004)
Коалгебраическое исследование бисимуляционных паралельных процессов
von: Антонцева, М.Ф.
Veröffentlicht: (2004)
von: Антонцева, М.Ф.
Veröffentlicht: (2004)
Синтезаторы речи с MS SAPI интерфейсом для скринридеров
von: Юсим, Г.В.
Veröffentlicht: (2004)
von: Юсим, Г.В.
Veröffentlicht: (2004)
Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
von: Манако, А.Ф.
Veröffentlicht: (2004)
von: Манако, А.Ф.
Veröffentlicht: (2004)
Про один підхід побудови систем централізованих баз знань, які формуються методами навчання з підкріпленням
von: Глибовець, М.М., et al.
Veröffentlicht: (2004)
von: Глибовець, М.М., et al.
Veröffentlicht: (2004)
Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
von: Булавенко, О.Н., et al.
Veröffentlicht: (2004)
von: Булавенко, О.Н., et al.
Veröffentlicht: (2004)
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
von: Панченко, Т.В.
Veröffentlicht: (2004)
von: Панченко, Т.В.
Veröffentlicht: (2004)
Что такое алгебраическая алгоритмика?
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2004)
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2004)
Портал для завершения высшего образования в области информационных технологий
von: Лидер, Д.А., et al.
Veröffentlicht: (2004)
von: Лидер, Д.А., et al.
Veröffentlicht: (2004)
Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
von: Яценко, Е.А., et al.
Veröffentlicht: (2004)
von: Яценко, Е.А., et al.
Veröffentlicht: (2004)
Подход к созданию комплексной учебной программы для подготовки ИТ-менеджеров
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2004)
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2004)
Узагальнена композиційна модель символьної обробки
von: Винник, В.Ю.
Veröffentlicht: (2003)
von: Винник, В.Ю.
Veröffentlicht: (2003)
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)
von: Грищенко, В.Н.
Veröffentlicht: (2003)
Аксиоматические модели и методы проектирования языковых трансляторов
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)
О возможных основаниях немонотонного дедуктивного синтеза программ
von: Приходько, П.П.
Veröffentlicht: (2003)
von: Приходько, П.П.
Veröffentlicht: (2003)
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)
Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)
Программно-технологический комплекс имитационного моделирования вероятностных технологических процессов
von: Максимей, И.В., et al.
Veröffentlicht: (2003)
von: Максимей, И.В., et al.
Veröffentlicht: (2003)
Процесологічні середовища моделювання
von: Редько, И.В.
Veröffentlicht: (2003)
von: Редько, И.В.
Veröffentlicht: (2003)
Clarification of the basic concepts of programming for a virtual process
von: Yu. V. Koval
Veröffentlicht: (2018)
von: Yu. V. Koval
Veröffentlicht: (2018)
Синонимия имени существительного в турецком языке
von: Челебиев, Д.Э.
Veröffentlicht: (2011)
von: Челебиев, Д.Э.
Veröffentlicht: (2011)
Теоретические предпосылки изучения проблемы переводческих трансформаций (на материале русских и турецких параллельных текстов романа Ф.М. Достоевского «Преступление и наказание»)
von: Гванцеладзе, А.Н.
Veröffentlicht: (2011)
von: Гванцеладзе, А.Н.
Veröffentlicht: (2011)
Соціолінгвістичні фактори в історії японських діалектів і їх вплив на формування літературної мови
von: Батюк, І.Ю.
Veröffentlicht: (2011)
von: Батюк, І.Ю.
Veröffentlicht: (2011)
Ähnliche Einträge
-
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003) -
Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003) -
Smart visual 3D+ polyglot-concept of programming without programming languages
von: I. V. Velbitskij
Veröffentlicht: (2017) -
Принципы разработки тезауруса по проблемам сохранности документов
von: Пименов, Е.Н., et al.
Veröffentlicht: (2000) -
Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)