Skip to search formSkip to main contentSkip to account menu

OBJ (programming language)

Known as: OBJ 
OBJ is a programming language family introduced by Joseph Goguen in 1976. A family of declarative "ultra high-level" languages. Abstract types… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
The primary goal of this thesis is to describe and analyze applicative constructions in Tigrinya. An applicative construction is… 
2005
2005
Construction Driven Language Processing Jerry T. Ball (Jerry.Ball@mesa.afmc.af.mil) Human Effectiveness Directorate, Air Force… 
2002
2002
We present a generic scheme for the declarative debugging of functional programs modeled as term rewriting systems. We associate… 
2001
2001
1.1. Losowo±¢ i liczby losowe. Wiele procesów obserwowanych przez nas w przyrodzie, technice, ekonomii czy »yciu spoaecznym… 
Review
1997
Review
1997
CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification… 
1989
1989
This paper states, justifies, and illustrates some new techniques for proving theorems with a functional programming language… 
Highly Cited
1988
Highly Cited
1988
OBJ 3 is a new implementation of the OBJ language, with a new efficient operational semantics based on order-sorted term… 
Highly Cited
1986
Highly Cited
1986
Tarskian semantics is called "Tarskian" for historical reasons (Tarski, 1936). A more descriptive name would be "systematic… 
Highly Cited
1984
Highly Cited
1984
  • J. Goguen
  • IEEE Transactions on Software Engineering
  • 1984
  • Corpus ID: 2867271
Parameterized programming is a powerful technique for the reliable reuse of software. In this technique, modules are…