Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109088204> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2109088204 abstract "A proof that a simple compiler correctly uses the static properties in its symbol table is presented. This is done by regarding the target code produced by the compiler as a syntactic variant of a lambda -term. In general, this lambda -term C may not be equal to the semantics S of the source program: they need to equal only when information in the symbol table is valid. Rules of inference for conditional lambda -judgements are presented, and their soundness is proven. These rules are then used to prove the correctness of a simple compiler that relies on a symbol table. The form of the proof suggests that such proofs may be largely mechanizable. >" @default.
- W2109088204 created "2016-06-24" @default.
- W2109088204 creator A5031215251 @default.
- W2109088204 creator A5065899743 @default.
- W2109088204 date "2002-12-04" @default.
- W2109088204 modified "2023-09-25" @default.
- W2109088204 title "Conditional lambda-theories and the verification of static properties of programs" @default.
- W2109088204 cites W1516577572 @default.
- W2109088204 cites W1517987377 @default.
- W2109088204 cites W1969998283 @default.
- W2109088204 cites W1978856319 @default.
- W2109088204 cites W1979240050 @default.
- W2109088204 cites W1980956347 @default.
- W2109088204 cites W1987031623 @default.
- W2109088204 cites W1996404651 @default.
- W2109088204 cites W2015091569 @default.
- W2109088204 cites W2021712311 @default.
- W2109088204 cites W2118623138 @default.
- W2109088204 cites W45961263 @default.
- W2109088204 doi "https://doi.org/10.1109/lics.1990.113758" @default.
- W2109088204 hasPublicationYear "2002" @default.
- W2109088204 type Work @default.
- W2109088204 sameAs 2109088204 @default.
- W2109088204 citedByCount "5" @default.
- W2109088204 crossrefType "proceedings-article" @default.
- W2109088204 hasAuthorship W2109088204A5031215251 @default.
- W2109088204 hasAuthorship W2109088204A5065899743 @default.
- W2109088204 hasConcept C108710211 @default.
- W2109088204 hasConcept C111472728 @default.
- W2109088204 hasConcept C11413529 @default.
- W2109088204 hasConcept C134400042 @default.
- W2109088204 hasConcept C138885662 @default.
- W2109088204 hasConcept C169590947 @default.
- W2109088204 hasConcept C184337299 @default.
- W2109088204 hasConcept C199360897 @default.
- W2109088204 hasConcept C2524010 @default.
- W2109088204 hasConcept C2780586882 @default.
- W2109088204 hasConcept C33923547 @default.
- W2109088204 hasConcept C39920170 @default.
- W2109088204 hasConcept C41008148 @default.
- W2109088204 hasConcept C55439883 @default.
- W2109088204 hasConcept C80444323 @default.
- W2109088204 hasConceptScore W2109088204C108710211 @default.
- W2109088204 hasConceptScore W2109088204C111472728 @default.
- W2109088204 hasConceptScore W2109088204C11413529 @default.
- W2109088204 hasConceptScore W2109088204C134400042 @default.
- W2109088204 hasConceptScore W2109088204C138885662 @default.
- W2109088204 hasConceptScore W2109088204C169590947 @default.
- W2109088204 hasConceptScore W2109088204C184337299 @default.
- W2109088204 hasConceptScore W2109088204C199360897 @default.
- W2109088204 hasConceptScore W2109088204C2524010 @default.
- W2109088204 hasConceptScore W2109088204C2780586882 @default.
- W2109088204 hasConceptScore W2109088204C33923547 @default.
- W2109088204 hasConceptScore W2109088204C39920170 @default.
- W2109088204 hasConceptScore W2109088204C41008148 @default.
- W2109088204 hasConceptScore W2109088204C55439883 @default.
- W2109088204 hasConceptScore W2109088204C80444323 @default.
- W2109088204 hasLocation W21090882041 @default.
- W2109088204 hasOpenAccess W2109088204 @default.
- W2109088204 hasPrimaryLocation W21090882041 @default.
- W2109088204 hasRelatedWork W1188080205 @default.
- W2109088204 hasRelatedWork W1499474569 @default.
- W2109088204 hasRelatedWork W1517583815 @default.
- W2109088204 hasRelatedWork W1547609686 @default.
- W2109088204 hasRelatedWork W180156219 @default.
- W2109088204 hasRelatedWork W1976575828 @default.
- W2109088204 hasRelatedWork W1982134454 @default.
- W2109088204 hasRelatedWork W1983409972 @default.
- W2109088204 hasRelatedWork W1988272993 @default.
- W2109088204 hasRelatedWork W2006104711 @default.
- W2109088204 hasRelatedWork W2036395016 @default.
- W2109088204 hasRelatedWork W2075394937 @default.
- W2109088204 hasRelatedWork W2114925693 @default.
- W2109088204 hasRelatedWork W2135755146 @default.
- W2109088204 hasRelatedWork W2141402215 @default.
- W2109088204 hasRelatedWork W2159591963 @default.
- W2109088204 hasRelatedWork W2912721414 @default.
- W2109088204 hasRelatedWork W2963114687 @default.
- W2109088204 hasRelatedWork W974040949 @default.
- W2109088204 hasRelatedWork W2585645243 @default.
- W2109088204 isParatext "false" @default.
- W2109088204 isRetracted "false" @default.
- W2109088204 magId "2109088204" @default.
- W2109088204 workType "article" @default.