Results 191 to 200 of about 6,059 (211)
Some of the next articles are maybe not open access.
Constructive Action Semantics in OBJ
2006Goguen and Malcolm specify semantics of programming languages in OBJ. Here, we consider how the extensibility and reusability of their specifications could be improved. We propose using the notation and modular structure of the Constructive Action Semantics framework in OBJ, and give a simple illustration. The reader is assumed to be familiar with OBJ.
openaire +1 more source
1997
Rad sadrži jezični savjet glede uporabe riječi ručak i objed u hrvatskom književnom jeziku.
openaire
Rad sadrži jezični savjet glede uporabe riječi ručak i objed u hrvatskom književnom jeziku.
openaire
Software process a la Algebra: OBJ for OBJ
[1990] Proceedings. 12th International Conference on Software Engineering, 2002A.T. Nakagawa, K. Futatsugi
openaire +1 more source
Obje Odaklı Ontoloji ve Şey Kuramı
2023Obje Odaklı Ontoloji (000) Graham Harman'ın ilk kez 1999' da yazdığı doktora tezinde ortaya attığı, insanın canlı olmayan varlıklara karşı üstünlüğünü reddeden bir felsefedir. Harman bu felsefede Martin Heidegger'in varlık felsefesinden yola çıkmış, Kantçı 'kuran özne' anlayışını yadsıyarak nesnelerin özneden bağımsız bir eyleyen olduğu düşüncesiyle
Çelikel, Mehmet Ali, Bayraktar, Nurten
openaire +1 more source
OBJS: Forking Javascript to OOP Paradigms
2018The goal of this transcompiler is to open Javascript to some advanced OOP features, such as operators overloading, as well as to introduce new syntax patterns for a comfortable code writing.
openaire +1 more source
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.
openaire +1 more source
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.
openaire +1 more source
Obje[c]t identification using conceptual clustering
2001Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
openaire +1 more source