Skip to search formSkip to main content
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
Is this relevant?
2008
2008
In this article we examine a Welsh adjectival construction which superficially looks simple but on closer examination proves to… Expand
Is this relevant?
2005
2005
Construction Driven Language Processing Jerry T. Ball (Jerry.Ball@mesa.afmc.af.mil) Human Effectiveness Directorate, Air Force… Expand
Is this relevant?
2002
2002
We present a generic scheme for the declarative debugging of functional programs modeled as term rewriting systems. We associate… Expand
Is this relevant?
2001
2001
1.1. Losowo±¢ i liczby losowe. Wiele procesów obserwowanych przez nas w przyrodzie, technice, ekonomii czy »yciu spoaecznym… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Declarative languages such as OBJ, CafeOBJ, and Maude use syntactic annotations to introduce replacement restrictions aimed at… Expand
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
1990
1990
This paper presents some ways to prove theorems in first and second order logic, such that rewriting does the routine work… Expand
Is this relevant?
1989
1989
This paper states, justifies, and illustrates some new techniques for proving theorems with a functional programming language… Expand
Is this relevant?
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
Is this relevant?
Highly Cited
1978
Highly Cited
1978
Tarskian semantics is called "Tarskian" for historical reasons (Tarski, 1936). A more descriptive name would be "systematic… Expand
Is this relevant?