Old Web
English
Sign In
Acemap
>
Paper
>
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)
1996
Klaus Didrich
Carola Gerke
Wolfgang Grieskamp
Christian Maeder
Peter Pepper
Keywords:
Specification language
Computer science
Algebraic specification
Programming language
Theoretical computer science
Formal specification
Functional specification
Formal methods
Language Of Temporal Ordering Specification
Programming language specification
Formal verification
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]