Plan in Maude: Specifying an Active Network Programming Language.
Mark-Oliver StehrCarolyn L. TalcottPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- programming language
- object oriented
- strongly typed
- general purpose
- software engineering
- programming environment
- high level
- logic programming
- object oriented programming
- denotational semantics
- specification language
- functional programming
- peer to peer
- data abstraction
- database language
- database languages
- object oriented concepts
- computer programs
- programming tool
- end users
- query language