Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,356,158 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.
2015
2015
An Algebraic Petri Nets Emulator
L. Capra
Symposium on Symbolic and Numeric Algorithms for…
2015
Corpus ID: 538747
Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are inadequate to model structural…
Expand
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…
Expand
2008
2008
NP would like to meet GF: A Welsh Adjectival Construction
Ingo Mittendorf
,
L. Sadler
2008
Corpus ID: 18488420
In this article we examine a Welsh adjectival construction which superficially looks simple but on closer examination proves to…
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
Highly Cited
2001
Highly Cited
2001
Termination of on-demand rewriting and termination of OBJ programs
Salvador Lucas
ACM-SIGPLAN International Conference on…
2001
Corpus ID: 3009819
Declarative languages such as OBJ, CafeOBJ, and Maude use syntactic annotations to introduce replacement restrictions aimed at…
Expand
1997
1997
Design and Implementation of Parallel TRAM
K. Ogata
,
Masaru Kondo
,
S. Ioroi
,
K. Futatsugi
European Conference on Parallel Processing
1997
Corpus ID: 3678987
T R A M Programs . TRAM programs are rewrite (equational) programs that are similar to OBJ's modules. For example, the program…
Expand
Review
1996
Review
1996
Logical semantics for CafeOBJ
二木 厚吉
,
Futatsugi Kokichi
1996
Corpus ID: 18655898
This paper presents the semantics of CafeOBJ system and language. CafeOBJ is a succesor of the famous algebraic specification and…
Expand
1992
1992
Data Types in Computational Phonology
Ewan Klein
International Conference on Computational…
1992
Corpus ID: 6803114
This paper examines certain aspects of phonological structure from the viewpoint of abstract data types. Our immediate goal is to…
Expand
1992
1992
Computer-Aided Specification and Verification of Process Control Software
B. Krämer
,
W. Halang
1992
Corpus ID: 60050817
1989
1989
A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools
R. Shutt
European Software Engineering Conference
1989
Corpus ID: 20370981
This paper presents a rigorous software development method that maximises the use of existing tools. The OBJ language is used for…
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