Arctic: A Functional Language for Real-Time Control.

Roger B. Dannenberg Dean Rubine

Published in: IEEE Softw. (1986)

Keyphrases

real time control
functional language
functional programming
programming language
control system
proof planning
flexible manufacturing systems
object identity
theorem proving
high level
object oriented
machining processes
management system
logic programming
distance function
distributed databases