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)

Related topics

Related topics

12 relations
Abstract data typeAlgebraic semantics (computer science)Automated theorem provingDeclarative programming

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Tigrinya Applicatives in Lexical-Functional Grammar
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
Construction Driven Language Processing Jerry T. Ball (Jerry.Ball@mesa.afmc.af.mil) Human Effectiveness Directorate, Air Force… 
2002
2002
Abstract Diagnosis of Functional Programs
We present a generic scheme for the declarative debugging of functional programs modeled as term rewriting systems. We associate… 
2001
2001
Generatory liczb losowych : algorytmy, testowanie, zastosowania
1.1. Losowo±¢ i liczby losowe. Wiele procesów obserwowanych przez nas w przyrodzie, technice, ekonomii czy »yciu spoaecznym… 
Review
1997
Review
1997
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification… 
1992
1992
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ
1989
1989
OBJ as a Theorem Prover with Applications to Hardware Verification
This paper states, justifies, and illustrates some new techniques for proving theorems with a functional programming language… 
Highly Cited
1988
Highly Cited
1988
An Introduction to OBJ 3
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, or No Notation Without Denotation!
Tarskian semantics is called "Tarskian" for historical reasons (Tarski, 1936). A more descriptive name would be "systematic… 
Highly Cited
1984
Highly Cited
1984
Parameterized Programming
  • 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… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)