Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134267719> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2134267719 abstract "To study the properties of the Java Virtual Machine(JVM) and Java programs, our research group has produced a series of JVM models written in a functional subset of Common Lisp. In this paper, we present our most complete JVM model from this series, namely, M6, which is derived from a careful study of the J2ME KVM [16] implementation.On the one hand, our JVM model is a conventional machine emulator. M6 models accurately almost all aspects of the KVM implementation, including the dynamic class loading, class initialization and synchronization via monitors. It executes most J2ME Java programs that do not use any I/O or floating point operations. Engineers may consider M6 an implementation of the JVM. It is implemented with around 10K lines in 20+ modules.On the other hand, M6 is a novel model that allows for analytical reasoning besides conventional testing. M6 is written in an applicative (side-effect free) subset of Common Lisp, for which we have given precise meaning in terms of axioms and inference rules. A property of M6 can be expressed as a formula. Rules of interference can be used analytically to derive properties of M6 and the Java programs that run on the model, using a mechanical theorem prover.We argue that our approach of building an executable model of the system with an axiomatically described functional language can bring benefits from both the testing and the formal reasoning worlds." @default.
- W2134267719 created "2016-06-24" @default.
- W2134267719 creator A5046673609 @default.
- W2134267719 creator A5052705179 @default.
- W2134267719 date "2003-06-08" @default.
- W2134267719 modified "2023-10-18" @default.
- W2134267719 title "Executable JVM model for analytical reasoning" @default.
- W2134267719 cites W1600735021 @default.
- W2134267719 cites W1601167865 @default.
- W2134267719 cites W2140200969 @default.
- W2134267719 doi "https://doi.org/10.1145/858570.858572" @default.
- W2134267719 hasPublicationYear "2003" @default.
- W2134267719 type Work @default.
- W2134267719 sameAs 2134267719 @default.
- W2134267719 citedByCount "31" @default.
- W2134267719 countsByYear W21342677192012 @default.
- W2134267719 countsByYear W21342677192013 @default.
- W2134267719 countsByYear W21342677192014 @default.
- W2134267719 countsByYear W21342677192015 @default.
- W2134267719 countsByYear W21342677192016 @default.
- W2134267719 countsByYear W21342677192017 @default.
- W2134267719 countsByYear W21342677192018 @default.
- W2134267719 countsByYear W21342677192019 @default.
- W2134267719 countsByYear W21342677192020 @default.
- W2134267719 crossrefType "proceedings-article" @default.
- W2134267719 hasAuthorship W2134267719A5046673609 @default.
- W2134267719 hasAuthorship W2134267719A5052705179 @default.
- W2134267719 hasConcept C115903868 @default.
- W2134267719 hasConcept C160145156 @default.
- W2134267719 hasConcept C199360897 @default.
- W2134267719 hasConcept C41008148 @default.
- W2134267719 hasConceptScore W2134267719C115903868 @default.
- W2134267719 hasConceptScore W2134267719C160145156 @default.
- W2134267719 hasConceptScore W2134267719C199360897 @default.
- W2134267719 hasConceptScore W2134267719C41008148 @default.
- W2134267719 hasLocation W21342677191 @default.
- W2134267719 hasOpenAccess W2134267719 @default.
- W2134267719 hasPrimaryLocation W21342677191 @default.
- W2134267719 hasRelatedWork W1966978306 @default.
- W2134267719 hasRelatedWork W1967499492 @default.
- W2134267719 hasRelatedWork W2026046761 @default.
- W2134267719 hasRelatedWork W2099269319 @default.
- W2134267719 hasRelatedWork W2166318009 @default.
- W2134267719 hasRelatedWork W2475423329 @default.
- W2134267719 hasRelatedWork W2748872428 @default.
- W2134267719 hasRelatedWork W2974582348 @default.
- W2134267719 hasRelatedWork W2999589555 @default.
- W2134267719 hasRelatedWork W3162240892 @default.
- W2134267719 isParatext "false" @default.
- W2134267719 isRetracted "false" @default.
- W2134267719 magId "2134267719" @default.
- W2134267719 workType "article" @default.