OBJ (programming language)

OBJ (programming language)

OBJ is a programming language family introduced by Joseph Goguen in 1976.

A family of declarative "ultra high-level" languages. Abstract types, generic modules, subsorts (subtypes with multiple inheritance), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces). For the massively parallel RRM (Rewrite Rule Machine).

Important members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude and OBJ3.

See also

References

  • J. A. Goguen, Higher-Order Functions Considered Unnecessary for Higher-Order Programming. In Research Topics in Functional Programming.

External links

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Clean (programming language) — Clean Paradigm(s) functional Appeared in 1987 Designed by Software Technology Research Group of Radboud University Nijmegen Stable release …   Wikipedia

  • Clipper (programming language) — Clipper Appeared in 1985 (1985) Stable release CA Clipper 5.3b (May 20, 1997) OS DOS Website http://www.grafxsoft.com/clipper.htm …   Wikipedia

  • C (programming language) — C (langage) Pour les articles homonymes, voir C. C …   Wikipédia en Français

  • LPC (programming language) — Infobox programming language name = LPC paradigm = prototype based year = designer = Lars Pensjö developer = Lars Pensjö and others latest release version = latest release date = typing = implementations = LPC dialects = Amylaar, MudOS, LDMud,… …   Wikipedia

  • OBJ — or OBJ may refer to: Object file, an organized machine code file created by a compiler with .obj file extension Relocatable Object Module Format, an Object file for Intel microprocessors with .obj file extension Wavefront .obj file, a 3D geometry …   Wikipedia

  • OBJ (disambiguation) — OBJ or Obj may refer to:*OBJ, a programming language family *Object file, a representation of code *Obj, a geometry definition file format *Olusegun Obasanjo, former President of Nigeria …   Wikipedia

  • Constructor (object-oriented programming) — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations …   Wikipedia

  • Comparison of programming languages (basic instructions) — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations …   Wikipedia

  • Delegation (programming) — For the authorization related term, see delegation in IT. In object oriented programming, there are two related notions of delegation. Most commonly, it refers to a programming language feature making use of the method lookup rules for… …   Wikipedia

  • Generative Modelling Language — In generative computer programming, the Generative Modelling Language (GML) is a very simple programming language for the concise description of complex 3D shapes. It follows the Generative Modelling paradigm, where complex datasets are… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”