Login / Signup
Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology.
Q. Chen
Published in:
ICSE (1985)
Keyphrases
</>
functional programming
functional language
execution model
programming language
quantifier elimination
test cases
software development
software systems
object oriented programming
artificial intelligence
information systems
general purpose
software architecture