Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,047,709 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
Strategies of English Translation Teaching
Y. Zhu
,
J. Wang
2015
Corpus ID: 59006451
Abstract:Translation is an independent discipline(Jean Delisle,1988).With the deepening of translation studies,translation…
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
2008
2008
LIGHTWEIGHT AUTOCLAVED CEMENT BASED COMPOSITES REINFORCED WITH WOLLASTONITE FIBERS
W. Pichór
,
Agnieszka RóŜycka
2008
Corpus ID: 149447602
Przedstawiono wyniki badań lekkich kompozytów cementowych otrzymanych metod ą autoklawizacji, w których jako wypełniacz…
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
2000
2000
Visual construction of algebraic specifications
Duncan S. Neary
,
M. Woodward
Proceeding IEEE International Symposium on…
2000
Corpus ID: 31060138
Algebraic specifications have a proven record for the development of software that is precise, consistent, complete and…
Expand
2000
2000
On the Role of Functional-logic Languages for the Debugging of Imperative Programs
Ángel Herranz-Nieva
,
J. Moreno-Navarro
Workshop on Functional and Constraint Logic…
2000
Corpus ID: 11854848
classes: understood as interfaces are an important component of SLAM: they can be used to de ne an abstract behaviour and other…
Expand
Review
1999
Review
1999
THE ARCHITECTURE OF S 2 Ardeshir Mahdavi
M. Ilal
,
P. Mathew
,
R. Ries
,
G. Suter
,
R. Brahme
1999
Corpus ID: 14019036
We present in this paper the essential aspects of the S2 system. This is the internet realization of SEMPER: An active, multi…
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
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
1986
1986
Rewrite Rule Machine. Progress report
J Goguen
,
Kirchner
,
Leinwand
,
Meseguer
,
Winkler
1986
Corpus ID: 59817323
Perhaps the most-significant accomplishment of the Rewrite Rule Machine (RRM) project so far has been to explore the hardware and…
Expand