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… 
2010
2010
Programming via Rewriting
  • V. E. Cazanescu
  • 12th International Symposium on Symbolic and…
  • 2010
  • Corpus ID: 34876511
Programming via rewriting is a part of the declarative programming which is illustrated by the languages: OBJ, Maude, CafeOBJ… 
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… 
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… 
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… 
1997
1997
Design and Implementation of Parallel TRAM
T R A M Programs . TRAM programs are rewrite (equational) programs that are similar to OBJ's modules. For example, the program… 
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
Computer-Aided Specification and Verification of Process Control Software
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… 
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)