Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ.
Jean-Pierre JouannaudClaude KirchnerHélène KirchnerAristide MégrelisPublished in: J. Log. Program. (1992)
Keyphrases
- programming language
- programming environment
- high level language
- artificial intelligence
- evolutionary algorithm
- databases
- computer vision
- hidden markov models
- object oriented
- development environment
- object oriented programming
- computer programming
- programming course
- fully functional
- hands on guide
- programming education