158
Voted
SAS
15 years 6 months ago
1991 Springer 
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
153
Voted
FP
15 years 6 months ago
1991 
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
135
Voted
FM
15 years 6 months ago
1991 Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
132
Voted
ZUM
15 years 6 months ago
1991 Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
132
Voted
SAS
15 years 6 months ago
1991 Springer 
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
|
Formal Methods