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.
2015
2015
An Algebraic Petri Nets Emulator
Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are inadequate to model structural… 
2008
2008
NP would like to meet GF: A Welsh Adjectival Construction
In this article we examine a Welsh adjectival construction which superficially looks simple but on closer examination proves to… 
2006
2006
From OBJ to ML to Coq
Rigorous program development is notoriously difficult because it involves many aspects, among which specification, programming… 
Highly Cited
2001
Highly Cited
2001
Termination of on-demand rewriting and termination of OBJ programs
Declarative languages such as OBJ, CafeOBJ, and Maude use syntactic annotations to introduce replacement restrictions aimed at… 
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
1996
Review
1996
Logical semantics for CafeOBJ
This paper presents the semantics of CafeOBJ system and language. CafeOBJ is a succesor of the famous algebraic specification and… 
1992
1992
Data Types in Computational Phonology
This paper examines certain aspects of phonological structure from the viewpoint of abstract data types. Our immediate goal is to… 
1992
1992
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ
1989
1989
A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools
This paper presents a rigorous software development method that maximises the use of existing tools. The OBJ language is used for… 
1988
1988
Modular Algebraic Specification of Some Basic Geometrical Constructions
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)