Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 211,160,600 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Abstract data type
Algebraic semantics (computer science)
Automated theorem proving
Declarative programming
Expand
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
N. A. Kifle
2012
Corpus ID: 60020606
The primary goal of this thesis is to describe and analyze applicative constructions in Tigrinya. An applicative construction is…
Expand
2005
2005
Construction Driven Language Processing
J. Ball
2005
Corpus ID: 16544757
Construction Driven Language Processing Jerry T. Ball (Jerry.Ball@mesa.afmc.af.mil) Human Effectiveness Directorate, Air Force…
Expand
2002
2002
Abstract Diagnosis of Functional Programs
M. Alpuente
,
M. Comini
,
Santiago Escobar
,
M. Falaschi
,
Salvador Lucas
International Workshop/Symposium on Logic-based…
2002
Corpus ID: 7888684
We present a generic scheme for the declarative debugging of functional programs modeled as term rewriting systems. We associate…
Expand
2001
2001
Generatory liczb losowych : algorytmy, testowanie, zastosowania
Z. Kotulski
2001
Corpus ID: 60513888
1.1. Losowo±¢ i liczby losowe. Wiele procesów obserwowanych przez nas w przyrodzie, technice, ekonomii czy »yciu spoaecznym…
Expand
Review
1997
Review
1997
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
K. Futatsugi
,
A. T. Nakagawa
First IEEE International Conference on Formal…
1997
Corpus ID: 28606407
CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification…
Expand
1992
1992
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ
J. Jouannaud
,
C. Kirchner
,
H. Kirchner
,
Aristide Mégrelis
The Journal of Logic Programming
1992
Corpus ID: 2660749
1989
1989
OBJ as a Theorem Prover with Applications to Hardware Verification
J. Goguen
1989
Corpus ID: 56544489
This paper states, justifies, and illustrates some new techniques for proving theorems with a functional programming language…
Expand
Highly Cited
1988
Highly Cited
1988
An Introduction to OBJ 3
J. Goguen
,
C. Kirchner
,
H. Kirchner
,
Aristide Mégrelis
,
J. Meseguer
,
T. Winkler
Conditional and Typed Rewriting Systems
1988
Corpus ID: 20932462
OBJ 3 is a new implementation of the OBJ language, with a new efficient operational semantics based on order-sorted term…
Expand
Highly Cited
1986
Highly Cited
1986
Tarskian Semantics, or No Notation Without Denotation!
D. McDermott
Cognitive Sciences
1986
Corpus ID: 9641724
Tarskian semantics is called "Tarskian" for historical reasons (Tarski, 1936). A more descriptive name would be "systematic…
Expand
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…
Expand
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)
ACCEPT & CONTINUE