IFIP
1989
Springer
14 years 3 months ago
1989
Springer
IFIP
1989
Springer
14 years 3 months ago
1989
Springer
IFIP
1989
Springer
14 years 3 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
14 years 3 months ago
1989
Springer
IFIP
1989
Springer
14 years 3 months ago
1989
Springer
IFIP
1989
Springer
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 months ago
1990
Springer
ICALP
1990
Springer
14 years 3 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...