Stem sara$ (all stems)
3 papers:
CC-2006-NandivadaP #named #stack
- SARA: Combining Stack Allocation and Register Allocation (VKN, JP), pp. 232–246.
ICSE-1979-BerryP #design #specification
- The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology (DMB, MH(P), pp. 294–307.
ICSE-1978-CamposE #concurrent #design
- Concurrent Software System Design, Supported by SARA at the Age of One (IMC, GE), pp. 230–242.