OBJ2 is a programming language with Clear-like parametrised modules and a functional system based on equations. A programming language is an Artificial language that can be used to write programs which control the behavior of a machine particularly a Computer.
References
"Principles of OBJ2", K. Futatsugi et al, 12th POPL, ACM 1985, pp. 52-66.
This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL. The Free On-line Dictionary of Computing ( FOLDOC) is an online searchable encyclopedic Dictionary of Computing subjects The GNU Free Documentation License ( GNU FDL or simply GFDL) is a Copyleft License for free documentation designed by the Free Software
Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic