Login / Signup
An Application of Equational Programming with Streams to the Development of Efficient Programs for MIMD Computers.
Elena Trichina
Published in:
PARCO (1993)
Keyphrases
</>
programming environments
computer programs
development environment
programming environment
development process
theorem proving
automatic programming
real time
case study
programming language
data streams
knowledge representation
software engineering
knowledge based systems
operating system
high level language