OBJ(프로그래밍 언어)

OBJ는 1976년 조지프 고갱이 소개한 프로그래밍 언어 계열로, 조제 메세게르가 추가 작업했다.

개요

선언적인 "초고급" 언어의 가족이다.추상적 유형, 일반 모듈, 서브포트(다중 상속이 있는 하위 유형), 패턴 매칭 모듈로 방정식, E-전략(모듈 결합을 위한 사용자 제어), 모듈 표현식(모듈 결합을 위한 사용자 제어), 이론 및 뷰(모듈 인터페이스 기술용) 등을 대량 병렬 RRM(재활용 규칙 머신)에 적용했다.

OBJ 언어 계열의 구성원은 카페를 포함한다.OBJ, Eqlog, FOOPS, Kumo, Maude, OBJ2, OBJ3.^[1]

OBJ2는 클리어 유사 파라메트릭 모듈 및 방정식을 기반으로 한 기능 시스템을 갖춘 프로그래밍 언어다.

OBJ3는 주문형 재작성 기반의 OBJ 버전이다.OBJ3는 에이전트 지향적이며 교토 커먼 리스프 AKCL에서 운영된다.

J. A. Goguen, 고순도 함수는 고순도 프로그래밍에 불필요하다고 간주된다.기능 프로그래밍의 연구 주제(1990년 6월)에서.309-351 페이지
"OBJ2의 원리", K. 후타츠기 외, 12번째 POPL, ACM 1985, 페이지 52–66.
J. A. Goguen; T. Winkler; J. Meseguer; K. Futatsugi; J.-P. Jouannaud (2000), "Introducing OBJ", in J. A. Goguen; G. Malcolm (eds.), Software Engineering with OBJ: Algebraic Specification in Action, Springer Science+Business Media, New York, NY, pp. 3–167, ISBN 978-1-4757-6541-0

이 프로그래밍 언어 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.