Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569393732> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1569393732 endingPage "155" @default.
- W1569393732 startingPage "144" @default.
- W1569393732 abstract "We report on an ongoing effort in mechanically proving correct a compiling specification for a bootstrap compiler from ComLisp (a subset of ANSI Common Lisp sufficiently expressive to serve as a compiler implementation language) to binary Transputer code using the PVS system. The compilation is carried out in four steps through a series of intermediate languages. This paper focuses on the first phase, namely, the compilation of ComLisp to the stack-intermediate language SIL, where parameter passing is implemented by a stack technique. The context of this work is the joint research effort Verifix aiming at developing methods for the construction of correct compilers for realistic programming languages.KeywordsAbstract SyntaxSource LanguageCorrectness PropertyTarget ArchitectureAbstract Data TypeThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1569393732 created "2016-06-24" @default.
- W1569393732 creator A5031360835 @default.
- W1569393732 creator A5070886415 @default.
- W1569393732 date "2001-01-01" @default.
- W1569393732 modified "2023-10-17" @default.
- W1569393732 title "A Mechanically Verified Compiling Specification for a Lisp Compiler" @default.
- W1569393732 cites W1593280365 @default.
- W1569393732 cites W1596799209 @default.
- W1569393732 cites W2058125478 @default.
- W1569393732 cites W2101241724 @default.
- W1569393732 cites W2113486906 @default.
- W1569393732 cites W2155757092 @default.
- W1569393732 cites W4206362261 @default.
- W1569393732 cites W4210241296 @default.
- W1569393732 doi "https://doi.org/10.1007/3-540-45294-x_13" @default.
- W1569393732 hasPublicationYear "2001" @default.
- W1569393732 type Work @default.
- W1569393732 sameAs 1569393732 @default.
- W1569393732 citedByCount "17" @default.
- W1569393732 countsByYear W15693937322013 @default.
- W1569393732 crossrefType "book-chapter" @default.
- W1569393732 hasAuthorship W1569393732A5031360835 @default.
- W1569393732 hasAuthorship W1569393732A5070886415 @default.
- W1569393732 hasConcept C151730666 @default.
- W1569393732 hasConcept C169590947 @default.
- W1569393732 hasConcept C173608175 @default.
- W1569393732 hasConcept C190883126 @default.
- W1569393732 hasConcept C199360897 @default.
- W1569393732 hasConcept C2779343474 @default.
- W1569393732 hasConcept C2779353305 @default.
- W1569393732 hasConcept C41008148 @default.
- W1569393732 hasConcept C68366613 @default.
- W1569393732 hasConcept C86803240 @default.
- W1569393732 hasConcept C8767382 @default.
- W1569393732 hasConcept C9957790 @default.
- W1569393732 hasConceptScore W1569393732C151730666 @default.
- W1569393732 hasConceptScore W1569393732C169590947 @default.
- W1569393732 hasConceptScore W1569393732C173608175 @default.
- W1569393732 hasConceptScore W1569393732C190883126 @default.
- W1569393732 hasConceptScore W1569393732C199360897 @default.
- W1569393732 hasConceptScore W1569393732C2779343474 @default.
- W1569393732 hasConceptScore W1569393732C2779353305 @default.
- W1569393732 hasConceptScore W1569393732C41008148 @default.
- W1569393732 hasConceptScore W1569393732C68366613 @default.
- W1569393732 hasConceptScore W1569393732C86803240 @default.
- W1569393732 hasConceptScore W1569393732C8767382 @default.
- W1569393732 hasConceptScore W1569393732C9957790 @default.
- W1569393732 hasLocation W15693937321 @default.
- W1569393732 hasOpenAccess W1569393732 @default.
- W1569393732 hasPrimaryLocation W15693937321 @default.
- W1569393732 hasRelatedWork W1569393732 @default.
- W1569393732 hasRelatedWork W1970657608 @default.
- W1569393732 hasRelatedWork W1977285665 @default.
- W1569393732 hasRelatedWork W2004605222 @default.
- W1569393732 hasRelatedWork W2075030595 @default.
- W1569393732 hasRelatedWork W2091610953 @default.
- W1569393732 hasRelatedWork W2134386444 @default.
- W1569393732 hasRelatedWork W2162371819 @default.
- W1569393732 hasRelatedWork W2369288331 @default.
- W1569393732 hasRelatedWork W4255434502 @default.
- W1569393732 isParatext "false" @default.
- W1569393732 isRetracted "false" @default.
- W1569393732 magId "1569393732" @default.
- W1569393732 workType "book-chapter" @default.