Matches in SemOpenAlex for { <https://semopenalex.org/work/W2984668512> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2984668512 abstract "New enhancement techniques for language translators based on work in program verification are developed. Assertions are normally added to a program in order to verify the program is correct. Once verified, the assertions are usually ignored. This paper shows that verified assertions often contain information which can improve certain object code characteristics when the program is translated: execution time, storage requirements, and program style. The latter quality is especially important if the object code is itself in a high-level language. The techniques developed fall into three categories: early binding, using complementary constructs, and noting restricted cases." @default.
- W2984668512 created "2019-11-22" @default.
- W2984668512 creator A5017781084 @default.
- W2984668512 date "1899-12-30" @default.
- W2984668512 modified "2023-09-26" @default.
- W2984668512 title "Using assertions to improve language translators" @default.
- W2984668512 doi "https://doi.org/10.1109/afips.1977.129" @default.
- W2984668512 hasPublicationYear "1899" @default.
- W2984668512 type Work @default.
- W2984668512 sameAs 2984668512 @default.
- W2984668512 citedByCount "0" @default.
- W2984668512 crossrefType "journal-article" @default.
- W2984668512 hasAuthorship W2984668512A5017781084 @default.
- W2984668512 hasConcept C154945302 @default.
- W2984668512 hasConcept C177264268 @default.
- W2984668512 hasConcept C199360897 @default.
- W2984668512 hasConcept C2776760102 @default.
- W2984668512 hasConcept C2781238097 @default.
- W2984668512 hasConcept C2988963302 @default.
- W2984668512 hasConcept C41008148 @default.
- W2984668512 hasConceptScore W2984668512C154945302 @default.
- W2984668512 hasConceptScore W2984668512C177264268 @default.
- W2984668512 hasConceptScore W2984668512C199360897 @default.
- W2984668512 hasConceptScore W2984668512C2776760102 @default.
- W2984668512 hasConceptScore W2984668512C2781238097 @default.
- W2984668512 hasConceptScore W2984668512C2988963302 @default.
- W2984668512 hasConceptScore W2984668512C41008148 @default.
- W2984668512 hasLocation W29846685121 @default.
- W2984668512 hasOpenAccess W2984668512 @default.
- W2984668512 hasPrimaryLocation W29846685121 @default.
- W2984668512 hasRelatedWork W1520669000 @default.
- W2984668512 hasRelatedWork W1533556407 @default.
- W2984668512 hasRelatedWork W1555594999 @default.
- W2984668512 hasRelatedWork W1557905401 @default.
- W2984668512 hasRelatedWork W1576406833 @default.
- W2984668512 hasRelatedWork W1789276856 @default.
- W2984668512 hasRelatedWork W2055802056 @default.
- W2984668512 hasRelatedWork W2067361648 @default.
- W2984668512 hasRelatedWork W2069746600 @default.
- W2984668512 hasRelatedWork W2073008704 @default.
- W2984668512 hasRelatedWork W2108355319 @default.
- W2984668512 hasRelatedWork W2113226178 @default.
- W2984668512 hasRelatedWork W2142223696 @default.
- W2984668512 hasRelatedWork W2166473201 @default.
- W2984668512 hasRelatedWork W2233742995 @default.
- W2984668512 hasRelatedWork W2546497838 @default.
- W2984668512 hasRelatedWork W2547844232 @default.
- W2984668512 hasRelatedWork W2767681984 @default.
- W2984668512 hasRelatedWork W2953110001 @default.
- W2984668512 hasRelatedWork W3083890264 @default.
- W2984668512 isParatext "false" @default.
- W2984668512 isRetracted "false" @default.
- W2984668512 magId "2984668512" @default.
- W2984668512 workType "article" @default.