1148 search results - page 142 / 230 » Software engineering considered harmful |
135
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
106
Voted
TACS
1997
Springer
15 years 7 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
112
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
118
Voted
TACS
1994
Springer
15 years 7 months ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
157
click to vote
PEPM
1992
ACM
15 years 7 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...