Login / Signup
On the Refinement of Non-Deterministic Recursive Routines by Transformations.
Rudolf Berghammer
Herbert Ehler
Bernhard Möller
Published in:
Programming Concepts and Methods (1990)
Keyphrases
</>
iterative refinement
black box
recursive functions
database
real time
query refinement
randomized algorithms
data sets
computer vision
information systems
recursive queries
turing machine
refinement process
finite state automaton