Matches in SemOpenAlex for { <https://semopenalex.org/work/W75328045> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W75328045 abstract "Abstract : This technical memorandum proposes a methodology for the evaluation of Higher Order Programming Languages and their compilers that are to be used in the development of trusted software for secure application. The basic language issues identified are portable software, storage management, input-output, and exceptional conditions and handling. Two general techniques for resolving these issues are identified: (1) avoidance techniques whereby a language design avoids the issue, and (2) automatic techniques in which the compiler or its run system help resolve the issue. The automatic techniques fall into three categories: (1) confinement techniques, which prevent a program from employing its underlying machine in such a way that the machine would not legally implement the language; (2) predictive techniques, which infer some property of a program before it runs on any input data, and (3) automated debugging techniques, such as test data generation and debugging output. The report concludes with the use of the evaluation criteria on three language implementations, PL/1, Algol 68, and Pascal, for their resolution of the storage management issues. (Author)" @default.
- W75328045 created "2016-06-24" @default.
- W75328045 creator A5029303588 @default.
- W75328045 creator A5038834240 @default.
- W75328045 creator A5068286187 @default.
- W75328045 date "1978-01-31" @default.
- W75328045 modified "2023-09-26" @default.
- W75328045 title "A Methodology for Evaluating Languages and their Compilers for Secure Applications." @default.
- W75328045 hasPublicationYear "1978" @default.
- W75328045 type Work @default.
- W75328045 sameAs 75328045 @default.
- W75328045 citedByCount "0" @default.
- W75328045 crossrefType "journal-article" @default.
- W75328045 hasAuthorship W75328045A5029303588 @default.
- W75328045 hasAuthorship W75328045A5038834240 @default.
- W75328045 hasAuthorship W75328045A5068286187 @default.
- W75328045 hasConcept C115903868 @default.
- W75328045 hasConcept C168065819 @default.
- W75328045 hasConcept C169590947 @default.
- W75328045 hasConcept C199360897 @default.
- W75328045 hasConcept C26713055 @default.
- W75328045 hasConcept C2777904410 @default.
- W75328045 hasConcept C41008148 @default.
- W75328045 hasConcept C75608658 @default.
- W75328045 hasConceptScore W75328045C115903868 @default.
- W75328045 hasConceptScore W75328045C168065819 @default.
- W75328045 hasConceptScore W75328045C169590947 @default.
- W75328045 hasConceptScore W75328045C199360897 @default.
- W75328045 hasConceptScore W75328045C26713055 @default.
- W75328045 hasConceptScore W75328045C2777904410 @default.
- W75328045 hasConceptScore W75328045C41008148 @default.
- W75328045 hasConceptScore W75328045C75608658 @default.
- W75328045 hasLocation W753280451 @default.
- W75328045 hasOpenAccess W75328045 @default.
- W75328045 hasPrimaryLocation W753280451 @default.
- W75328045 hasRelatedWork W106083937 @default.
- W75328045 hasRelatedWork W146774273 @default.
- W75328045 hasRelatedWork W1599432629 @default.
- W75328045 hasRelatedWork W1990390207 @default.
- W75328045 hasRelatedWork W1995192680 @default.
- W75328045 hasRelatedWork W1998897127 @default.
- W75328045 hasRelatedWork W2000611761 @default.
- W75328045 hasRelatedWork W2024385413 @default.
- W75328045 hasRelatedWork W2026348235 @default.
- W75328045 hasRelatedWork W2046123638 @default.
- W75328045 hasRelatedWork W2052170077 @default.
- W75328045 hasRelatedWork W2085983541 @default.
- W75328045 hasRelatedWork W2159843554 @default.
- W75328045 hasRelatedWork W2911434101 @default.
- W75328045 hasRelatedWork W3149169871 @default.
- W75328045 hasRelatedWork W769422931 @default.
- W75328045 hasRelatedWork W828370475 @default.
- W75328045 hasRelatedWork W841275829 @default.
- W75328045 hasRelatedWork W2468602413 @default.
- W75328045 hasRelatedWork W2555958265 @default.
- W75328045 isParatext "false" @default.
- W75328045 isRetracted "false" @default.
- W75328045 magId "75328045" @default.
- W75328045 workType "article" @default.