Skip to search formSkip to main contentSkip to account menu

OBJ2

OBJ2 is a programming language with Clear-like parametrised modules and a functional system based on equations.
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
List of programming languagesProgramming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modelling the Meaning of Argument Constructions with Distributional Semantics
Current computational models of argument constructions typically represent their semantic content with hand-made formal… 
2016
2016
Solving a bi-objective multi-product vehicle routing problem with heterogeneous fleets under an uncertainty condition
This paper presents a novel bi-objective multi-product capacitated vehicle routing problem with uncertainty in demand of… 
2016
2016
Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility
A partial-order plan (POP) compactly encodes a set of sequential plans that can be dynamically chosen by an agent at execution… 
2003
2003
OnDemandOBJ: A Laboratory for Strategy Annotations
2003
2003
On-demand Evaluation by Program Transformation
1998
1998
LZRW1 without hashing
  • Y. Reznik
  • Proceedings DCC '98 Data Compression Conference…
  • 1998
  • Corpus ID: 206602455
Summary form only given. A very fast longest-match string search algorithm for Ziv-Lempel compression has been proposed. The new… 
1988
1988
Algebraic specification of Macintosh's QuickDraw using OBJ2
The authors describe QuickDraw, a typical graphics package, using OBJ2, a powerful algebraic language now in the phase of… 
1987
1987
Parameterized programming in OBJ2
Parameterized programming [9] is a powerful technique for the construction, maintenance, and reuse of software. In this technique… 
Highly Cited
1985
Highly Cited
1985
Operational Semantics for Order-Sorted Algebra
1985
1985
Synthesis by Completion
The Knuth-Bendix completion procedure was introduced as a means of deriving canonical term-rewriting systems to serve as decision… 
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)