Results 231 to 240 of about 92,012 (273)
Some of the next articles are maybe not open access.
Lecture Notes in Computer Science, 1993
This is a introduction to the gentle art of programming in OBJ and Maude. The features of OBJ that are highlighted are its logic— ordersorted equational logic— connections of this logic with unsorted first-order equational logic, newer features of the language, and parameterized programming.
T. Winkler
exaly +3 more sources
This is a introduction to the gentle art of programming in OBJ and Maude. The features of OBJ that are highlighted are its logic— ordersorted equational logic— connections of this logic with unsorted first-order equational logic, newer features of the language, and parameterized programming.
T. Winkler
exaly +3 more sources
Advances in Formal Methods, 2000 An interpreter for OBJ3 implemented in Common LISP has been designed using the language OBJ. This formal design is both an effective support of the programming task and a means of communication between different programmers and designers. In the light of this experiment, we propose some extensions to the language and also give a reflexive version of ...
Claude Kirchner +2 more
exaly +3 more sources
Lecture Notes in Computer Science, 2006
The OBJ algebraic specification language and its Eqlog and FOOPS multiparadigm extensions are revisited from the perspective of the Maude language design. A common thread is the quest for ever more expressive computational logics, on which executable formal specifications of increasingly broader classes of systems can be based.
JOSÉ Meseguer
exaly +3 more sources
The OBJ algebraic specification language and its Eqlog and FOOPS multiparadigm extensions are revisited from the perspective of the Maude language design. A common thread is the quest for ever more expressive computational logics, on which executable formal specifications of increasingly broader classes of systems can be based.
JOSÉ Meseguer
exaly +3 more sources
Study on self-intersection detection algorithm based on OBJ model
2022 2nd International Conference on Consumer Electronics and Computer Engineering (ICCECE), 2022In order to solve the problem of “Clipping” in the animation production process, that is, the self-intersection of the model, this paper proposes a model self-intersection detection algorithm based on the ray method.
Guoping Wang
exaly +2 more sources
Conditional and Typed Rewriting Systems, 1988
OBJ 3 is a new implementation of the OBJ language, with a new efficient operational semantics based on order-sorted term-rewriting. OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic; its statements are equations that state properties the solution should have; i.e., they describe the problem to be solved ...
J. Goguen +5 more
semanticscholar +2 more sources
OBJ 3 is a new implementation of the OBJ language, with a new efficient operational semantics based on order-sorted term-rewriting. OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic; its statements are equations that state properties the solution should have; i.e., they describe the problem to be solved ...
J. Goguen +5 more
semanticscholar +2 more sources
Lecture Notes in Computer Science, 2000
In this paper we present the functional programming language OBJ-P. OBJ-P is a polymorphic extension of OBJ-3. The main features are overloaded function symbols, set inclusion subtyping, and parametric polymorphic types.
Martin Plümicke
exaly +2 more sources
In this paper we present the functional programming language OBJ-P. OBJ-P is a polymorphic extension of OBJ-3. The main features are overloaded function symbols, set inclusion subtyping, and parametric polymorphic types.
Martin Plümicke
exaly +2 more sources
Everlasting Challenges with the OBJ Language Family
Specification, Algebra, and Software, 2014Algebraic specification languages of the OBJ family are quite flexible in providing adequate means by which to delineate software abstractions. Although originally developed in the late 1970s, these languages are applied to new problems that have arisen with emerging software-intensive systems.
S. Nakajima
semanticscholar +2 more sources
Termination of on-demand rewriting and termination of OBJ programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, 2001Declarative languages such as OBJ, CafeOBJ, and Maude use syntactic annotations to introduce replacement restrictions aimed at improving termination or efficiency of computations. Unfortunately, there is a lack of formal techniques for proving such benefits.
Salvador Lucas
semanticscholar +2 more sources
Automatic Semantic-preserving Conversion Between OBJ and CityGML
Eurographics Workshop on Urban Data Modelling and Visualisation, 2015 We investigate the automatic conversion between two substantially different formats used in 3D city models: the ubiquitous but semantically poor Wavefront OBJ and the semantically rich but less used OGC standard CityGML. We elaborate on their differences
F. Biljecki, K. Ohori
semanticscholar +3 more sources