Now showing items 1-1 of 1

    • Exploring Intralingual Design in Operating Systems 

      Ijaz, Ramla (2020-12-04)
      Safe languages have been used to avoid memory safety violations in Operating Systems (OS). Software isolation techniques have been presented as a way to eschew the high cost of hardware isolation. Single Address Space/ Single Privilege Level (SAS/SPL) OSes use type and memory-safe languages to avoid system calls and changing address spaces. This ...