8109 search results - page 385 / 1622 » A Model of Component-Based Programming |
181
Voted
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
147
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
182
click to vote
DISCO
1992
15 years 11 months ago
1992
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...
182
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
189
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...