OBJ3

OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on Kyoto Common Lisp AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.

References

• Introducing OBJ3, Joseph Goguen et al., SRI-CSL-88-9, SRI International, USA, 1988.

External links

• Information and OBJ3 manual, PostScript format

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

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Formal specification languages Functional languages Theorem proving software systems Common Lisp software Programming language topic stubs Logic stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем решить контрольную работу OBJ2 Parvicursor Look at other dictionaries: JavaScript syntax — This article is part of the JavaScript series. JavaScript JavaScript syntax JavaScript topics This box: view · …   Wikipedia Шаблон делегирования (шаблон проектирования) — В разработке ПО, шаблон делегирования (англ. delegation pattern) это способ, которым объект внешне выражает некоторое поведение, но в реальности передаёт ответственность за выполнение этого поведения связанному объекту. Шаблон делегирования… …   Википедия Шаблон делегирования — Шаблон проектирования Шаблон делегирования Delegation pattern Описан в Design Patterns Нет В разработке ПО, шаблон делегирования (англ. delegation pattern)  это способ, которым объект внешне выражает некоторое поведение, но в… …   Википедия Maude system — The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen s OBJ3 implementation of equational logic, but based on rewriting logic rather than order sorted… …   Wikipedia Objective-C — Класс языка: объектно ориентированный, мультипарадигмальный: рефлексивно ориентированный Появился в: 1986 Автор(ы): Бред Кокс Типизация данных: нестрогая, статическая / динамическая …   Википедия ECMAScript — Класс языка: мультипарадигменный: объектно ориентированное, обобщённое, функциональное, императивное, аспектно ориентированное, событийно ориентированное, прототипное программирование Появился в: 1995 Автор(ы) …   Википедия Объектный Си — Objective C Класс языка: объектно ориентированный, мультипарадигмальный: рефлексивно ориентированный Появился в: 1986 г. Автор(ы): Типизация данных: строгая полиморфная, статическая Основные реализации: Apple gcc Испытал …   Википедия 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… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”