Results 181 to 190 of about 6,059 (211)
Some of the next articles are maybe not open access.
Journal of Writing in Creative Practice, 2020
This text is from ‘Art Thoughts’; a collection of texts shared on The White Pube’s website that discuss art more broadly than the Reviews section. The piece investigates how the critic positions themselves in terms of objectivity and subjectivity when their identity does not afford them the supposed authority and neutrality of the cis-het white male ...
openaire +1 more source
This text is from ‘Art Thoughts’; a collection of texts shared on The White Pube’s website that discuss art more broadly than the Reviews section. The piece investigates how the critic positions themselves in terms of objectivity and subjectivity when their identity does not afford them the supposed authority and neutrality of the cis-het white male ...
openaire +1 more source
Operational semantics of OBJ-3
1988An efficient operational semantics for order-sorted algebras is given, based on the notion of equational order-sorted rewriting with improvements such as general variables allowing to discard sort checks, and such as partition of the set of rewrite rules allowing fast selection of the rewrite rule to be applied.
Claude Kirchner +2 more
openaire +1 more source
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 ...
Joseph Goguen +5 more
openaire +1 more source
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 ...
Joseph Goguen +5 more
openaire +1 more source
2016
Photos prises sur le téléphone Sony Z1 Compact. Modèle créé dans Memento.
openaire +1 more source
Photos prises sur le téléphone Sony Z1 Compact. Modèle créé dans Memento.
openaire +1 more source
2000
In this paper, we show how to write a LOTOS simulator using OBJ. Both syntax rules and their inference rules (axioms) of LOTOS can be formally specified by operator definition part and equation definition part in OBJ, respectively.
Kazuhito Ohmaki +2 more
openaire +1 more source
In this paper, we show how to write a LOTOS simulator using OBJ. Both syntax rules and their inference rules (axioms) of LOTOS can be formally specified by operator definition part and equation definition part in OBJ, respectively.
Kazuhito Ohmaki +2 more
openaire +1 more source
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.
openaire +1 more source
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.
openaire +1 more source
2006
Rigorous program development is notoriously difficult because it involves many aspects, among which specification, programming, verification, code reuse, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them.
Jacek Chrząszcz, Jean-Pierre Jouannaud
openaire +1 more source
Rigorous program development is notoriously difficult because it involves many aspects, among which specification, programming, verification, code reuse, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them.
Jacek Chrząszcz, Jean-Pierre Jouannaud
openaire +1 more source
Le dépersonnalisable et le suj(obj)et
Recherches en psychanalyse, 2021En cure, au temps de la reprise du lien « sujobjet », le partage de l’hallucinatoire pour analyser les matériaux informes de nos cliniques narcissiques-identitaires passe par un bassin attracteur transféro contre-transférentiel qu’on peut appeler le « dépersonnalisable ».
openaire +1 more source
More Higher Order Programming in OBJ
2000This paper discusses the use of OBJ3’s parameterized modules for higher order programming, giving examples beyond those in [8, 3, 4] and showing some capabilities that may seem surprising. We also discuss parameterized views, which are not yet implemented, but which we hope soon will be.
Joseph A. Goguen, Grant Malcolm
openaire +1 more source
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.
openaire +1 more source
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.
openaire +1 more source