779 search results - page 13 / 156 » A programming model for concurrent object-oriented programs |
103
Voted
TOOLS
1999
IEEE
15 years 1 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
108
click to vote
ECOOP
1992
Springer
15 years 1 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
180
Voted
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
103
Voted
TOOLS
1991
IEEE
15 years 1 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
FMOODS
2003
14 years 11 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...