Sciweavers

2777 search results - page 177 / 556
» Example centric programming
Sort
View
ECOOP
1994
Springer
15 years 4 months ago
Product Configurations - An Application for Prototype Object Approach
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
Hannu Peltonen, Tomi Männistö, Kari Alho...
FM
1994
Springer
104views Formal Methods» more  FM 1994»
15 years 4 months ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Tom Mens, Kim Mens, Patrick Steyaert
FPL
1994
Springer
435views Hardware» more  FPL 1994»
15 years 4 months ago
Data-Procedural Languages for FPL-based Machines
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
Andreas Ast, Jürgen Becker, Reiner W. Hartens...
IFIP
1994
Springer
15 years 4 months ago
From AI Technology Research to Applications
Focusing on examples of knowledge systems and machine learning, this paper illustrates the transfer of AI technology from science to real-world applications. Decades of AI researc...
Armin B. Cremers, Sebastian Thrun, Wolfram Burgard
111
Voted
DISCO
1992
161views Hardware» more  DISCO 1992»
15 years 4 months ago
Combinatory Models and Symbolic Computation
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
Karl Aberer