Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079124302> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2079124302 abstract "A method for compiler testing using symbolic interpretation is presented. This method is a cross between program proving and program testing. It is useful in demonstrating that programs are correctly translated from a high level language to a low level language thereby improving the reliability of the compiler. The term symbolic interpretation is used to describe the process of obtaining an intermediate form of the low level language program that is suitable for further processing by a proof system. Symbolic interpretation is the heart of the system and enables the recording of a transcript of all computations in the program. This process interprets a set of procedures which describe the effects of machine language instructions corresponding to the target machine on a suitable computation model. The highlights and limitations of the process as well as future work are discussed in a framework of a specific LISP implementation on a PDP-10 computer." @default.
- W2079124302 created "2016-06-24" @default.
- W2079124302 creator A5087437068 @default.
- W2079124302 date "1976-01-01" @default.
- W2079124302 modified "2023-10-17" @default.
- W2079124302 title "Compiler testing via symbolic interpretation" @default.
- W2079124302 cites W1496427046 @default.
- W2079124302 cites W1525482321 @default.
- W2079124302 cites W1573867619 @default.
- W2079124302 cites W1586926914 @default.
- W2079124302 cites W1991743035 @default.
- W2079124302 cites W1996528637 @default.
- W2079124302 cites W2007419773 @default.
- W2079124302 cites W2037177386 @default.
- W2079124302 cites W2045255985 @default.
- W2079124302 cites W2095939327 @default.
- W2079124302 cites W2148588333 @default.
- W2079124302 doi "https://doi.org/10.1145/800191.805648" @default.
- W2079124302 hasPublicationYear "1976" @default.
- W2079124302 type Work @default.
- W2079124302 sameAs 2079124302 @default.
- W2079124302 citedByCount "17" @default.
- W2079124302 countsByYear W20791243022012 @default.
- W2079124302 countsByYear W20791243022015 @default.
- W2079124302 countsByYear W20791243022016 @default.
- W2079124302 countsByYear W20791243022019 @default.
- W2079124302 countsByYear W20791243022020 @default.
- W2079124302 countsByYear W20791243022023 @default.
- W2079124302 crossrefType "proceedings-article" @default.
- W2079124302 hasAuthorship W2079124302A5087437068 @default.
- W2079124302 hasBestOaLocation W20791243022 @default.
- W2079124302 hasConcept C169590947 @default.
- W2079124302 hasConcept C199360897 @default.
- W2079124302 hasConcept C2777904410 @default.
- W2079124302 hasConcept C2779639559 @default.
- W2079124302 hasConcept C41008148 @default.
- W2079124302 hasConcept C527412718 @default.
- W2079124302 hasConceptScore W2079124302C169590947 @default.
- W2079124302 hasConceptScore W2079124302C199360897 @default.
- W2079124302 hasConceptScore W2079124302C2777904410 @default.
- W2079124302 hasConceptScore W2079124302C2779639559 @default.
- W2079124302 hasConceptScore W2079124302C41008148 @default.
- W2079124302 hasConceptScore W2079124302C527412718 @default.
- W2079124302 hasLocation W20791243021 @default.
- W2079124302 hasLocation W20791243022 @default.
- W2079124302 hasOpenAccess W2079124302 @default.
- W2079124302 hasPrimaryLocation W20791243021 @default.
- W2079124302 hasRelatedWork W1497385637 @default.
- W2079124302 hasRelatedWork W1498982577 @default.
- W2079124302 hasRelatedWork W1512248002 @default.
- W2079124302 hasRelatedWork W2004605222 @default.
- W2079124302 hasRelatedWork W2044422526 @default.
- W2079124302 hasRelatedWork W2086733238 @default.
- W2079124302 hasRelatedWork W2192862863 @default.
- W2079124302 hasRelatedWork W2369288331 @default.
- W2079124302 hasRelatedWork W2519339279 @default.
- W2079124302 hasRelatedWork W2467097043 @default.
- W2079124302 isParatext "false" @default.
- W2079124302 isRetracted "false" @default.
- W2079124302 magId "2079124302" @default.
- W2079124302 workType "article" @default.