From Specification to Building a GUI using Functional Programming.

Ken Brownsey Mary Zajicek

Published in: SEKE (1995)

Keyphrases

functional programming
functional language
execution model
quantifier elimination
programming language
object oriented programming
user interface
formal specification
data structure
graphical user interface