Login / Signup
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).
Klaus Didrich
Carola Gerke
Wolfgang Grieskamp
Christian Maeder
Peter Pepper
Published in:
AMAST (1996)
Keyphrases
</>
extended abstract
functional programming
functional language
programming language
execution model
quantifier elimination
object oriented programming
databases
high level
active rules
database systems
relational databases
general purpose
process model