IFIP
1989
Springer
13 years 12 months ago
1989
Springer
IFIP
1989
Springer
13 years 12 months ago
1989
Springer
IFIP
1989
Springer
13 years 12 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
IFIP
1989
Springer
13 years 12 months ago
1989
Springer
IFIP
1989
Springer
13 years 12 months ago
1989
Springer
IFIP
1989
Springer
13 years 12 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....
IFIP
1989
Springer
13 years 12 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...
ICALP
1990
Springer
13 years 12 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 ...
ICALP
1990
Springer
13 years 12 months ago
1990
Springer
ICALP
1990
Springer
13 years 12 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...