Sciweavers

367 search results - page 2 / 74
» An algebraic approach to the design of compilers for object-...
Sort
View
DAC
2001
ACM
14 years 5 months ago
A Framework for Object Oriented Hardware Specification, Verification, and Synthesis
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wol...
ER
1999
Springer
135views Database» more  ER 1999»
13 years 9 months ago
Towards an Automatic Integration of Statecharts
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
Heinz Frank, Johann Eder
ADBIS
2007
Springer
137views Database» more  ADBIS 2007»
13 years 11 months ago
An Object-Oriented Based Algebra for Ontologies and Their Instances
Nowadays, ontologies are used in a lot of diverse research fields. They provide with the capability to describe a huge set of information contents. Therefore, several approaches f...
Stéphane Jean, Yamine Aït Ameur, Guy P...
SC
1995
ACM
13 years 8 months ago
Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
WooYoung Kim, Gul Agha
JMLC
1997
Springer
13 years 9 months ago
An Object-Oriented Database Programming Environment for Oberon
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
Jacques Supcik, Moira C. Norrie