Login / Signup
Tool Support for the Interactive Derivation of Formally Correct Functional Programs.
Walter Guttmann
Helmuth Partsch
Wolfram Schulte
Ton Vullinghs
Published in:
J. Univers. Comput. Sci. (2003)
Keyphrases
</>
tool support
functional programs
term rewriting systems
software tools
lazy evaluation
design decisions
software development
software engineering
software projects
functional language
stochastic grammar
data mining
databases
machine learning
requirements engineering