Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567762309> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1567762309 abstract "Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the program text, and there is no need for a runtime garbage collector. The final code is bytecode of the Java Virtual Machine (JVM), so the language is useful for programming small devices based on this machine.As an intermediate stage in the compiler's back-end, we have defined the Safe Virtual Machine (SVM), and have implemented this machine on top of the Java Virtual Machine (JVM). The paper presents the certified implementation of the SVM on top of the JVM. We have used the proof assistant Isabelle/HOL for this purpose." @default.
- W1567762309 created "2016-06-24" @default.
- W1567762309 creator A5012713705 @default.
- W1567762309 creator A5016044555 @default.
- W1567762309 date "2009-01-01" @default.
- W1567762309 modified "2023-10-01" @default.
- W1567762309 title "A Certified Implementation on Top of the Java Virtual Machine" @default.
- W1567762309 cites W1536568106 @default.
- W1567762309 cites W1552921094 @default.
- W1567762309 cites W1560655349 @default.
- W1567762309 cites W1579338145 @default.
- W1567762309 cites W1590222747 @default.
- W1567762309 cites W1971634047 @default.
- W1567762309 cites W2034711041 @default.
- W1567762309 cites W2050469558 @default.
- W1567762309 cites W2052735108 @default.
- W1567762309 cites W2105945150 @default.
- W1567762309 cites W2675276594 @default.
- W1567762309 cites W2911450990 @default.
- W1567762309 cites W4250846042 @default.
- W1567762309 cites W4251192040 @default.
- W1567762309 doi "https://doi.org/10.1007/978-3-642-04570-7_14" @default.
- W1567762309 hasPublicationYear "2009" @default.
- W1567762309 type Work @default.
- W1567762309 sameAs 1567762309 @default.
- W1567762309 citedByCount "4" @default.
- W1567762309 countsByYear W15677623092015 @default.
- W1567762309 crossrefType "book-chapter" @default.
- W1567762309 hasAuthorship W1567762309A5012713705 @default.
- W1567762309 hasAuthorship W1567762309A5016044555 @default.
- W1567762309 hasConcept C105122174 @default.
- W1567762309 hasConcept C111919701 @default.
- W1567762309 hasConcept C115168132 @default.
- W1567762309 hasConcept C132106392 @default.
- W1567762309 hasConcept C145428669 @default.
- W1567762309 hasConcept C168702491 @default.
- W1567762309 hasConcept C169590947 @default.
- W1567762309 hasConcept C17435882 @default.
- W1567762309 hasConcept C174954855 @default.
- W1567762309 hasConcept C181907185 @default.
- W1567762309 hasConcept C199360897 @default.
- W1567762309 hasConcept C25344961 @default.
- W1567762309 hasConcept C2779818221 @default.
- W1567762309 hasConcept C41008148 @default.
- W1567762309 hasConcept C548217200 @default.
- W1567762309 hasConcept C75403996 @default.
- W1567762309 hasConceptScore W1567762309C105122174 @default.
- W1567762309 hasConceptScore W1567762309C111919701 @default.
- W1567762309 hasConceptScore W1567762309C115168132 @default.
- W1567762309 hasConceptScore W1567762309C132106392 @default.
- W1567762309 hasConceptScore W1567762309C145428669 @default.
- W1567762309 hasConceptScore W1567762309C168702491 @default.
- W1567762309 hasConceptScore W1567762309C169590947 @default.
- W1567762309 hasConceptScore W1567762309C17435882 @default.
- W1567762309 hasConceptScore W1567762309C174954855 @default.
- W1567762309 hasConceptScore W1567762309C181907185 @default.
- W1567762309 hasConceptScore W1567762309C199360897 @default.
- W1567762309 hasConceptScore W1567762309C25344961 @default.
- W1567762309 hasConceptScore W1567762309C2779818221 @default.
- W1567762309 hasConceptScore W1567762309C41008148 @default.
- W1567762309 hasConceptScore W1567762309C548217200 @default.
- W1567762309 hasConceptScore W1567762309C75403996 @default.
- W1567762309 hasLocation W15677623091 @default.
- W1567762309 hasOpenAccess W1567762309 @default.
- W1567762309 hasPrimaryLocation W15677623091 @default.
- W1567762309 hasRelatedWork W1492041457 @default.
- W1567762309 hasRelatedWork W1518742164 @default.
- W1567762309 hasRelatedWork W1569364044 @default.
- W1567762309 hasRelatedWork W1585704789 @default.
- W1567762309 hasRelatedWork W1858542669 @default.
- W1567762309 hasRelatedWork W1967877062 @default.
- W1567762309 hasRelatedWork W2068737373 @default.
- W1567762309 hasRelatedWork W2068892086 @default.
- W1567762309 hasRelatedWork W2078335615 @default.
- W1567762309 hasRelatedWork W2087659787 @default.
- W1567762309 hasRelatedWork W2123672134 @default.
- W1567762309 hasRelatedWork W2154978557 @default.
- W1567762309 hasRelatedWork W2297304851 @default.
- W1567762309 hasRelatedWork W26203127 @default.
- W1567762309 hasRelatedWork W2992633962 @default.
- W1567762309 hasRelatedWork W3032775210 @default.
- W1567762309 hasRelatedWork W412736943 @default.
- W1567762309 hasRelatedWork W50467129 @default.
- W1567762309 hasRelatedWork W99648225 @default.
- W1567762309 hasRelatedWork W2777640229 @default.
- W1567762309 isParatext "false" @default.
- W1567762309 isRetracted "false" @default.
- W1567762309 magId "1567762309" @default.
- W1567762309 workType "book-chapter" @default.