15974 search results - page 2831 / 3195 » Object-Oriented Software Engineering |
144
Voted
TACS
1994
Springer
15 years 8 months ago
1994
Springer
In the A-calculus, there is a standard notion of what terms should be considered to be "undefined": the unsolvable terms. There are various equivalent characterisations o...
148
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
173
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
146
click to vote
MITJSME
1989
15 years 8 months ago
1989
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...
202
click to vote
COBUILD
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. As the amount of information and communication increases dramatically new working environments must provide efficient mechanisms to maximize the benefits of these develop...