Foundations of Total Functional Data-Flow Programming

The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics. In this paper, we describe the foundations of a framework for...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	Baltasar Trancón y Widemann, Lepper, Markus
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 09.06.2014
Subjects:	First principles Foundations Programming languages Semantics Set theory Subject specialists
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!