Programming in OBJ and Maude.

Timothy C. Winkler

Published in: Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)

Keyphrases

programming language
object oriented programming
formal specification
programming paradigms
multiscale
data structure
development environment
programming environment