FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W34452851> ?p ?o ?g. }

• W34452851 endingPage "458" @default.
• W34452851 startingPage "449" @default.
• W34452851 abstract "Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is necessary to prove their correctness. We develop a formal semantics for static single assignment (SSA) intermediate representations and prove formally within the Isabelle/HOL theorem prover that a relatively simple form of code generation preserves the semantics of the transformed programs in SSA form. This formal correctness proof does not only verify the correctness of a certain class of code generation algorithms but also gives us a sufficient, easily checkable correctness criterion characterizing correct compilation results obtained from implementations (compilers) of these algorithms. To be published in Proceedings der 3. Arbeitstagung Programmiersprachen (ATPS) auf der 34. Jahrestagung der Gesellschaft fur Informatik, Ulm, Germany, 2004, to appear in Lecture Notes in Informatics." @default.
• W34452851 created "2016-06-24" @default.
• W34452851 creator A5017296585 @default.
• W34452851 creator A5039614631 @default.
• W34452851 date "2004-01-01" @default.
• W34452851 modified "2023-09-26" @default.
• W34452851 title "A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL." @default.
• W34452851 cites W13645872 @default.
• W34452851 cites W1556566737 @default.
• W34452851 cites W1579338145 @default.
• W34452851 cites W1583295953 @default.
• W34452851 cites W1594381772 @default.
• W34452851 cites W1748007674 @default.
• W34452851 cites W1798364377 @default.
• W34452851 cites W1969402593 @default.
• W34452851 cites W1982205631 @default.
• W34452851 cites W1992177542 @default.
• W34452851 cites W2034711041 @default.
• W34452851 cites W2040856861 @default.
• W34452851 cites W2061915850 @default.
• W34452851 cites W2101241724 @default.
• W34452851 cites W2106192381 @default.
• W34452851 cites W2114067856 @default.
• W34452851 cites W2166060139 @default.
• W34452851 cites W2675276594 @default.
• W34452851 cites W2911450990 @default.
• W34452851 hasPublicationYear "2004" @default.
• W34452851 type Work @default.
• W34452851 sameAs 34452851 @default.
• W34452851 citedByCount "6" @default.
• W34452851 countsByYear W344528512014 @default.
• W34452851 countsByYear W344528512019 @default.
• W34452851 crossrefType "journal-article" @default.
• W34452851 hasAuthorship W34452851A5017296585 @default.
• W34452851 hasAuthorship W34452851A5039614631 @default.
• W34452851 hasConcept C104949639 @default.
• W34452851 hasConcept C108710211 @default.
• W34452851 hasConcept C111919701 @default.
• W34452851 hasConcept C133162039 @default.
• W34452851 hasConcept C156325763 @default.
• W34452851 hasConcept C169590947 @default.
• W34452851 hasConcept C17435882 @default.
• W34452851 hasConcept C184337299 @default.
• W34452851 hasConcept C199360897 @default.
• W34452851 hasConcept C203265346 @default.
• W34452851 hasConcept C206880738 @default.
• W34452851 hasConcept C2524010 @default.
• W34452851 hasConcept C26517878 @default.
• W34452851 hasConcept C26713055 @default.
• W34452851 hasConcept C30128091 @default.
• W34452851 hasConcept C33923547 @default.
• W34452851 hasConcept C41008148 @default.
• W34452851 hasConcept C55439883 @default.
• W34452851 hasConcept C75606506 @default.
• W34452851 hasConcept C80444323 @default.
• W34452851 hasConcept C94461902 @default.
• W34452851 hasConceptScore W34452851C104949639 @default.
• W34452851 hasConceptScore W34452851C108710211 @default.
• W34452851 hasConceptScore W34452851C111919701 @default.
• W34452851 hasConceptScore W34452851C133162039 @default.
• W34452851 hasConceptScore W34452851C156325763 @default.
• W34452851 hasConceptScore W34452851C169590947 @default.
• W34452851 hasConceptScore W34452851C17435882 @default.
• W34452851 hasConceptScore W34452851C184337299 @default.
• W34452851 hasConceptScore W34452851C199360897 @default.
• W34452851 hasConceptScore W34452851C203265346 @default.
• W34452851 hasConceptScore W34452851C206880738 @default.
• W34452851 hasConceptScore W34452851C2524010 @default.
• W34452851 hasConceptScore W34452851C26517878 @default.
• W34452851 hasConceptScore W34452851C26713055 @default.
• W34452851 hasConceptScore W34452851C30128091 @default.
• W34452851 hasConceptScore W34452851C33923547 @default.
• W34452851 hasConceptScore W34452851C41008148 @default.
• W34452851 hasConceptScore W34452851C55439883 @default.
• W34452851 hasConceptScore W34452851C75606506 @default.
• W34452851 hasConceptScore W34452851C80444323 @default.
• W34452851 hasConceptScore W34452851C94461902 @default.
• W34452851 hasLocation W344528511 @default.
• W34452851 hasOpenAccess W34452851 @default.
• W34452851 hasPrimaryLocation W344528511 @default.
• W34452851 hasRelatedWork W146493892 @default.
• W34452851 hasRelatedWork W1496551897 @default.
• W34452851 hasRelatedWork W1579338145 @default.
• W34452851 hasRelatedWork W1822847061 @default.
• W34452851 hasRelatedWork W1885991348 @default.
• W34452851 hasRelatedWork W1936017528 @default.
• W34452851 hasRelatedWork W1992177542 @default.
• W34452851 hasRelatedWork W1994939977 @default.
• W34452851 hasRelatedWork W2034711041 @default.
• W34452851 hasRelatedWork W2042233150 @default.
• W34452851 hasRelatedWork W2101241724 @default.
• W34452851 hasRelatedWork W2106192381 @default.
• W34452851 hasRelatedWork W2144973344 @default.
• W34452851 hasRelatedWork W2170656359 @default.
• W34452851 hasRelatedWork W23903359 @default.
• W34452851 hasRelatedWork W2508346842 @default.
• W34452851 hasRelatedWork W2911450990 @default.
• W34452851 hasRelatedWork W3037420009 @default.

• next