Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • table 2.1
  • table 2.2
  • table 2.3
  • table 2.4
  • table 2.5
2005
2005
Construction Driven Language Processing Jerry T. Ball (Jerry.Ball@mesa.afmc.af.mil) Human Effectiveness Directorate, Air Force… Expand
2002
2002
We present a generic scheme for the declarative debugging of functional programs modeled as term rewriting systems. We associate… Expand
2001
2001
1.1. Losowo±¢ i liczby losowe. Wiele procesów obserwowanych przez nas w przyrodzie, technice, ekonomii czy »yciu spoaecznym… Expand
Review
1997
Review
1997
CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification… Expand
  • table 1
1992
1992
D OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic and an operational semantics… Expand
1990
1990
This paper presents some ways to prove theorems in first and second order logic, such that rewriting does the routine work… Expand
1989
1989
This paper states, justifies, and illustrates some new techniques for proving theorems with a functional programming language… Expand
Highly Cited
1987
Highly Cited
1987
OBJ 3 is a new implementation of the OBJ language, with a new efficient operational semantics based on order-sorted term… Expand
Highly Cited
1978
Highly Cited
1978
Tarskian semantics is called "Tarskian" for historical reasons (Tarski, 1936). A more descriptive name would be "systematic… Expand