"Ruth: A functional language for real-time programming"

• 1 January 1987
• book chapter
• Published by Springer Nature
• p. 297-314
• https://doi.org/10.1007/3-540-17945-3_17

Abstract

Keywords

• FORMAL SEMANTIC
• INPUT CHANNEL
• SEMANTIC FUNCTION
• FUNCTIONAL LANGUAGE
• SMOKE DETECTOR