IFIP
1989
Springer
15 years 4 months ago
1989
Springer
75
Voted
IFIP
1989
Springer
15 years 4 months ago
1989
Springer
100
click to vote
IFIP
1989
Springer
15 years 4 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
71
Voted
IFIP
1989
Springer
15 years 4 months ago
1989
Springer
89
Voted
IFIP
1989
Springer
15 years 4 months ago
1989
Springer
115
Voted
IFIP
1989
Springer
15 years 4 months ago
1989
Springer
The designation “fault tolerant software” has been used for techniques ranging from roll-back and retry to N-version programming, from data mirroring to functional redundancy....
81
Voted
IFIP
1989
Springer
15 years 4 months ago
1989
Springer
ÐBSR (Broadcasting with Selective Reduction) is a PRAM more powerful than any CRCW PRAM. In order to extend the Broadcast Instruction of BSR and make it more useful for a large cl...
71
Voted
ICALP
1990
Springer
15 years 4 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
60
Voted
ICALP
1990
Springer
15 years 4 months ago
1990
Springer
78
Voted
ICALP
1990
Springer
15 years 4 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...