Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073896195> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2073896195 endingPage "103" @default.
- W2073896195 startingPage "96" @default.
- W2073896195 abstract "This paper is a preliminary report on an experiment in applying Floyd's method of inductive assertions to the compiler correctness problem. Practical postfix translators are considered, and the semantics of source and object languages are characterized by Floyd verification conditions. Compiler correctness proofs are partitioned into two parts. The first part deals with proofs of the syntactic and translational phase of compilation, and generates semantic equivalence theorems which are proved in the second part. These techniques are illustrated by a small example." @default.
- W2073896195 created "2016-06-24" @default.
- W2073896195 creator A5015269271 @default.
- W2073896195 creator A5078809085 @default.
- W2073896195 date "1975-04-01" @default.
- W2073896195 modified "2023-10-18" @default.
- W2073896195 title "An approach to compiler correctness" @default.
- W2073896195 cites W1593280365 @default.
- W2073896195 cites W1991743035 @default.
- W2073896195 cites W2040199558 @default.
- W2073896195 cites W2048808408 @default.
- W2073896195 cites W2095224573 @default.
- W2073896195 cites W2441059602 @default.
- W2073896195 cites W2987907651 @default.
- W2073896195 cites W4251912342 @default.
- W2073896195 doi "https://doi.org/10.1145/390016.808428" @default.
- W2073896195 hasPublicationYear "1975" @default.
- W2073896195 type Work @default.
- W2073896195 sameAs 2073896195 @default.
- W2073896195 citedByCount "12" @default.
- W2073896195 countsByYear W20738961952013 @default.
- W2073896195 crossrefType "journal-article" @default.
- W2073896195 hasAuthorship W2073896195A5015269271 @default.
- W2073896195 hasAuthorship W2073896195A5078809085 @default.
- W2073896195 hasConcept C108710211 @default.
- W2073896195 hasConcept C118615104 @default.
- W2073896195 hasConcept C169590947 @default.
- W2073896195 hasConcept C184337299 @default.
- W2073896195 hasConcept C190902152 @default.
- W2073896195 hasConcept C199360897 @default.
- W2073896195 hasConcept C2524010 @default.
- W2073896195 hasConcept C2780069185 @default.
- W2073896195 hasConcept C33923547 @default.
- W2073896195 hasConcept C41008148 @default.
- W2073896195 hasConcept C55439883 @default.
- W2073896195 hasConcept C68366613 @default.
- W2073896195 hasConcept C80444323 @default.
- W2073896195 hasConcept C9957790 @default.
- W2073896195 hasConceptScore W2073896195C108710211 @default.
- W2073896195 hasConceptScore W2073896195C118615104 @default.
- W2073896195 hasConceptScore W2073896195C169590947 @default.
- W2073896195 hasConceptScore W2073896195C184337299 @default.
- W2073896195 hasConceptScore W2073896195C190902152 @default.
- W2073896195 hasConceptScore W2073896195C199360897 @default.
- W2073896195 hasConceptScore W2073896195C2524010 @default.
- W2073896195 hasConceptScore W2073896195C2780069185 @default.
- W2073896195 hasConceptScore W2073896195C33923547 @default.
- W2073896195 hasConceptScore W2073896195C41008148 @default.
- W2073896195 hasConceptScore W2073896195C55439883 @default.
- W2073896195 hasConceptScore W2073896195C68366613 @default.
- W2073896195 hasConceptScore W2073896195C80444323 @default.
- W2073896195 hasConceptScore W2073896195C9957790 @default.
- W2073896195 hasIssue "6" @default.
- W2073896195 hasLocation W20738961951 @default.
- W2073896195 hasOpenAccess W2073896195 @default.
- W2073896195 hasPrimaryLocation W20738961951 @default.
- W2073896195 hasRelatedWork W1517926351 @default.
- W2073896195 hasRelatedWork W2004605222 @default.
- W2073896195 hasRelatedWork W2128260460 @default.
- W2073896195 hasRelatedWork W2155757092 @default.
- W2073896195 hasRelatedWork W2166060139 @default.
- W2073896195 hasRelatedWork W2192862863 @default.
- W2073896195 hasRelatedWork W2245390655 @default.
- W2073896195 hasRelatedWork W3124740916 @default.
- W2073896195 hasRelatedWork W4252501555 @default.
- W2073896195 hasRelatedWork W1602178951 @default.
- W2073896195 hasVolume "10" @default.
- W2073896195 isParatext "false" @default.
- W2073896195 isRetracted "false" @default.
- W2073896195 magId "2073896195" @default.
- W2073896195 workType "article" @default.