Toward a Real-Time Dataflow Language

1 January 1986

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software

Vol. 3 (1) , 29-35
https://doi.org/10.1109/ms.1986.232430

Abstract

This extension of the Lucid language seeks a high-level, real-time software-oriented tool with a formal mathematical semantics in which real time is part of correctness.

Keywords

REAL TIME SYSTEMS
COMPUTER LANGUAGES
FILTERS
HARDWARE
ROBOTIC ASSEMBLY
TIME FACTORS
ALGEBRA
PROGRAMMING PROFESSION
PROCESS CONTROL
SIGNAL PROCESSING

This publication has 3 references indexed in Scilit:

Design and correctness of a compiler for a non-procedural language
Acta Informatica, 1978
Lucid, a nonprocedural language with iteration
Communications of the ACM, 1977
Lucid—A Formal System for Writing and Proving Programs
SIAM Journal on Computing, 1976