Matches in SemOpenAlex for { <https://semopenalex.org/work/W1628144013> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1628144013 abstract "The well-known static link technique is used for stack-based implementations of imperative programming languages which admit nested recursive procedure declarations. Its basic idea is to access non-local variables by tracing a static link chain to lower stack elements. Evolving algebras are a new method for defining operational semantics of abstract machines. Based on an appropriate stack machine, defined as an evolving algebra, and a functional description of a compiler for a sample language, we give a complete proof of correctness for this technique using the method of refinement." @default.
- W1628144013 created "2016-06-24" @default.
- W1628144013 creator A5030943945 @default.
- W1628144013 date "1997-01-01" @default.
- W1628144013 modified "2023-09-27" @default.
- W1628144013 title "A COMPILER CORRECTNESS PROOF FOR THE STATIC LINK TECHNIQUE BY MEANS OF EVOLVING ALGEBRAS" @default.
- W1628144013 cites W1487966966 @default.
- W1628144013 cites W1503860275 @default.
- W1628144013 cites W1539030153 @default.
- W1628144013 cites W1987189637 @default.
- W1628144013 cites W2151056175 @default.
- W1628144013 cites W2151402235 @default.
- W1628144013 cites W3105529609 @default.
- W1628144013 cites W3145843332 @default.
- W1628144013 cites W752276975 @default.
- W1628144013 cites W2525398542 @default.
- W1628144013 doi "https://doi.org/10.3233/fi-1997-29303" @default.
- W1628144013 hasPublicationYear "1997" @default.
- W1628144013 type Work @default.
- W1628144013 sameAs 1628144013 @default.
- W1628144013 citedByCount "4" @default.
- W1628144013 crossrefType "journal-article" @default.
- W1628144013 hasAuthorship W1628144013A5030943945 @default.
- W1628144013 hasConcept C104949639 @default.
- W1628144013 hasConcept C138673069 @default.
- W1628144013 hasConcept C156325763 @default.
- W1628144013 hasConcept C169590947 @default.
- W1628144013 hasConcept C184337299 @default.
- W1628144013 hasConcept C199360897 @default.
- W1628144013 hasConcept C26713055 @default.
- W1628144013 hasConcept C2778753846 @default.
- W1628144013 hasConcept C31258907 @default.
- W1628144013 hasConcept C41008148 @default.
- W1628144013 hasConcept C55439883 @default.
- W1628144013 hasConcept C80444323 @default.
- W1628144013 hasConcept C88977235 @default.
- W1628144013 hasConcept C9395851 @default.
- W1628144013 hasConceptScore W1628144013C104949639 @default.
- W1628144013 hasConceptScore W1628144013C138673069 @default.
- W1628144013 hasConceptScore W1628144013C156325763 @default.
- W1628144013 hasConceptScore W1628144013C169590947 @default.
- W1628144013 hasConceptScore W1628144013C184337299 @default.
- W1628144013 hasConceptScore W1628144013C199360897 @default.
- W1628144013 hasConceptScore W1628144013C26713055 @default.
- W1628144013 hasConceptScore W1628144013C2778753846 @default.
- W1628144013 hasConceptScore W1628144013C31258907 @default.
- W1628144013 hasConceptScore W1628144013C41008148 @default.
- W1628144013 hasConceptScore W1628144013C55439883 @default.
- W1628144013 hasConceptScore W1628144013C80444323 @default.
- W1628144013 hasConceptScore W1628144013C88977235 @default.
- W1628144013 hasConceptScore W1628144013C9395851 @default.
- W1628144013 hasLocation W16281440131 @default.
- W1628144013 hasOpenAccess W1628144013 @default.
- W1628144013 hasPrimaryLocation W16281440131 @default.
- W1628144013 hasRelatedWork W1188080205 @default.
- W1628144013 hasRelatedWork W129602947 @default.
- W1628144013 hasRelatedWork W1489579792 @default.
- W1628144013 hasRelatedWork W1496409793 @default.
- W1628144013 hasRelatedWork W1523542737 @default.
- W1628144013 hasRelatedWork W1580734482 @default.
- W1628144013 hasRelatedWork W1605391443 @default.
- W1628144013 hasRelatedWork W1885691846 @default.
- W1628144013 hasRelatedWork W2010804773 @default.
- W1628144013 hasRelatedWork W2045987369 @default.
- W1628144013 hasRelatedWork W2062968803 @default.
- W1628144013 hasRelatedWork W2082611979 @default.
- W1628144013 hasRelatedWork W2090547808 @default.
- W1628144013 hasRelatedWork W2160668778 @default.
- W1628144013 hasRelatedWork W2170802934 @default.
- W1628144013 hasRelatedWork W2559036151 @default.
- W1628144013 hasRelatedWork W2569846767 @default.
- W1628144013 hasRelatedWork W2912721414 @default.
- W1628144013 hasRelatedWork W3162279086 @default.
- W1628144013 hasRelatedWork W2337756575 @default.
- W1628144013 isParatext "false" @default.
- W1628144013 isRetracted "false" @default.
- W1628144013 magId "1628144013" @default.
- W1628144013 workType "article" @default.