FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111305369> ?p ?o ?g. }

• W2111305369 abstract "Purely functional languages--with static type systems and dynamic memory management using garbage collection--are a known tool for helping programmers to reduce the number of memory errors in programs. By using such languages, we can establish correctness properties relating to memory-safety through our choice of implementation language alone. Unfortunately, the language characteristics that make purely functional languages safe also make them more difficult to apply in a low-level domain like operating systems construction. The low-level features that support the kinds of hardware manipulations required by operating systems are not typically available in memory-safe languages with garbage collection. Those that are provided may have the ability to violate memory- and type-safety, destroying the guarantees that motivate using such languages in the first place. This work demonstrates that it is possible to bridge the gap between the requirements of operating system implementations and the features of purely functional languages without sacrificing type- and memory-safety. In particular, we show that this can be achieved by isolating the potentially unsafe memory operations required by operating systems in an abstraction layer that is well integrated with a purely functional language. The salient features of this abstraction layer are that the operations it exposes are memory-safe and yet sufficiently expressive to support the implementation of realistic operating systems. The abstraction layer enables systems programmers to perform all of the low-level tasks necessary in an OS implementation, such as manipulating an MMU and executing user-level programs, without compromising the static memory-safety guarantees of programming in a purely functional language. A specific contribution of this work is an analysis of memory-safety for the abstraction layer by formalizing a meaning for memory-safety in the presence of virtual-memory using a novel application of noninterference security policies. In addition, we evaluate the expressiveness of the abstraction layer by implementing the L4 microkernel API, which has a flexible set of virtual memory management operations." @default.
• W2111305369 created "2016-06-24" @default.
• W2111305369 creator A5027138624 @default.
• W2111305369 creator A5053178014 @default.
• W2111305369 date "2000-01-01" @default.
• W2111305369 modified "2023-09-23" @default.
• W2111305369 title "A Functional Approach to Memory-Safe Operating Systems" @default.
• W2111305369 cites W1535989349 @default.
• W2111305369 cites W1553992341 @default.
• W2111305369 cites W1556536463 @default.
• W2111305369 cites W1581993637 @default.
• W2111305369 cites W1594828682 @default.
• W2111305369 cites W1600435877 @default.
• W2111305369 cites W1604453322 @default.
• W2111305369 cites W1755575651 @default.
• W2111305369 cites W1979651969 @default.
• W2111305369 cites W19830081 @default.
• W2111305369 cites W1993557198 @default.
• W2111305369 cites W1993794314 @default.
• W2111305369 cites W2002915275 @default.
• W2111305369 cites W2008081313 @default.
• W2111305369 cites W2017233431 @default.
• W2111305369 cites W2036790532 @default.
• W2111305369 cites W2037984920 @default.
• W2111305369 cites W2039804807 @default.
• W2111305369 cites W2053346612 @default.
• W2111305369 cites W2054873504 @default.
• W2111305369 cites W2059895047 @default.
• W2111305369 cites W2075115041 @default.
• W2111305369 cites W2077988951 @default.
• W2111305369 cites W2078944436 @default.
• W2111305369 cites W2080914957 @default.
• W2111305369 cites W2083355374 @default.
• W2111305369 cites W2083469471 @default.
• W2111305369 cites W2095762545 @default.
• W2111305369 cites W2097889836 @default.
• W2111305369 cites W2104634303 @default.
• W2111305369 cites W2106192381 @default.
• W2111305369 cites W2106412703 @default.
• W2111305369 cites W2107252100 @default.
• W2111305369 cites W2108365678 @default.
• W2111305369 cites W2112774031 @default.
• W2111305369 cites W2115696550 @default.
• W2111305369 cites W2120348241 @default.
• W2111305369 cites W2129721702 @default.
• W2111305369 cites W2131067178 @default.
• W2111305369 cites W2131726714 @default.
• W2111305369 cites W2136310957 @default.
• W2111305369 cites W2137186143 @default.
• W2111305369 cites W2137834221 @default.
• W2111305369 cites W2141576692 @default.
• W2111305369 cites W2141729404 @default.
• W2111305369 cites W2150210903 @default.
• W2111305369 cites W2159388995 @default.
• W2111305369 cites W2160039002 @default.
• W2111305369 cites W2161780258 @default.
• W2111305369 cites W2166004296 @default.
• W2111305369 cites W2166438839 @default.
• W2111305369 cites W2167800525 @default.
• W2111305369 cites W2169724009 @default.
• W2111305369 cites W2272093124 @default.
• W2111305369 cites W2295914203 @default.
• W2111305369 cites W2342083136 @default.
• W2111305369 cites W2515102472 @default.
• W2111305369 cites W659372135 @default.
• W2111305369 cites W2067580212 @default.
• W2111305369 doi "https://doi.org/10.15760/etd.499" @default.
• W2111305369 hasPublicationYear "2000" @default.
• W2111305369 type Work @default.
• W2111305369 sameAs 2111305369 @default.
• W2111305369 citedByCount "1" @default.
• W2111305369 countsByYear W21113053692019 @default.
• W2111305369 crossrefType "report" @default.
• W2111305369 hasAuthorship W2111305369A5027138624 @default.
• W2111305369 hasAuthorship W2111305369A5053178014 @default.
• W2111305369 hasBestOaLocation W21113053691 @default.
• W2111305369 hasConcept C105122174 @default.
• W2111305369 hasConcept C111472728 @default.
• W2111305369 hasConcept C124304363 @default.
• W2111305369 hasConcept C136085584 @default.
• W2111305369 hasConcept C138885662 @default.
• W2111305369 hasConcept C176649486 @default.
• W2111305369 hasConcept C199360897 @default.
• W2111305369 hasConcept C2777904410 @default.
• W2111305369 hasConcept C28180684 @default.
• W2111305369 hasConcept C41008148 @default.
• W2111305369 hasConcept C55439883 @default.
• W2111305369 hasConcept C75403996 @default.
• W2111305369 hasConceptScore W2111305369C105122174 @default.
• W2111305369 hasConceptScore W2111305369C111472728 @default.
• W2111305369 hasConceptScore W2111305369C124304363 @default.
• W2111305369 hasConceptScore W2111305369C136085584 @default.
• W2111305369 hasConceptScore W2111305369C138885662 @default.
• W2111305369 hasConceptScore W2111305369C176649486 @default.
• W2111305369 hasConceptScore W2111305369C199360897 @default.
• W2111305369 hasConceptScore W2111305369C2777904410 @default.
• W2111305369 hasConceptScore W2111305369C28180684 @default.
• W2111305369 hasConceptScore W2111305369C41008148 @default.
• W2111305369 hasConceptScore W2111305369C55439883 @default.
• W2111305369 hasConceptScore W2111305369C75403996 @default.

• next